Celebrating 90 Years of Gödel's Incompleteness Theorems
Topics
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.
Workshops
Provability predicates (Reinhard Kahle and Paulo Santos)
Higher proof theory after Gödel (Reinhard Kahle)
Gödel's stenographical notes (Maria Hämeen-Anttila and Jan von Plato)
Cut-elimination and Herbrand's Theorem (Matthias Baaz and Anela Lolic)
(list to be extended)
Invited speakers
TBA
Participants
TBA
Organization
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
Program committee
Matthias Baaz, Reinhard Kahle, Thomas Piecha, Jan von Plato