Celebrating 90 Years of Gödel's Incompleteness Theorems


The topics of the conference comprise all areas of logic relating in a narrower or wider sense to Gödel's incompleteness results. This includes the history of logic, proof theory, philosophy of mathematics, aspects of incompleteness in computer science and others.

The conference is organised as a collection of workshops for these specific topics.

Important dates

The conference is planned as a hybrid event, taking place online and on site in Tübingen during the week from 5 to 9 July 2021.


  • Aspects of Gödel's unpublished work (Maria Hämeen-Ant­tila and Jan von Plato)
  • Computation in Face of Incompleteness (Roberta Bonacina and Peter Schuster)
  • Cut-elimination and Herbrand's Theorem (Matthias Baaz and Anela Lolic)
  • Diagonalization (Reinhard Kahle and Paulo Santos)
  • Higher proof theory after Gödel (Reinhard Kahle and Michael Rathjen)
  • Philosophy of Mathematics after Gödel (Laura Crosilla and Thomas Piecha)
    Invited speakers: Paola Cantù (CNRS), Mirna Džamonja (IHPST, Paris 1), Øystein Linnebo (University of Oslo), Carlo Nicolai (King's College London)
  • Provability predicates (Reinhard Kahle and Paulo Santos)
  • Recursion-theoretic approaches to computation and complexity (Jean-Yves Marion and Isabel Oitavem)
  • Type Theory in Type Theory (Roberta Bonacina and Peter Schuster)

Invited speakers

  • Paola Cantù (CNRS); WS Philosophy of Mathematics after Gödel
  • Mirna Džamonja (IHPST, Paris 1); WS Philosophy of Mathematics after Gödel
  • Øystein Linnebo (University of Oslo); WS Philosophy of Mathematics after Gödel
  • Carlo Nicolai (King's College London); WS Philosophy of Mathematics after Gödel




The conference is organised by:

Program committee

Matthias Baaz, Reinhard Kahle, Thomas Piecha, Jan von Plato