What are the fundamental limits of mathematical proof?
In short: As we approach the centenary of Alan Turing's birth, Professor Angus MacIntyre explores the life and mathematical legacy of one of Britain's most renowned modern mathematicians.
This lecture examines the distinction between decidable and undecidable problems in mathematics. It offers a survey of Turing's work and reflections on what follows when we encounter the boundaries of what can be proven.
Opens the Intellect+ feed with this card first. Swipe up for the next one.
Sources
- Summary by Intellect · source: The Mathematics of Alan Turing - Professor Angus MacIntyre
To cite this card, link to https://intellectplus.co.uk/app/ideas-the-mathematics-of-alan-turing-professor-angus-macintyre.
How we source, check and correct cards: Editorial standards.
General information, not professional advice. Spotted an error? Flag the card or see corrections and complaints.
Intellect Plus is a visual educational discovery platform for exploring fascinating facts and ideas. Brain Food, Not Brain Rot. What is Intellect Plus?
Related
More in Mathematics · More in Ideas & Philosophy · Latest · A–Z · All topics
