BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A unified view towards diagonal arguments - Qiangru Kuang
DTSTART:20190225T182000Z
DTEND:20190225T184000Z
UID:TALK120820@talks.cam.ac.uk
CONTACT:Valentin Hübner
DESCRIPTION:Cantor's diagonal argument is a simple yet deep theorem. Perha
 ps less known is that the same idea in the proof powers many famous result
 s\, including but not limited to: Russel's paradox\, halting theorem\, und
 efinability theorem and Gödel incompleteness theorem. This talk aims to s
 tate 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 or knowing Cantor's diagonal argument will be helpful bu
 t not necessary.
LOCATION:MR5\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR