BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Gödel's Incompleteness Theorem - Dr Thomas Forster (DPMMS)
DTSTART:20120210T190000Z
DTEND:20120210T200000Z
UID:TALK36115@talks.cam.ac.uk
CONTACT:25292
DESCRIPTION:(Free for members\, £2 for non-members)\n\nLook - no hands! I
 n this Turing Centenary year... you can now go to a logic talk that doesn'
 t mention Turing machines!! Watch while famous logical trickster Dr Thomas
  Forster proves the Incompleteness Theorem before your very eyes! No but s
 eriously. The Incompleteness theorem is surely one of the most important d
 iscoveries in mathematics since the Greeks. And - equally surely - there h
 as been more nonsense talked about it than any other result in the whole o
 f mathematics. Your host this evening will prove the theorem calmly and so
 berly and try to cut through some of the nonsense.
LOCATION:Centre for Mathematical Sciences (CMS)
END:VEVENT
END:VCALENDAR