Skip to content
Lex Fridman PodcastLex Fridman Podcast

Dr. Joel Hamkins on Lex Fridman: How Cantor broke math

Cantor's diagonal proof showed uncountable infinities exist, outpacing counting itself; Hamkins uses Hilbert's Hotel to illustrate where infinite sets differ.

Lex FridmanhostJoel David Hamkinsguest
Dec 31, 20253h 52mWatch on YouTube ↗

Episode Details

EPISODE INFO

Released
December 31, 2025
Duration
3h 52m
Channel
Lex Fridman Podcast
Watch on YouTube
▶ Open ↗

EPISODE DESCRIPTION

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-sb 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://lexfridman.com/s/perplexity-ep488-sb *Fin:* AI agent for customer service. Go to https://lexfridman.com/s/fin-ep488-sb *Miro:* Online collaborative whiteboard platform. Go to https://lexfridman.com/s/miro-ep488-sb *CodeRabbit:* AI-powered code reviews. Go to https://lexfridman.com/s/coderabbit-ep488-sb *Chevron:* Reliable energy for data centers. Go to https://lexfridman.com/s/chevron-ep488-sb *Shopify:* Sell stuff online. Go to https://lexfridman.com/s/shopify-ep488-sb *LMNT:* Zero-sugar electrolyte drink mix. Go to https://lexfridman.com/s/lmnt-ep488-sb *MasterClass:* Online classes from world-class experts. Go to https://lexfridman.com/s/masterclass-ep488-sb *OUTLINE:* 0:00 - Introduction 2:17 - Infinity & paradoxes 49:27 - Russell's paradox 1:02:35 - Gödel's incompleteness theorems 1:20:06 - Truth vs proof 1:31:30 - The Halting Problem 1:47:23 - Does infinity exist? 2:04:57 - MathOverflow 2:08:49 - The Continuum Hypothesis 2:18:36 - Hardest problems in mathematics 2:28:03 - Mathematical multiverse 2:46:55 - Surreal numbers 2:57:33 - Conway's Game of Life 2:59:49 - Computability theory 3:09:41 - P vs NP 3:12:58 - Greatest mathematicians in history 3:26:43 - Infinite chess 3:45:01 - Most beautiful idea in mathematics *PODCAST LINKS:*

*SOCIAL LINKS:*

SPEAKERS

  • Lex Fridman

    host
  • Joel David Hamkins

    guest

EPISODE SUMMARY

In this episode of Lex Fridman Podcast, featuring Lex Fridman and Joel David Hamkins, Dr. Joel Hamkins on Lex Fridman: How Cantor broke math explores exploring infinities, paradoxes, and multiverses in modern mathematics Lex Fridman and Joel David Hamkins explore the history, philosophy, and technical core of modern set theory, infinity, and mathematical logic. They trace ideas from ancient Greek notions of potential infinity through Cantor’s revolution, Hilbert’s program, Gödel’s incompleteness theorems, and Turing’s halting problem. Hamkins explains how set theory (especially ZFC) underpins contemporary mathematics, how independence results like the continuum hypothesis reshape our view of truth, and why he advocates a "multiverse" rather than a single universe of sets. Along the way they discuss surreal numbers, infinite chess, the nature of mathematical existence, and the limitations of both human and AI reasoning in mathematics.

RELATED EPISODES

Keoki Jackson: Lockheed Martin | Lex Fridman Podcast #33

Keoki Jackson: Lockheed Martin | Lex Fridman Podcast #33

Elon Musk: Neuralink, AI, Autopilot, and the Pale Blue Dot | Lex Fridman Podcast #49

Elon Musk: Neuralink, AI, Autopilot, and the Pale Blue Dot | Lex Fridman Podcast #49

Grant Sanderson: 3Blue1Brown and the Beauty of Mathematics | Lex Fridman Podcast #64

Grant Sanderson: 3Blue1Brown and the Beauty of Mathematics | Lex Fridman Podcast #64

Rohit Prasad: Amazon Alexa and Conversational AI | Lex Fridman Podcast #57

Rohit Prasad: Amazon Alexa and Conversational AI | Lex Fridman Podcast #57

Gary Marcus: Toward a Hybrid of Deep Learning and Symbolic AI | Lex Fridman Podcast #43

Gary Marcus: Toward a Hybrid of Deep Learning and Symbolic AI | Lex Fridman Podcast #43

Christof Koch: Consciousness | Lex Fridman Podcast #2

Christof Koch: Consciousness | Lex Fridman Podcast #2

Get more out of YouTube videos.

High quality summaries for YouTube videos. Accurate transcripts to search & find moments. Powered by ChatGPT & Claude AI.

Add to Chrome