BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/2752/20-February-2009-Colloquium-on-Mathematical-
Logic-Martin-Davis
DTSTAMP:20090215T000000
SUMMARY:Colloquium on Mathematical Logic, Martin D
avis
ATTENDEE;ROLE=Speaker:Martin Davis
DTSTART:20090220T160000
DTEND: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/Events/Upcoming-Events/newsitem
/2752/20-February-2009-Colloquium-on-Mathematical-
Logic-Martin-Davis
END:VEVENT
END:VCALENDAR