Infinity, Paradoxes, Gödel Incompleteness & the Mathematical Multiverse | Lex Fridman Podcast #488

TL;DR

Mathematician Joel David Hamkins explains how Cantor's proof that some infinities are larger than others demolished classical math and forced an entirely new foundation.

Key Points

• 1.Aristotle and nearly all mathematicians before Cantor believed only "potential" infinity existed — an actual completed infinity was considered incoherent for thousands of years.
• 2.Galileo noticed perfect squares can be matched one-to-one with all natural numbers, yet squares are a subset — this tension between Cantor-Hume's principle (equal one-to-one correspondence = equal size) and Euclid's principle (whole > part) went unresolved until Cantor.
• 3.Hilbert's Hotel illustrates countable infinity: a fully occupied infinite hotel can always accommodate one more guest by shifting every occupant up one room.
• 4.An infinite bus of new guests fits into a full Hilbert's Hotel by moving current guests to even-numbered rooms (room N → room 2N), freeing all odd rooms for newcomers.
• 5.An infinite train with infinitely many cars, each with infinitely many seats, still fits into Hilbert's Hotel using the formula 3^C × 5^S — guaranteed unique and odd via prime factorization uniqueness.
• 6.Cantor's diagonal argument: assume all real numbers are listed; construct number Z by making its Nth digit differ from the Nth digit of the Nth number. Z is not on the list — contradiction. The reals are uncountable.
• 7.To avoid the "0.999… = 1.000…" edge case, Cantor's diagonal construction deliberately avoids using digits 0 or 9, ensuring every constructed number has a unique decimal representation.
• 8.Rational numbers (fractions), despite being densely ordered with another fraction always between any two, are still only countably infinite — proven by the same 3^P × 5^Q prime encoding trick.
• 9.Cantor's general power set theorem: for ANY set, the number of its subsets (power set) is strictly larger than the set itself — proven by the "Diana paradox" diagonal argument about people not being members of their own assigned committee.
• 10.ZFC (Zermelo-Fraenkel set theory + Axiom of Choice) is the standard axiomatic foundation of modern mathematics, built from ~10 axioms including Extensionality, Power Set, Infinity, and Replacement.
• 11.The Axiom of Choice states: given any collection of non-empty sets, a function exists that picks one element from each — uncontroversial for shoes (always pick the left), but philosophically murky for indistinguishable socks.
• 12.Zermelo's 1904 proof that the Axiom of Choice implies the Well-Ordering Principle was so controversial that mathematicians who publicly attacked it were later found to have quietly used the Axiom of Choice in their own proofs.
• 13.Consistency in axiomatic systems means no contradiction can be derived from the axioms; later results by Gödel and Cohen showed the Axiom of Choice cannot itself be the source of any inconsistency in set theory.
• 14.Diagonalization — the core technique in Cantor's proof — became the foundational method behind Russell's Paradox, Gödel's Incompleteness Theorems, Turing's Halting Problem, and the Recursion Theorem.
• 15.Proof that every natural number is "interesting": if any boring numbers existed, there would be a smallest boring number — but being the smallest boring number is itself interesting, a contradiction.