Startseite
 
Print current pagePrint this page

Day 1: Thursday 27 April

Historical Context
Gö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