BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:The Archimedeans (CU Mathematical Society)
SUMMARY:Gödel's Incompleteness Theorem - Dr Thomas Forster
(DPMMS)
DTSTART;TZID=Europe/London:20120210T190000
DTEND;TZID=Europe/London:20120210T200000
UID:TALK36115AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/36115
DESCRIPTION:(Free for members\, £2 for non-members)\n\nLook -
no hands! In this Turing Centenary year... you can
now go to a logic talk that doesn't mention Turin
g machines!! Watch while famous logical trickster
Dr Thomas Forster proves the Incompleteness Theore
m before your very eyes! No but seriously. The Inc
ompleteness theorem is surely one of the most impo
rtant discoveries in mathematics since the Greeks.
And - equally surely - there has been more nonsen
se talked about it than any other result in the wh
ole of mathematics. Your host this evening will pr
ove the theorem calmly and soberly and try to cut
through some of the nonsense.
LOCATION:Centre for Mathematical Sciences (CMS)
CONTACT:
END:VEVENT
END:VCALENDAR