Mind-Bending Math: Riddles and Paradoxes Season 1 Episode 10 Gödel Proves the Unprovable
- TV-PG
- July 24, 2015
- 29 min
Study the discovery that destroyed the dream of an axiomatic system that could prove all mathematical truths - Kurt Gödel's demonstration that mathematical consistency is a mirage and that the price for avoiding paradoxes is incompleteness. Outline Gödel's proof, seeing how it relates to the liar's paradox from Lecture 1.