BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Churchill CompSci Talks
SUMMARY:Hypercomputation - Weston Metzler\, Homerton Colle
ge
DTSTART;TZID=Europe/London:20191023T194500
DTEND;TZID=Europe/London:20191023T201500
UID:TALK133768AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/133768
DESCRIPTION:The Church-Turing thesis states that a function is
computable by "reasonable means" if and only if i
t is computable by a Turing machine. In this talk\
, we examine computation that is not computable by
reasonable means\, and is therefore not computabl
e by a Turing machine. Several theoretical hyperma
chines will be introduced including Turing's Oracl
e machines and so-called Zeno machines. We'll disc
uss how these machines can "compute the uncomputab
le"\, and discuss the issues with physically imple
menting such machines. We conclude that it is stil
l unclear whether hypercomputation is possible wit
hin our universe\, with the answer having serious
implications for mathematics\, physics\, and philo
sophy.
LOCATION:Wolfson Hall\, Churchill College
CONTACT:Matthew Ireland
END:VEVENT
END:VCALENDAR