31 Dec 2025

#488 – Infinity, Paradoxes that Broke Mathematics, Gödel Incompleteness & the Multiverse – Joel David Hamkins

Lex Fridman Podcast

In this episode of the Lex Fridman Podcast, Lex interviews Joel David Hamkins, a mathematician and philosopher specializing in set theory and the nature of infinity. They delve into Cantor's work on infinity, the development of set theory, and the implications of Gödel's incompleteness theorems. Hamkins explains complex concepts like Hilbert's Hotel, the uncountability of real numbers, and the axiom of choice, often using relatable analogies. They further discuss the philosophical implications of these mathematical ideas, including the nature of mathematical truth, the existence of mathematical objects, structuralism, and the set-theoretic multiverse. The conversation also touches on infinite chess, the surreal number system, and the role of AI in mathematical research, with Hamkins sharing personal anecdotes and insights from his career.

Outlines

Part 1: Introduction and Sponsorships

Part 2: Cantor, Infinity, and Hilbert's Hotel

Part 3: Real Numbers and Set Theory Foundations

Part 4: Paradoxes, Logicism, and Incompleteness

Part 5: Computability and the Halting Problem

Part 6: The Art of Proof and Mathematical Reality

Part 7: Math Overflow and the Continuum Hypothesis

Part 8: Forcing and the Set-Theoretic Multiverse

Part 9: Surreal Numbers, Complexity, and Greatness

Continue

Preview

How to Get Rich: Every EpisodeNaval

#488 – Infinity, Paradoxes that Broke Mathematics, Gödel Incompleteness & the Multiverse – Joel David Hamkins

Lex Fridman Podcast

Part 1: Introduction and Sponsorships

00:00Introduction to Joel David Hamkins and the Nature of Infinity

Introduction to Joel David Hamkins and the Nature of Infinity

01:57Podcast Sponsors and Gratitude

Podcast Sponsors and Gratitude

03:36FIN Customer Service AI Agent

FIN Customer Service AI Agent

05:12Miro Collaborative Platform

Miro Collaborative Platform

07:03CodeRabbit AI-Powered Code Reviews

CodeRabbit AI-Powered Code Reviews

08:19Chevron and the Growing Demand for Energy

Chevron and the Growing Demand for Energy

09:54Shopify and the Engineering Behind Online Sales

Shopify and the Engineering Behind Online Sales

11:31Element Electrolyte Mix and Masterclass

Element Electrolyte Mix and Masterclass

13:05Masterclass Continued and Podcast Outro

Masterclass Continued and Podcast Outro

Part 2: Cantor, Infinity, and Hilbert's Hotel

15:18Introduction to Cantor's Idea of Infinity

Introduction to Cantor's Idea of Infinity

17:00Historical Perspectives on Infinity

Historical Perspectives on Infinity

21:45Cantor's Resolution and Hilbert's Hotel

Cantor's Resolution and Hilbert's Hotel

23:04Hilbert's Hotel: Accommodating Infinity

Hilbert's Hotel: Accommodating Infinity

25:22Hilbert's Hotel: Accommodating More Infinities

Hilbert's Hotel: Accommodating More Infinities

27:10Hilbert's Hotel: Accommodating a Train of Infinities

Hilbert's Hotel: Accommodating a Train of Infinities

31:04Intuition About Countable Infinity

Intuition About Countable Infinity

32:33Visualizing Countable Infinity with the Integer Lattice

Visualizing Countable Infinity with the Integer Lattice

Part 3: Real Numbers and Set Theory Foundations

35:00Rational Numbers and the Uncountable

Rational Numbers and the Uncountable

37:02Real Numbers, Algebraic Numbers, and Transcendental Numbers

Real Numbers, Algebraic Numbers, and Transcendental Numbers

39:30Every Number is Interesting

Every Number is Interesting

41:14Cantor's Diagonal Argument: Uncountability of Real Numbers

Cantor's Diagonal Argument: Uncountability of Real Numbers

45:05Set Theory as the Foundation of Mathematics

Set Theory as the Foundation of Mathematics

48:05Set Theory's Two Roles and the Axiom of Choice

Set Theory's Two Roles and the Axiom of Choice

51:36Russell's Description of the Axiom of Choice

Russell's Description of the Axiom of Choice

53:34Constructive Nature of the Axiom of Choice

Constructive Nature of the Axiom of Choice

57:13Axioms Underlying ZFC

Axioms Underlying ZFC

Part 4: Paradoxes, Logicism, and Incompleteness

1:02:08Consistency in Set Theory and Russell's Paradox

Consistency in Set Theory and Russell's Paradox

1:03:06Cantor's Theorem and Russell's Paradox

Cantor's Theorem and Russell's Paradox

1:11:14Frege's Logicism and Russell's Devastating Letter

Frege's Logicism and Russell's Devastating Letter

1:14:17The Legacy of Logicism and Set-Theoretic Foundationalism

The Legacy of Logicism and Set-Theoretic Foundationalism

1:15:58Gödel's Incompleteness Theorems and Hilbert's Program

Gödel's Incompleteness Theorems and Hilbert's Program

1:17:26Hilbert's Formalism and the Goals of the Hilbert Program

Hilbert's Formalism and the Goals of the Hilbert Program

1:21:53Finitary Theories and Piano Arithmetic

Finitary Theories and Piano Arithmetic

1:25:23The Nature of Mathematics in Hilbert's World

The Nature of Mathematics in Hilbert's World

1:27:31The Failure of Hilbert's Program and the Nature of Mathematical Reality

The Failure of Hilbert's Program and the Nature of Mathematical Reality

1:29:52Gödel's Incompleteness Theorems

Gödel's Incompleteness Theorems

Part 5: Computability and the Halting Problem

1:31:21Theory, Axiomatic Systems, and the Halting Problem