Oberwolfach Reports


Full-Text PDF (359 KB) | Introduction as PDF | Metadata | Table of Contents | OWR summary
Volume 15, Issue 1, 2018, pp. 5–41
DOI: 10.4171/OWR/2018/1

Published online: 2019-01-04

Computability Theory

Vasco Brattka[1], Rodney G. Downey[2], Julia F. Knight[3] and Steffen Lempp[4]

(1) Universit√§t der Bundeswehr M√ľnchen, Neubiberg, Germany
(2) Victoria University, Wellington, New Zealand
(3) University of Notre Dame, USA
(4) 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.

No keywords available for this article.

Brattka Vasco, Downey Rodney, Knight Julia, Lempp Steffen: Computability Theory. Oberwolfach Rep. 15 (2018), 5-41. doi: 10.4171/OWR/2018/1