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

Quick Overview

Joel David Hamkins explains that Cantor's discovery that some infinities are larger than others revolutionized mathematics by introducing the concept of uncountable sets, moving beyond the potential infinity favored since Aristotle and resolving the tension between the Cantor-Hume principle (one-to-one correspondence defines size) and Euclid's principle (the whole is greater than the part).

Key Points: Cantor's proof that the set of real numbers is uncountable demonstrated that there is strictly more than one size of infinity, shattering previous mathematical orthodoxy. Galileo observed that the perfect squares can be put into one-to-one correspondence with all natural numbers, troubling him because it violated the idea that the whole (all numbers) must be greater than the part (squares). Hilbert's Hotel illustrates countable infinity: even when full, one can accommodate new guests by moving current occupants (e.g., Room N moves to Room 2N), showing that adding an element does not make the set larger. The union of two countably infinite sets, like the current hotel occupants and the infinite number of passengers on Hilbert's bus, remains countable, proven by mapping coordinates (Car C, Seat S) to an odd number via $3^C \times 5^S$. The rational numbers, despite being densely ordered unlike the discrete integers, are still countable because every fraction $P/Q$ can be mapped using the same prime factorization trick applied to pairs of integers. Cantor's general proof shows that for any set X, its power set (the set of all subsets) is strictly larger, using a diagonalization argument based on defining a set D of elements not in their associated set. ZFC (Zermelo-Fraenkel set theory with the Axiom of Choice) became the foundation of modern mathematics, developed partially in response to paradoxes and the need to formalize arguments like Zermelo's proof of the well-order principle.

Context: The conversation features Lex Fridman interviewing Joel David Hamkins, a mathematician and philosopher specializing in set theory and infinity, who is noted as the highest-rated user on MathOverflow. The discussion centers on the profound historical and philosophical impact of Georg Cantor's work at the end of the 19th century, specifically the demonstration that different sizes of infinity exist, which caused significant controversy, including a 'mathematical civil war' and personal distress for Cantor.