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      <p>\nAbstract
 : In G&ouml;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&ouml;del.) A more nuanced story emerges\nfrom t
 he hints made available with the publication of th
 e magnificent\nfive volume set of G&ouml;del's Col
 lected Works.\n      </p>\n    \n      <p>For more
  information, see\n        <a target="_blank" href
 ="http://www.math.uu.nl/people/jvoosten/seminar.ht
 ml">http://www.math.uu.nl/people/jvoosten/seminar.
 html</a>\n    </p>\n    
URL:/NewsandEvents/Archives/2009/newsitem/2752/20-
 February-2009-Colloquium-on-Mathematical-Logic-Mar
 tin-Davis
END:VEVENT
END:VCALENDAR