BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2009/newsitem/2752/20-
February-2009-Colloquium-on-Mathematical-Logic-Mar
tin-Davis
DTSTAMP:20090215T000000
SUMMARY:Colloquium on Mathematical Logic, Martin D
avis
ATTENDEE;ROLE=Speaker:Martin Davis
DTSTART;TZID=Europe/Amsterdam:20090220T160000
DTEND;TZID=Europe/Amsterdam:20090220T170000
LOCATION:Room 611, Wiskundegebouw, Budapestlaan 6,
Utrecht\n (Bus 11 or 12 from Utrecht Central
Station)
DESCRIPTION:Abstract: In Gödel's (unsent) reply to
the questionaire sent to him by B.D. Grandjean he
asserted that since 1925 he had held a position o
f 'mathematical realism' whereby 'mathematical con
cepts [and sets] and theorems are describing objec
ts of some kind.' (The words in square brackets we
re added by Gödel.) A more nuanced story emerges f
rom the hints made available with the publication
of the magnificent five volume set of Gödel's Coll
ected Works. For more information, see http://ww
w.math.uu.nl/people/jvoosten/seminar.html
X-ALT-DESC;FMTTYPE=text/html:\n \nAbstract
: In Gödel's (unsent) reply to the questionai
re sent to him by B.D.\nGrandjean he asserted that
since 1925 he had held a position of\n'mathematic
al realism' whereby 'mathematical concepts [and se
ts]\nand theorems are describing objects of some k
ind.' (The words in\nsquare brackets were added by
Gödel.) A more nuanced story emerges\nfrom t
he hints made available with the publication of th
e magnificent\nfive volume set of Gödel's Col
lected Works.\n

\n \n For more
information, see\n http://www.math.uu.nl/people/jvoosten/seminar.
html\n

\n
URL:/NewsandEvents/Archives/2009/newsitem/2752/20-
February-2009-Colloquium-on-Mathematical-Logic-Mar
tin-Davis
END:VEVENT
END:VCALENDAR