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:20191031T190000
DTEND;TZID=UTC:20191031T203000
DTSTAMP:20260417T144506
CREATED:20191022T035653Z
LAST-MODIFIED:20191121T065050Z
UID:14493-1572548400-1572553800@usp.nus.edu.sg
SUMMARY:Halt! In the Name of Turing
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(3rd talk) This last talk will outline the design of the Turing machine and show how Turing used it to discuss the so-called ‘Halting Problem’ which is of enormous fundamental importance to the understanding of computing and has significant ramifications for the current discussions on artificial intelligence. It is then shown how Turing’s answer to the halting problem can be used in a rather straightforward way to derive Gödel’s incompleteness theorem.
URL:https://usp.nus.edu.sg/event/halt-in-the-name-of-turing/
LOCATION:Master’s Commons\, USP
CATEGORIES:General
END:VEVENT
END:VCALENDAR