BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Hypercomputation - Weston Metzler\, Homerton College
DTSTART:20191023T184500Z
DTEND:20191023T191500Z
UID:TALK133768@talks.cam.ac.uk
CONTACT:Matthew Ireland
DESCRIPTION:The Church-Turing thesis states that a function is computable 
 by "reasonable means" if and only if it is computable by a Turing machine.
  In this talk\, we examine computation that is not computable by reasonabl
 e means\, and is therefore not computable by a Turing machine. Several the
 oretical hypermachines will be introduced including Turing's Oracle machin
 es and so-called Zeno machines. We'll discuss how these machines can "comp
 ute the uncomputable"\, and discuss the issues with physically implementin
 g such machines. We conclude that it is still unclear whether hypercomputa
 tion is possible within our universe\, with the answer having serious impl
 ications for mathematics\, physics\, and philosophy.
LOCATION:Wolfson Hall\, Churchill College
END:VEVENT
END:VCALENDAR