Day 1: Thursday 27 April
Historical ContextGödel's Contributions and Accomplishments
Historical, Philosophical and Scientific works of Gödel
General overview | |
8:30 - 9:15 | Angus MacIntyre |
9:15 - 10:00 | Georg Kreisel |
10:00 - 10:30 | Coffee break |
History | |
10:30 - 11:15 | Ivor Grattan-Guinness |
11:15 - 12:00 | Juliette Kennedy |
12:00 - 12:15 | Break |
12:15 - 13:00 | Solomon Feferman |
13:00 - 14:30 | Lunch Break |
Past and Future of Computation | |
14:30 - 15:15 | Christos Papadimitriou |
15:15 - 16:00 | Jack Copeland |
16:00 - 16:15 | Break |
Cosmology | |
16:15 - 17:00 | Wolfgang Rindler |
Young Scholars' Competition |