BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University Scholars Programme - ECPv6.1.3//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
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:20191021T190000
DTEND;TZID=UTC:20191021T203000
DTSTAMP:20260417T175344
CREATED:20191022T034723Z
LAST-MODIFIED:20191022T034808Z
UID:14485-1571684400-1571689800@usp.nus.edu.sg
SUMMARY:Gödel at his Prime - Background and Motivation
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(1st talk) Can mathematics talk about itself? Are there true theorems that cannot be proven? Can mathematics be complete? These are questions addressed by Gödel’s seminal paper entitled “On Formally Undecidable Propositions of Principia Mathematica and Related Systems”. This paper has become one of the most influential works of the 20th century and changed the notions of reasoning about formal systems forever. This first talk will discuss the background\, motivation and (without proof) what Gödel’s theorems state.
URL:https://usp.nus.edu.sg/event/godel-at-his-prime-background-and-motivation/
LOCATION:Master’s Commons\, USP
CATEGORIES:General
END:VEVENT
END:VCALENDAR