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

Aspects of Gödel's unpublished work 

Organisers: Maria Hämeen-Ant­tila (University of Helsinki) and Jan von Plato (University of Helsinki)

Invited speakers: TBA

Computation in Face of Incompleteness

Organisers: Roberta Bonacina (University of Tübingen) and Peter Schuster (University Verona)

Invited speakers:

• Ulrich Berger (Swansea University)
• Thierry Coquand (University of Gothenburg)
• Ulrich Kohlenbach (TU Darmstadt)
• Stefan Neuwirth (Université de Franche-Comté)
• Daniel Wessel (LMU Munich)

Cut-elimination and Herbrand's Theorem

Organisers: Matthias Baaz (TU Wien) and Anela Lolic (TU Wien)

Invited speakers: TBA

Diagonalization

Organisers: Reinhard Kahle (University of Tübingen) and Paulo Santos (FCT NOVA, University of Tübingen)

Invited speakers: TBA

Higher proof theory after Gödel

Organisers: Reinhard Kahle (University of Tübingen) and Michael Rathjen (University of Leeds)

Invited speakers: TBA

Philosophy of Mathematics after Gödel

Organisers: Laura Crosilla (University of Oslo) and Thomas Piecha (University of Tübingen)

Invited speakers:

• Paola Cantù (CNRS),
• Mirna Džamonja (IHPST, Paris 1),
• Øystein Linnebo (University of Oslo),
• Carlo Nicolai (King's College London)

Provability predicates

Organisers: Reinhard Kahle (University of Tübingen) and Paulo Santos (FCT NOVA, University of Tübingen)

Invited speakers: TBA

Recursion-theoretic approaches to computation and complexity

Organisers Jean-Yves Marion (Institut universitaire de France) and Isabel Oitavem (University Lisbon)

Invited speakers: TBA

Type Theory in Type Theory

Organsiers: Roberta Bonacina (University of Tübingen) and Peter Schuster (University Verona)

Invited speakers:

• Thorsten Altenkirch (University of Nottingham)
• Bruno Barras (Laboratoire Spécification et Vérification)
• Thierry Coquand (University of Gothenburg)
• Peter Dybjer (University of Gothenburg)
• Ambrus Kaposi (Eötvös-Loránd-University)
• Peter LeFanu Lumsdaine (Stockholm University)

 

Participants

TBA

Organization

The conference is organised by:

• Carl Friedrich von Weizsäcker Center
• Kurt Gödel Society
• the ERC-funded project Gödel En­igma: Re­dis­cov­er­ing Kurt Gödel through his un­pub­lished works, headed by Jan von Plato

Program committee

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