Gödel's Incompleteness Theorems - In Our Time
In 1900, in Paris, the International Congress of Mathematicians gathered in a mood of hope and fear. The edifice of maths was grand and ornate but its foundations had been shaken. They were deemed to be inconsistent and possibly paradoxical. At the conference, a young man called David Hilbert set out a plan to rebuild the foundations of maths – to make them consistent, all encompassing and without any hint of a paradox. Hilbert was one of the greatest mathematicians that ever lived, but his plan failed spectacularly because of Kurt Gödel. Gödel proved that there were some problems in maths that were impossible to solve, that the bright clear plain of mathematics was in fact a labyrinth filled with potential paradox. In doing so, Gödel changed the way we understand what mathematics is, and the implications of his work in physics and philosophy take us to the very edge of what we can know. Melvyn Bragg discusses Gödel’s Incompleteness Theorems with Marcus du Sautoy, Professor of Mathematics at Wadham College, University of Oxford; John Barrow, Professor of Mathematical Sciences at the University of Cambridge and Gresham Professor of Geometry and Philip Welch, Professor of Mathematical Logic at the University of Bristol.
This is from a BBC program called In Our Time. For more information, go to http://www.bbc.co.uk/programmes/b006qykl.
Видео Gödel's Incompleteness Theorems - In Our Time канала Philosophy Overdose
This is from a BBC program called In Our Time. For more information, go to http://www.bbc.co.uk/programmes/b006qykl.
Видео Gödel's Incompleteness Theorems - In Our Time канала Philosophy Overdose
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Kurt Gödel & the Limits of MathematicsThe Notion of TruthWhen Einstein Walked with Gödel: Excursions to the Edge of Thought - Jim HoltStandard Conception of Rationality & Its Problems (John Searle)Riemann Hypothesis - NumberphileThe Philosophy of Spinoza & LeibnizFrege's Logicism (Elucidations)1. Introduction to Human Behavioral BiologyBertrand Russell - In Our Time BBC Radio 4Ludwig Wittgenstein - The Limits of ThoughtRepresenting Arthur SchopenhauerThe Two Philosophies of WittgensteinGödel's Incompleteness Theorem - NumberphileBeing & Becoming - Plato's ParmenidesLimits of Logic: The Gödel LegacyImmanuel Kant - Philosophy NowLogical Positivism - The Vienna Circle22/42 The Secrets of Kurt GödelIntro to the Philosophy of Mathematics (Ray Monk)Human Nature (In Our Time)