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.
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-Anttila 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)
- 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:
- Carl Friedrich von Weizsäcker Center
- Kurt Gödel Society
- the ERC-funded project Gödel Enigma: Rediscovering Kurt Gödel through his unpublished works, headed by Jan von Plato
Matthias Baaz, Reinhard Kahle, Thomas Piecha, Jan von Plato