# Online Encyclopedia

# Recursion theory

**Recursion theory** is a branch of mathematical logic which studies classes of problems and the machines or processes required to solve them. Much of the field is concerned with different kinds of logical hypercomputation.

*See also:* recursive function, arithmetical hierarchy, analytical hierarchy, Church-Turing thesis, recursive set, recursively enumerable set

Last updated: 10-24-2004 05:10:45