Godel’s Incompleteness Theorems
Melvyn Bragg and guests discuss an iconic piece of 20th century maths - Godel’s Incompleteness Theorems. 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, called axioms, 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 Godel. Godel 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 Godel 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.
Guests
- Marcus du Sautoy
15 episodes
Professor of Mathematics at Wadham College, University of Oxford - John Barrow
4 episodes
Professor of Mathematical Sciences at the University of Cambridge and Gresham Professor of Geometry -
Philip Welch No other episodes
Professor of Mathematical Logic at the University of Bristol
Related episodes
-
Emmy Noether
24 Jan, 2019 510 Mathematics -
Mathematics’ Unintended Consequences
11 Feb, 2010 510 Mathematics -
The Poincaré Conjecture
2 Nov, 2006 510 Mathematics -
Mathematics and Platonism
11 Jan, 2001 510 Mathematics -
Fermat’s Last Theorem
25 Oct, 2012 510 Mathematics -
Carl Friedrich Gauss
30 Apr, 2020 510 Mathematics -
Mathematics
6 May, 1999 510 Mathematics -
Infinity
23 Oct, 2003 510 Mathematics -
Calculus
24 Sep, 2009 510 Mathematics -
Bertrand Russell
6 Dec, 2012 190 Modern Western Philosophy -
The Ontological Argument
27 Sep, 2012 100 Philosophy -
Maths in the Early Islamic World
16 Feb, 2017 510 Mathematics -
Logic
21 Oct, 2010 160 Philosophical logic -
Maths and Storytelling
30 Sep, 1999 510 Mathematics -
Imaginary Numbers
23 Sep, 2010 510 Mathematics -
Euclid’s Elements
28 Apr, 2016 510 Mathematics -
Renaissance Maths
2 Jun, 2005 510 Mathematics -
Indian Mathematics
14 Dec, 2006 510 Mathematics -
Wittgenstein
4 Dec, 2003 190 Modern Western Philosophy -
Mathematics and Music
25 May, 2006 780 Music
Programme ID: b00dshx3
Episode page: bbc.co.uk/programmes/b00dshx3
Auto-category: 510 (Mathematics)