Main Page | See live article | Alphabetical index 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, analytic hierarchy, Church-Turing thesis, recursive set, recursively enumerable set This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License.