Kurt Gödel's Birthday Colloquium

The Kurt Gödel Society and the Vienna University of Technology are organizing a one-day colloquium on the occasion of Gödel's birthday on April 28th, 2025.

The lectures will take place at the Boecklsaal of TU Wien.

Important Information

  • When: April 28th, 2025
  • Where: Boecklsaal (AA0162) of TU Wien, Karlsplatz 13, 1040 Wien (TU Maps)

Invited Speakers

  • Ulrich Kohlenbach (TU Darmstadt): The unreasonable effectiveness of functional interpretations in computational mathematics
  • Norbert Preining (arXiv / Cornell University): Gödel logics
  • Pavel Pudlak (Czech Academy of Sciences): The incompleteness theorem in weak formal systems
  • Grigor Sargsyan (IMPAN, Danzig): Gödel's Program in Set Theory
  • Wolfgang Schleich (Universität Ulm): The Sagnac Effect of the Gödel Universe

Schedule

9.00 opening
9.15 Pavel Pudlak (Czech Academy of Sciences)
10.15 cofffee break
10.45 Grigor Sargsyan (IMPAN, Danzig)
11.45 short break
11.50 Norbert Preining (arXiv / Cornell University)
12.50 lunch break
15.00 Ulrich Kohlenbach (TU Darmstadt)
16.00 coffee break
16.30 Wolfgang Schleich (Universität Ulm)
17.30 closure

Registration

Participation is free of charge, but due to space and organizational reasons, we kindly ask all attendees to register by sending an email to kgs@logic.at with the subject "Registration April 28".