Oberwolfach Reports

Full-Text PDF (512 KB) | Introduction as PDF | Metadata | Table of Contents | OWR summary
Volume 9, Issue 1, 2012, pp. 397–455
DOI: 10.4171/OWR/2012/08

Published online: 2012-11-14

Computability Theory

Klaus Ambos-Spies[1], Rodney G. Downey[2], Steffen Lempp[3] and Wolfgang Merkle[4]

(1) Universität Heidelberg, Germany
(2) Victoria University, Wellington, New Zealand
(3) University of Wisconsin, Madison, USA
(4) Universität Heidelberg, Germany

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.

No keywords available for this article.

Ambos-Spies Klaus, Downey Rodney, Lempp Steffen, Merkle Wolfgang: Computability Theory. Oberwolfach Rep. 9 (2012), 397-455. doi: 10.4171/OWR/2012/08