The Mathematics of Alan Turing - Professor Angus MacIntyre

"Undecidable and Decidable Problems in Mathematics: A survey and some reflections, for the centenary of Turing's birth" What are the limits of proof, and what follows? -- A timely look at the life and mathematical work of Alan Turing. As we approach the centenary of his birth, this lecture offers a chance to learn more about perhaps Britain's most famous modern mathematician. The transcript and downloadable versions of the lecture are available from the on the Gresham College website: http://www.gresham.ac.uk/lectures-and... Gresham College has been giving free public lectures since 1597. This tradition continues today with all of our five or so public lectures a week being made available for free download from our website. http://www.gresham.ac.uk