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".