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:
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.