Go offline with the Player FM app!
Podcasts Worth a Listen
SPONSORED


Demystifying Gödel's Theorem: What It Actually Says
Manage episode 480776874 series 3531008
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
308 episodes
Manage episode 480776874 series 3531008
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
308 episodes
All episodes
×
1 Geometric Unity: 40 Years in the Making | Eric Weinstein 3:12:28

1 The Many Worlds Theory of Quantum Mechanics | David Wallace 2:19:33

1 The AI Math That Left Number Theorists Speechless 2:02:08

1 "Explain it to me like I'm five..." okie dokie 19:04

1 MIT Physicist: These Black Holes Are Older Than the Universe 1:56:14

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

1 The Physicist Who Proved Entropy = Gravity 1:52:46

1 When Physics Gets Rid of Time and Quantum Theory | Julian Barbour 2:22:29

1 The Geometric Unity Iceberg... Oh Boy. 3:20:35

1 The Most Astonishing Theory of Black Holes Ever Proposed 2:38:57

1 Why Universal Skepticism Is Philosophy's Greatest Deception 2:47:17

1 Debunking the “All Possible Paths” Myth: What Feynman Really Showed 15:09

1 The "All At Once" Universe Shatters Our View of Time 1:26:25

1 The Theory of Gravity That Shouldn't Exist 2:10:32
Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.