Computability theory, also known as recursion theory, is a branch of mathematical logic and theoretical computer science. Its central concern is determining which functions on the natural numbers are 'computable'—that is, which can be calculated by a well-defined mechanical procedure or algorithm. The field emerged in the 1930s from foundational crises in mathematics and was developed through independent but equivalent models of computation proposed by Alan Turing, Alonzo Church, Kurt Gödel, and others. It provides a rigorous framework for the concept of an algorithm and definitively answers questions about the limits of mechanical computation, most famously through the discovery of undecidable problems like the halting problem. The theory forms the bedrock for understanding the power and limitations of all computational systems, from simple programs to sophisticated artificial intelligence.
Computability Theory
Overview
Overview
Definition, etymology, and foundational significance of computability theory within mathematics and computer science.
History and Origins
Chronological development from Hilbert's program through the discoveries of the 1930s that defined the field.
Core Concepts and Models
Examination of key formal models of computation: Turing machines, lambda calculus, recursive functions, and the Church-Turing thesis.
Central Results and Theorems
A breakdown of foundational proofs, including the halting problem, Rice's theorem, and the arithmetic hierarchy.
Degrees of Unsolvability
Classification of non-computable problems by their relative difficulty, introducing Turing degrees and the concept of reducibility.
Applications and Implications
The theory's real-world impact on computer science, algorithm design, programming language theory, and the philosophy of mind.
Limitations and Philosophical Considerations
Discussion of the boundaries of the Church-Turing thesis, hypercomputation, and the epistemological consequences of undecidability.
Modern Research and Future Directions
Current frontiers in the field, including connections to computational complexity, reverse mathematics, and algorithmic randomness.