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