recursion theory


Also found in: Wikipedia.

recursion theory

(theory)
The study of problems that, in principle, cannot be solved by either computers or humans.

Mentioned in ?
References in periodicals archive ?
Computability theory; an introduction to recursion theory.
Trained in theoretical linguistics and recursion theory, Hennix was saying that you need an algorithm to achieve a distinguished result.
Theoretical computer scientists, whether professional or in training, will find this collection of written versions of 20 talks given at the June-August 2005 workshop especially useful for such study areas as recursion theory and set theory.
Structure and Complexity: The Use of Recursion Theory in the Foundations of Neoclassical Economics and the Theory of Games," unpublished manuscript, Department of Mathematics, Cornell University, Ithaca, N.
Material is arranged in chapters on predicate logic, axiomatic set theory, recursion theory and computability, Godel's incompleteness theorems, model theory, contemporary set theory, nonstandard analysis, and constructive mathematics.