Personal tools
You are here: Home Events Alex Simpson: T with Turing and Euclid

Alex Simpson: T with Turing and Euclid

What
When Nov 27, 2012
from 01:00 PM to 02:00 PM
Add event to calendar vCal
iCal

I shall recount a story about computability that begins with Turing's famous 1937 paper "On Computable Numbers, with an Application to the Entscheidungsproblem" and combines this with elements provided by Euclid, on the one hand, and Kurt Goedel, on the other. The end product is a recent (and still unpublished) theorem which is the result of a sporadic collaboration over the last dozen years between myself and Martin Escardo from the University of Birmingham.

Document Actions