Lex Fridman Podcast
Lex Fridman
#488 – Infinity, Paradoxes that Broke Mathematics, Gödel Incompleteness & the Multiverse – Joel David Hamkins
About This Episode
Joel David Hamkins is a mathematician and philosopher specializing in set theory, the foundations of mathematics, and the nature of infinity, and he’s the #1 highest-rated user on MathOverflow. He is also the author of several books, including Proof and the Art of Mathematics and Lectures on the Philosophy of Mathematics. And he has a great blog called Infinitely More.
Thank you for listening ❤ Check out our sponsors: https://lexfridman.com/sponsors/ep488-sc
See below for timestamps, transcript, and to give feedback, submit questions, contact Lex, etc.
Transcript:
https://lexfridman.com/joel-david-hamkins-transcript
CONTACT LEX:
Feedback – give feedback to Lex: https://lexfridman.com/survey
AMA – submit questions, videos or call-in: https://lexfridman.com/ama
Hiring – join our team: https://lexfridman.com/hiring
Other – other ways to get in touch: https://lexfridman.com/contact
EPISODE LINKS:
Joel’s X: https://x.com/JDHamkins
Joel’s Website: https://jdh.hamkins.org
Joel’s Substack: https://www.infinitelymore.xyz
Joel’s MathOverflow: https://mathoverflow.net/users/1946/joel-david-hamkins
Joel’s Papers: https://jdh.hamkins.org/publications
Joel’s Books:
Lectures on the Philosophy of Mathematics: https://amzn.to/3MThaAt
Proof and the Art of Mathematics: https://amzn.to/3YACc9A
SPONSORS:
To support this podcast, check out our sponsors & get discounts:
Perplexity: AI-powered answer engine.
Go to https://www.perplexity.ai/
Fin: AI agent for customer service.
Go to https://fin.ai/lex
Miro: Online collaborative whiteboard platform.
Go to https://miro.com/
CodeRabbit: AI-powered code reviews.
Go to https://coderabbit.ai/lex
Chevron: Reliable energy for data centers.
Go to https://chevron.com/power
Shopify: Sell stuff online.
Go to https://shopify.com/lex
LMNT: Zero-sugar electrolyte drink mix.
Go to https://drinkLMNT.com/lex
MasterClass: Online classes from world-class experts.
Go to https://masterclass.com/lexpod
OUTLINE:
(00:00) – Introduction
(01:58) – Sponsors, Comments, and Reflections
(15:40) – Infinity & paradoxes
(1:02:50) – Russell’s paradox
(1:15:57) – Gödel’s incompleteness theorems
(1:33:28) – Truth vs proof
(1:44:52) – The Halting Problem
(2:00:45) – Does infinity exist?
(2:18:19) – MathOverflow
(2:22:12) – The Continuum Hypothesis
(2:31:58) – Hardest problems in mathematics
(2:41:25) – Mathematical multiverse
(3:00:18) – Surreal numbers
(3:10:55) – Conway’s Game of Life
(3:13:11) – Computability theory
(3:23:04) – P vs NP
(3:26:21) – Greatest mathematicians in history
(3:40:05) – Infinite chess
(3:58:24) – Most beautiful idea in mathematics
Listen to Lex Fridman Podcast in Podtastic
For listeners, not advertisers
More Episodes
#498 – Anthony Kaldellis: Roman Empire, Byzantine Empire, Rise & Fall of Empires
In this episode, historian Anthony Kaldellis joins the podcast to reframe the narrative surrounding the Roman Empire, specifically challenging the traditional historical distinction between the Roman and Byzantine empires. Kaldellis argues that the so-called Byzantine Empire was, in every legal and cultural sense, the unbroken continuation of the Roman state, which existed from antiquity until the fall of Constantinople in 1453. The discussion explores the massive timeline of Roman history, covering the transition from a city-state kingdom to a republic, and eventually to an imperial monarchy. Kaldellis emphasizes that while the empire underwent significant evolution, it was a gradual process rather than a series of ruptures. He introduces the metaphor of the Ship of Theseus to illustrate how a political community can maintain its identity over two millennia despite constant change. Furthermore, the conversation touches on the role of Roman law, the administrative bureaucracy, and the consistent persona that the imperial government projected to its citizens. By examining these structural threads, Kaldellis provides a compelling argument for viewing the Roman experience as a singular, evolving, and deeply resilient political journey.
#497 – Biggest Mysteries in Physics: Antimatter, Dark Energy & ToE – Don Lincoln
In this episode, particle physicist Don Lincoln joins the program to explore the foundational history and profound mysteries of modern physics. Lincoln, renowned for his ability to translate complex concepts into accessible insights, frames the history of physics as a persistent, multi-century quest for unification. He discusses how legendary figures like Isaac Newton and James Clerk Maxwell revolutionized human understanding by demonstrating that seemingly disparate phenomena—such as terrestrial and celestial gravity or electricity and magnetism—are actually manifestations of the same underlying principles. The conversation delves into the evolution of scientific thought, from Democritus’ early intuition regarding atoms to Einstein’s transformative work on relativity and the unification of space and time. Lincoln explains how these scientific breakthroughs, while initially abstract or even counterintuitive, have paved the way for the modern technological landscape, including innovations in energy and communication. Throughout the discussion, the two emphasize that the pursuit of a Theory of Everything is a deep-seated human endeavor. They reflect on the beauty of the scientific method, the importance of societal dialogue regarding the application of new technologies, and the enduring wonder of uncovering the fundamental building blocks that govern our universe.
#496 – FFmpeg: The Incredible Technology Behind Video on the Internet
In this episode of the Lex Fridman Podcast, the host explores the invisible, essential infrastructure of the internet: FFmpeg and VLC. The conversation features Jean-Baptiste Kempf, president of VideoLAN, and Kieran Cunha, a software engineer and longtime contributor to the FFmpeg project. The episode sheds light on how these open-source systems serve as the backbone for nearly all video and audio processing, powering platforms ranging from Netflix and YouTube to Discord and Chrome. The guests break down the sophisticated engineering required to decode, encode, and transcode media, explaining the intricate balance of mathematics and human perception that allows for massive data compression while maintaining high quality. Beyond technical discussions on codecs, containers, and GPU acceleration, the episode highlights the profound spirit of volunteerism within the open-source community. The participants reflect on a global collaborative effort that enables billions of people to consume media effortlessly. Ultimately, the conversation celebrates the dedicated engineers who prioritize the craft of low-level software design and long-term digital preservation over fame or profit, ensuring that modern civilization’s digital history remains accessible for years to come.
#492 – Rick Beato: Greatest Guitarists of All Time, History & Future of Music
#491 – OpenClaw: The Viral AI Agent that Broke the Internet – Peter Steinberger
In this episode, Lex Fridman sits down with software developer Peter Steinberger to discuss the meteoric rise of OpenClaw, an open-source AI agent that has become a viral sensation in the programming community. Originally conceived as a personal project, OpenClaw has evolved into one of the fastest-growing repositories on GitHub, representing a significant shift from simple conversational AI to truly agentic software. Steinberger details the "hero's journey" behind the project, describing how he built the initial prototype in just an hour to solve his own need for a personal assistant. A central theme of the conversation is the "agentic loop," which allows the AI to operate autonomously, execute tasks, and even perform self-introspection to debug and modify its own source code. The discussion explores the balance between the immense freedom this power provides and the critical responsibility of maintaining security in a system with deep access to a user's data. Beyond the technical mechanics, the host and guest reflect on the joy of programming, the importance of building software that is both functional and delightful, and why an approach grounded in curiosity and fun allowed OpenClaw to resonate so deeply with a global community of developers and newcomers alike.
#490 – State of AI in 2026: LLMs, Coding, Scaling Laws, China, Agents, GPUs, AGI
#489 – Paul Rosolie: Uncontacted Tribes in the Amazon Jungle
#487 – Irving Finkel: Deciphering Secrets of Ancient Civilizations & Flood Myths
#486 – Michael Levin: Hidden Reality of Alien Intelligence & Biological Life
#485 – David Kirtley: Nuclear Fusion, Plasma Physics, and the Future of Energy
Related Podcasts
All podcast names and trademarks are the property of their respective owners. Podcasts listed on Podtastic are publicly available shows distributed via RSS. Podtastic does not endorse nor is endorsed by any podcast or podcast creator listed in this directory.