Lex Fridman Podcast

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

with Joel David Hamkins
1 Jan 2026 18 min read 2h 5m
TL;DR

Cantor's discovery that infinities come in different sizes—proved through his diagonal argument—broke classical mathematics but rebuilt it on set theory. This breakthrough resolved paradoxes like Russell's, created modern mathematical logic, and revealed that most real numbers are transcendental rather than algebraic, reshaping our understanding of truth itself.

Key Moments
Joel David Hamkins
“And Galileo observed that, that the perfect squares can be put into a one-to-one correspondence with all of the numbers. I mean, we just did it. I associated every number with its square. And so it seems like on the basis of this one-to-one correspondence that there should be exactly the same number of squares, perfect squares as there are numbers, and yet there's all the gaps in between the perfect squares, right?”
Explaining the Galileo paradox that troubled mathematicians for centuries—how infinite sets could match perfectly yet seem unequal
▶ 5:33
Joel David Hamkins
“The person in room five would move to room six, and the person in room six would move to room seven and so on. And everyone moved at the same time. And of course, we never want to be placing two different guests in the same room, and we want everyone to have their own private room and... But when you move everyone up one room, then the bottom room, room zero, becomes available, of course.”
Describing Hilbert's Hotel thought experiment to illustrate how a countably infinite hotel can accommodate one more guest
▶ 10:51
Joel David Hamkins
“But that's a contradiction, because the smallest uninteresting number is a super interesting property to have. So therefore there cannot be any boring numbers.”
Playfully proving that every natural number is interesting through proof by contradiction
▶ 27:13
Joel David Hamkins
“And what I'm going to make sure is that the Nth digit after the decimal point of Z is different from the Nth digit of the Nth number on the list. Okay? So, to specify the Nth digit of Z, I go to the Nth number on the list, R sub N, and I look at its Nth digit after the decimal point. And whatever that digit is, I make sure that my digit is different from it.”
Explaining Cantor's diagonal argument, which proves the real numbers are uncountable by constructing a number not on any purported list
▶ 29:40
Joel David Hamkins
“And this diagonalization idea has proved to be an extremely fruitful proof method, and almost every major result in mathematical logic is using in an abstract way the idea of diagonalization. It was really the start of so many other observations that were made, including Russell's paradox and the halting problem and the recursion theorem, and so many other principles are using diagonalization at their core.”
Reflecting on how Cantor's diagonal argument became foundational for entire fields of modern mathematics
▶ 33:26
About Joel David Hamkins
›
Joel David Hamkins is a mathematician and philosopher specializing in set theory, the foundation of mathematics, and the nature of infinity. He is the #1 highest-rated user on MathOverflow and has authored several books including *Proof and the Art of Mathematics* and *Lectures on the Philosophy of Mathematics*. His work explores fundamental paradoxes that transformed modern mathematics in the 20th century.
Takeaways
1
Cantor's diagonal proves uncountable infinities exist By constructing a real number that differs from every entry in any purported list of all real numbers, Cantor proved the reals are strictly larger than the natural numbers. This demolished the assumption that all infinities are equal and forced mathematics to distinguish between countable and uncountable infinities, laying groundwork for modern logic and computability theory.
2
Countable infinities collapse under union operations Hilbert's Hotel illustrates that countably infinite sets remain countable even when infinitely many of them are combined—a shocking violation of Euclid's principle that the whole exceeds the part. This property enabled mathematicians to handle infinite unions rigorously and became crucial for topology, analysis, and foundations.
3
Set theory unified mathematics through abstraction After paradoxes like Russell's threatened inconsistency, set theory provided a formal foundation where any mathematical object—from numbers to functions to geometries—could be constructed from sets. This axiomatization (ZFC) gave mathematics unprecedented rigor and enabled Gödel, Turing, and others to create mathematical logic as a field, fundamentally changing how we reason about truth and computation.