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) will speak about Functional Interpretations
- Norbert Preining (arXiv / Cornell University) will speak about Gödel Logics
- Pavel Pudlak (Chech Academy of Sciences) will speak about the Incompleteness Theorems
- Grigor Sargsyan (IMPAN, Danzig) will speak about the Completeness Theorem and the Consistency of the Axiom of Choice and Continuum Hypothesis
- Wolfgang Schleich (Universität Ulm) will speak about Gödel's Universe
Schedule
| 9.00 | opening |
| 9.15 | Pavel Pudlak (Chech Academy of Sciences): The Incompleteness Theorems |
| 10.15 | cofffee break |
| 10.45 | Grigor Sargsyan (IMPAN, Danzig): The Completeness Theorem and the Consistency of Axiom of Choice and Continuum Hypotheses |
| 11.45 | short break |
| 11.50 | Norbert Preining (arXiv / Cornell University): Gödel Logics |
| 12.50 | lunch break |
| 15.00 | Ulrich Kohlenbach (TU Darmstadt): Functional Interpretations |
| 16.00 | coffee break |
| 16.30 | Wolfgang Schleich (Universität Ulm): Gödel's Universe |
| 17.30 | closure |
