BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Halting Problem and Gödel's Incompleteness Theorem - Kushagr Moha
 n Ahuja\, Magdalene College
DTSTART:20191204T193000Z
DTEND:20191204T200000Z
UID:TALK135805@talks.cam.ac.uk
CONTACT:Matthew Ireland
DESCRIPTION:Have you ever thought whether what you are proving is even pro
 vable? Kurt Gödel showed that even if we have superhuman powers\, then al
 so we cannot prove certain theorems. In my presentation\, I will talk abou
 t Gödel’s first and second incompleteness theorems which will elaborate
  more on this.
LOCATION:Wolfson Hall\, Churchill College
END:VEVENT
END:VCALENDAR