On the existence of certain total recursive functions in nontrivial axiom systems, I

Newton C. A. da Costa Francisco A. Doria

Published in: CoRR (1998)

Keyphrases

recursive functions
artificial intelligence
expert systems
inductive inference
data sets
lower bound
computer systems
building blocks
complex systems