Computability is one of the fundamental notions of mathematics, trying to capture the effective content of mathematics. Starting from Gödel’s Incompleteness Theorem, it has now blossomed into a rich area with strong connections with other areas of mathematical logic as well as algebra and theoretical computer science.
Cite this article
Klaus Ambos-Spies, Rodney G. Downey, Steffen Lempp, Wolfgang Merkle, Computability Theory. Oberwolfach Rep. 9 (2012), no. 1, pp. 397–455DOI 10.4171/OWR/2012/08