Gödel Proved Math Can Never Prove Everything

In 1930 a quiet 24-year-old in Vienna wrote a sentence of arithmetic that says, in effect, "this sentence cannot be proved". If mathematics could prove it, mathematics would be proving something false. So it can't, which makes it true. With that idea, Kurt Gödel ended David Hilbert's dream of a complete, provably safe mathematics. This is the story of the boy his family called Mister Why, Russell's barber paradox, the quiet remark in Königsberg that only von Neumann understood, the proof step by step (turning formulas into numbers with primes, and making arithmetic talk about itself), the second incompleteness theorem, what Gödel did NOT prove, the escape across Siberia, the daily walks with Einstein, a universe where you can travel back in time, the citizenship hearing, and his tragic end. CHAPTERS 0:00 1930: a sentence that says 'I cannot be proved' 0:55 Mister Why: the boy from Brünn 2:57 Paradoxes and Hilbert's dream 5:50 Königsberg, 1930: a quiet remark 7:04 The proof, step by step 7:14 Turning formulas into numbers 9:37 The sentence G 11:31 The second theorem 13:05 What Gödel did NOT prove 14:34 Escape from Vienna 16:21 Einstein, time travel and the Constitution 18:09 The end 19:10 Legacy A NOTE ON THE STORY Gödel's theorems apply to consistent formal systems that can express basic arithmetic and whose axioms can be listed mechanically; they do not say that "mathematics is broken" or that truth is relative. The symbol codes used on screen are simplified for illustration. Quotes from Einstein, Morgenstern and Frege are as reported in later accounts, and the citizenship-hearing story comes from Morgenstern's notes. Document excerpts are labelled "paraphrased", "translated" or "summary" where they are not quoted word for word. SOURCES • K. Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (1931) • J. W. Dawson Jr., Logical Dilemmas: The Life and Work of Kurt Gödel (1997) • R. Goldstein, Incompleteness: The Proof and Paradox of Kurt Gödel (2005) • E. Nagel & J. R. Newman, Gödel's Proof (1958) • Stanford Encyclopedia of Philosophy: Gödel's Incompleteness Theorems IMAGES (Wikimedia Commons) Public domain: Young Kurt Gödel as a student in 1925; 1925 kurt gödel; David Hilbert, 1907; Honourable Bertrand Russell; Das Fotoalbum für Weierstraß 033 (Georg Cantor); Albertina Königsberg (kol. Postkarte); Albert Einstein 1937; Albert Einstein, 1947, 3b46036u; John von Neumann as child; Clarkson S. Fisher Federal Building & U.S. Courthouse, Trenton, New Jersey LCCN2010719745; Kurt godel tomb 2004; Alan Turing (1951). Creative Commons, used unmodified with credit: Pamětní deska Kurta Gödela na jeho rodném domě, by Jvs (CC BY-SA 4.0); Brno - Old Town Hall - Treasury, by Millenium187 (CC BY-SA 3.0); Pediment of Main building of the University of Vienna, by Yair Haklai (CC BY-SA 4.0); Kurt Gödel Gedenktafel Florianigasse 42 Wien, by Feldkurat Katz (CC BY-SA 4.0); Gedenktafel für Moritz Schlick (1882–1936) Wien Prinz Eugen-Straße 68, by Walter Anton (CC BY-SA 4.0). Maps: Natural Earth (public domain). Narration: the channel's own cloned voice (CosyVoice3). Script and animations: original. #Gödel #Mathematics #History