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