Kurt Gödel's Birthday Colloquium
The Kurt Gödel Society and the Vienna University of Technology are organizing a one-day Kurt Gödel Birthday Colloquium on the occasion of Gödel's birthday April 28th. The lectures will take place in the Böckelsaal of the Vienna University of Technology.
Schedule
9.00 | opening |
9.15 | Pavel Pudlak (Chech Academy of Sciences) will speak about the Incompleteness Theorems |
10.15 | cofffee break |
10.45 | Grigor Sargsyan (IMPAN, Danzig) will speak about the Completeness Theorem and the Consistency of Axiom of Choice and Continuum Hypotheses |
11.45 | short break |
11.50 | Norbert Preining (arXiv / Cornell University) will speak about Gödel Logics |
12.50 | lunch break |
15.00 | Ulrich Kohlenbach (TU Darmstadt) will speak about Functional Interpretations |
16.00 | coffee break |
16.30 | Wolfgang Schleich (Universität Ulm) will speak about Gödel's Universe |
17.30 | closure |