Logic List Mailing Archive

Dutch Goedel Centenary Celebration, May 26, 2006, Utrecht

Dutch G?del Centenary Celebration
Friday May 26
Utrecht, Jaarbeurs

organized by the
Vereniging van Logica &
Onderzoekschool Logica

http://ozsl.uu.nl/goedel/

The symposium is free of charge. You are cordially invited to register 
at the webpage. The program is as follows.

10:00 Arrival, tea and coffee
10:20-10:30 Opening: Albert Visser (Utrecht)
10:30-11:45 Juliette Kennedy (Helsinki) & Mark van Atten (Paris): A 
Life Dedicated to the Fundamental
11:45-12:00 Tea break
12:00-13:00 Dick de Jongh (Amsterdam) & Albert Visser (Utrecht): The 
Incompleteness Theorems: What They Say and What They do not Say.
13:00-14:00 Lunch break
14:00-15:00 Benedikt L?we (Amsterdam): G?del's Contribution to Set 
Theory
15:00-15:30 Tea break
15:30-16:30 Dennis Dieks (Utrecht): G?del on Time and Relativity