Demystifying Gödel's Theorem: What It Actually Says

Gödel’s incompleteness theorem is one of the most misunderstood ideas in science and philosophy. This video cuts through the hype, correcting major misconceptions from pop-science icons and revealing what Gödel actually proved and what he didn’t. If you think his theorem limits human knowledge, think again. The people referenced are Neil deGrasse Tyson, Veritasium, Michio Kaku, and Deepak Chopra. Correction: Veritasium says "everything" not "anything." My foolish verbal flub is corrected in the captions, and the argumentation remains the same. As a listener of TOE you can get a special 20% off discount to The Economist and all it has to offer! Visit https://www.economist.com/toe Join My New Substack (Personal Writings): https://curtjaimungal.substack.com Listen on Spotify: https://tinyurl.com/SpotifyTOE Become a YouTube Member (Early Access Videos): https://www.youtube.com/channel/UCdWIQh9DGG6uhJk8eyIFl1w/join Links Mentioned: •⁠ ⁠Scott Aaronson | How Much Math Is Knowable?: https://www.youtube.com/watch?v=VplMHWSZf5c •⁠ ⁠The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis (paper): https://www.pnas.org/doi/pdf/10.1073/pnas.24.12.556 •⁠ ⁠The Gettier Problem: https://plato.stanford.edu/entries/knowledge-analysis/#GettProb •⁠ ⁠Jennifer Nagel on TOE: https://www.youtube.com/watch?v=CWZVMZ9Tm7Q •⁠ ⁠Gödel’s First Incompleteness Theorem: https://en.wikipedia.org/wiki/On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems •⁠ ⁠Roger Penrose on TOE: https://www.youtube.com/watch?v=sGm505TFMbU •⁠ ⁠Curt talks with Penrose for IAI: https://www.youtube.com/watch?v=VQM0OtxvZ-Y •⁠ ⁠Bertrand Russell’s Comments: https://en.wikisource.org/wiki/Page:Russell,_Whitehead_-_Principia_Mathematica,_vol._I,_1910.djvu/84 •⁠ ⁠Gregory Chaitin on TOE: https://www.youtube.com/watch?v=zMPnrNL3zsE •⁠ ⁠Chaitin on the ‘Rise and Fall of Academia’: https://www.youtube.com/watch?v=PoEuav8G6sY •⁠ ⁠Curt and Neil Tyson Debate Physics: https://www.youtube.com/watch?v=ye9OkJih3-U •⁠ ⁠Gödel’s Completeness Theorem: https://en.wikipedia.org/wiki/G%C3%B6del%27s_completeness_theorem •⁠ ⁠Latham Boyle on TOE: https://www.youtube.com/watch?v=nyLeeEFKk04 •⁠ ⁠Gabriele Carcassi on TOE: https://www.youtube.com/watch?v=pIQ7CaQX8EI •⁠ ⁠Gabriele Carcassi’s YouTube Channel (Live): https://www.youtube.com/@AssumptionsofPhysicsResearch •⁠ ⁠Robinson Arithmetic: https://en.wikipedia.org/wiki/Robinson_arithmetic •⁠ ⁠Algorithmic Information Theory (book): https://www.amazon.com/dp/0521616042 •⁠ ⁠The Paris-Harrington Theorem: https://mathworld.wolfram.com/Paris-HarringtonTheorem.html •⁠ ⁠Curt’s Substack: The Mathematics of Self: https://curtjaimungal.substack.com/p/the-mathematics-of-self-why-you-can •⁠ ⁠The Church-Turing Thesis: https://plato.stanford.edu/entries/church-turing/ •⁠ ⁠Curt’s Substack: The Most Profound Theorem in Logic You Haven't Heard Of: https://curtjaimungal.substack.com/p/infinity-its-many-models-and-lowenheim Support TOE on Patreon: https://patreon.com/curtjaimungal Twitter: https://twitter.com/TOEwithCurt Discord Invite: https://discord.com/invite/kBcnfNVwqs #science Learn more about your ad choices. Visit megaphone.fm/adchoices