BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University Scholars Programme - ECPv6.1.3//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:University Scholars Programme
X-ORIGINAL-URL:https://usp.nus.edu.sg
X-WR-CALDESC:Events for University Scholars Programme
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:UTC
BEGIN:STANDARD
TZOFFSETFROM:+0000
TZOFFSETTO:+0000
TZNAME:UTC
DTSTART:20190101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=UTC:20191029T190000
DTEND;TZID=UTC:20191029T203000
DTSTAMP:20260406T080655
CREATED:20191022T035553Z
LAST-MODIFIED:20191121T065107Z
UID:14491-1572375600-1572381000@usp.nus.edu.sg
SUMMARY:Gödel at his Prime – The Proof
DESCRIPTION:USP Visiting Professor\, A/P Frederick Willerboordse\, will be conducting three talks on Gödel’s theorems and Turing machine. We strongly encouraged USP community to join these interesting sessions. \n(2nd talk) Following the first talk on 21 Oct\, this second talk will outline Gödel’s proof of his incompleteness theorems and discuss Gödel numbers\, meta-mathematics\, and the arithmetization of meta-mathematics in the lead up to the proof. Although this talk is a continuation of the first talk\, it is possible to attend this one even if you had missed the first. \n 
URL:https://usp.nus.edu.sg/event/godel-at-his-prime-the-proof/
LOCATION:Master’s Commons\, USP
CATEGORIES:General
END:VEVENT
END:VCALENDAR