Carl Friedrich von Weizsäcker-Zentrum

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:

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:

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:

 

Participants

TBA

Organization

The conference is organised by:

Program committee

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