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-events/undecidable-and-decidable-problems-in-mathematics-a-survey-and-some-reflections 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