Encyclopedia  |   World Factbook  |   World Flags  |   Reference Tables  |   List of Lists     
   Academic Disciplines  |   Historical Timeline  |   Themed Timelines  |   Biographies  |   How-Tos     
Sponsor by The Tattoo Collection
Recursion theory
Main Page | See live article | Alphabetical index

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