JournalsowrVol. 9 / No. 1DOI 10.4171/owr/2012/08

Computability Theory

  • Klaus Ambos-Spies

    Universität Heidelberg, Germany
  • Rodney G. Downey

    Victoria University, Wellington, New Zealand
  • Steffen Lempp

    University of Wisconsin, Madison, USA
  • Wolfgang Merkle

    Universität Heidelberg, Germany
Computability Theory cover

You need to subscribe to download the article.

Abstract

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.