# How big is infinity? - Mathematician explains | Joel David Hamkins and Lex Fridman Source: https://www.youtube.com/watch?v=pWicHU7MzV8 Recap page: https://rapidrecap.app/video/pWicHU7MzV8 Generated: 2026-01-03T13:06:54.639+00:00 --- ## Quick Overview Georg Cantor's discovery that some infinities are strictly larger than others, proven by demonstrating the real numbers are uncountable via a diagonal argument, fundamentally broke mathematics by challenging the theological association of infinity with God and causing a mathematical civil war, while the concept of countable infinity is illustrated by Hilbert's Hotel, where adding elements or even another countably infinite set does not increase the total size. **Key Points:** - Cantor's finding that some infinities are larger than others created a theological crisis and a mathematical civil war, leading critics like Kronecker to call Cantor a "corruptor of youth". - Galileo observed that perfect squares can be put into one-to-one correspondence with all natural numbers, troubling him because it violated Euclid's principle that the whole is always greater than the part. - The contemporary view accepts the Cantor-Hume principle: two collections are equinumerous if and only if there is a one-to-one correspondence between them, resolving Galileo's paradox. - Hilbert's Hotel, a fully occupied hotel with rooms numbered by natural numbers, demonstrates countable infinity by accommodating a new guest by moving everyone from room N to room N+1, thus violating Euclid's principle. - When an infinite bus arrives at Hilbert's Hotel, the manager accommodates everyone by moving current guests from room N to room 2*N (even rooms), freeing up all odd rooms for the bus occupants, proving the union of two countably infinite sets is still countable. - Cantor proved the set of real numbers is uncountable by assuming a list of all real numbers exists and then constructing a new real number Z using a diagonal argument whose nth digit differs from the nth digit of the nth number on the list, ensuring Z is not on the list. - The rational numbers, despite being densely ordered, are still only a countable infinity because every fraction is defined by two integers (numerator and denominator), allowing a mapping similar to Hilbert's train problem using prime factorization (3^p * 5^q). **Context:** The discussion between Joel David Hamkins and Lex Fridman centers on the profound mathematical discovery by Georg Cantor that not all infinities are the same size, a concept that was highly controversial when first introduced. The conversation traces the history of infinity from Aristotle's potential infinity to Galileo's paradoxes concerning infinite sets, culminating in Cantor's definitive proof of different sizes of infinity, using countable infinity exemplified by Hilbert's Hotel as a bridge to understanding uncountability. ## Detailed Analysis The concept of infinity evolved from Aristotle's potentialism to Cantor's actual infinities, a shift that caused major upheaval, including a theological crisis and mathematical disputes, partly because Cantor himself suffered a mental breakdown obsessed with proving the continuum hypothesis. Galileo's paradox illustrated the tension between the whole being greater than the part (Euclid's principle) and the idea that sets with one-to-one correspondences have the same size (Cantor-Hume principle), as shown when comparing the set of natural numbers to the set of perfect squares, or line segments of different lengths. Countable infinity, the size of the natural numbers, is demonstrated by Hilbert's Hotel: when a new guest arrives, everyone moves from room N to N+1, freeing room 0, and when an infinite bus arrives, guests move from N to 2N, freeing all odd rooms for the new arrivals. This confirms that the union of two countably infinite sets is still countable. Furthermore, the rational numbers, though dense, are also countable because they can be mapped using pairs of integers (numerator/denominator) via a formula like 3^p * 5^q. Cantor's greatest achievement was proving the real numbers are strictly larger than the natural numbers (uncountable) using the diagonal argument: assuming a list of all real numbers R_n exists, Cantor constructs a number Z by ensuring its nth decimal digit is different from the nth digit of R_n, which guarantees Z is not on the list, thereby contradicting the initial assumption. ### Historical Context of Infinity - Aristotle emphasized potential infinity over actual infinity - Galileo observed paradoxes like equating natural numbers and perfect squares via one-to-one correspondence - Cantor's work caused theological and mathematical crises. ### Countable Infinity and Hilbert's Hotel - Countable means equinumerous with natural numbers or fitting into Hilbert's Hotel - Adding one guest requires moving N to N+1 - Adding an infinite bus requires moving N to 2N, freeing odd rooms for new guests. ### Mapping Countable Sets - Rational numbers (fractions p/q) are countable because they rely on pairs of integers (p, q) - The mapping uses unique prime factorization: 3^p * 5^q to ensure distinctness for every fraction. ### Cantor's Diagonal Argument for Uncountability - The real numbers are strictly larger than the natural numbers - Assumes a complete list of real numbers R_n exists - Constructs a new real number Z whose nth digit differs from the nth digit of R_n, proving Z is missing from the list, thus showing the initial list was incomplete.