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:A unified view towards diagonal arguments - Qiangr
u Kuang
DTSTART;TZID=Europe/London:20190225T182000
DTEND;TZID=Europe/London:20190225T184000
UID:TALK120820AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/120820
DESCRIPTION:Cantor's diagonal argument is a simple yet deep th
eorem. Perhaps less known is that the same idea in
the proof powers many famous results\, including
but not limited to: Russel's paradox\, halting the
orem\, undefinability theorem and Gödel incomplete
ness theorem. This talk aims to state and prove an
abstract form of diagonal argument and derive all
of the above as corollaries if time permits. The
talk will be self-contained. IA Numbers and Sets o
r knowing Cantor's diagonal argument will be helpf
ul but not necessary.
LOCATION:MR5\, Centre for Mathematical Sciences
CONTACT:Valentin Hübner
END:VEVENT
END:VCALENDAR