# Catalogue of Artificial Intelligence Techniques

View Maths as: Images | MathML

## Recursion

**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:

if
then
else

### References:

- Kleene, S.,
*Introduction to Metamathematics*, Van Nostrand, New York, 1952.

### Comments:

No comments.