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 |





Print this page