Hypercomputation

Add to your list(s) Download to your calendar using vCal

• Weston Metzler, Homerton College
• Wednesday 23 October 2019, 19:45-20:15
• Wolfson Hall, Churchill College.

If you have a question about this talk, please contact Matthew Ireland.

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 reasonable means, and is therefore not computable by a Turing machine. Several theoretical hypermachines will be introduced including Turing’s Oracle machines and so-called Zeno machines. We’ll discuss how these machines can “compute the uncomputable”, and discuss the issues with physically implementing such machines. We conclude that it is still unclear whether hypercomputation is possible within our universe, with the answer having serious implications for mathematics, physics, and philosophy.

This talk is part of the Churchill CompSci Talks series.

This talk is included in these lists:

• Churchill CompSci Talks
• Wolfson Hall, Churchill College
• computer science
• se393's list

Note that ex-directory lists are not shown.