Catalogue of Artificial Intelligence Techniques
Aliases: Recursive Function
Keywords: Turing machine
Categories: Inference and Reasoning , Knowledge Representation , Theorem Proving
Author(s): Fausto Giunchiglia
Recursion theory has been developed by logicians (mainly K. Gödel and S.C. Kleene) in the 1930's as a way to formalise metamathematics. Recursive functions can be given by definitions involving reference to the function being defined. For instance:
- Kleene, S., Introduction to Metamathematics
, Van Nostrand, New York, 1952.