Day 3: Saturday 29 April
New Frontiers
in Mathematics and
Symbolic Logic beyond
Gödel's works
Extending Gödel's works | |
8:30 - 9:15 | Ulrich Kohlenbach |
9:15 - 10:00 | Harvey Friedman |
10:00 - 10:30 | Coffee Break |
The realm of Set Theory | |
10:30 - 11:15 | Paul Cohen |
11:15 - 12:00 | Dana Scott |
12:00 - 12:15 | Break |
Gödel and the Higher Infinite | |
12:15 - 13:00 | Hugh Woodin |
13:00 - 14:30 | Lunch Break |
Gödel and Computer Science | |
14:30 - 15:15 | Avi Wigderson |
15:15 - 16:00 | Andrei Voronkov |
16:00 | Gaisi Takeuti (transmission) |
16:00 | Closing |
17:00 | Public Lecture by Roger Penrose, followed by the film screening: Kurt Gödel - A Mathematical Myth. |