Computability Theory

  • Vasco Brattka

    Universität der Bundeswehr München, Neubiberg, Germany
  • Rodney G. Downey

    Victoria University, Wellington, New Zealand
  • Julia F. Knight

    University of Notre Dame, USA
  • Steffen Lempp

    University of Wisconsin, Madison, USA


Computability and computable enumerability are two of the fundamental notions of mathematics. Interest in effectiveness is already apparent in the famous Hilbert problems, in particular the second and tenth, and in early 20th century work of Dehn, initiating the study of word problems in group theory. The last decade has seen both completely new subareas develop as well as remarkable growth in two-way interactions between classical computability theory and areas of applications. There is also a great deal of work on algorithmic randomness, reverse mathematics, computable analysis, and in computable structure theory/computable model theory.

The goal of this workshop is to bring together researchers representing different aspects of computability theory to discuss recent advances, and to stimulate future work.

Cite this article

Vasco Brattka, Rodney G. Downey, Julia F. Knight, Steffen Lempp, Computability Theory. Oberwolfach Rep. 15 (2018), no. 1, pp. 5–41

DOI 10.4171/OWR/2018/1