- Quanta's visual explainer makes Cantor's diagonal proof feel like a discovery.
- The real numbers are a provably larger infinity than the natural numbers.
- Cantor's power set theorem generates an endless hierarchy of infinities.
Georg Cantor spent years trying to convince nineteenth-century mathematicians that there are different sizes of infinity. Most of them thought he had lost his mind.
Quanta Magazine's new visual explainer, by Mark Belan and Jordana Cepelewicz, offers what Cantor never could. It lets you watch the proof unfold in front of you.
The article opens the "Evolving Foundations of Math" series. It does something notably hard well: it makes the diagonal argument feel like a discovery you are making rather than a result being handed to you.
Georg Cantor around 1870, approximately 25 years old. Cantor was important for the development of set theory, and realized that there are different sizes of infinity. Image source: Wikipedia
What is countable infinity?
A set is "countably infinite" if you can assign a natural number (1, 2, 3...) to each element without repeating. The even numbers are countable. So are the fractions. Cantor's insight was that the real numbers are not.
The Proof That Fits on a Napkin
The centerpiece is Cantor's 1891 diagonal argument. Suppose you claim to have a complete list of every decimal between zero and one.
Walk the diagonal: take the first digit of the first number, the second digit of the second, and so on. Change every digit.
The number you have built cannot appear anywhere on your list. It differs from every entry in at least one position.
That is the whole proof.
The list is always incomplete, no matter how you arrange it. The real numbers are, in a precise and provable sense, a larger infinity than the natural numbers.
Quanta's interactive format lets readers construct this argument step by step. Anyone who has bounced off textbook versions may find, with some satisfaction, that they can follow it here. The format earns its ambition.
No one shall expel us from the paradise that Cantor has created for us.
David Hilbert, "On the Infinite" (1925)
The quote (also used in Quanta's article) comes from Hilbert's 1925 lecture "On the Infinite", delivered four decades after Cantor's work first drew fire. Leopold Kronecker, who had wielded editorial power in Berlin and reportedly called Cantor a "corrupter of youth," was long dead by then.
Hilbert's target was L.E.J. Brouwer, whose intuitionist movement sought to restrict what mathematics could legitimately do with the infinite. The paradise line was not nostalgia. It was a battle cry.
The Staircase Goes Further Than Two
The explainer establishes two sizes of infinity: the countable and the uncountable. Readers on Hacker News noted, fairly, that the title promises "many sizes" while the article delivers two.
The full picture reaches further than the article suggests. Think of Cantor's result as the first landing on an endless staircase.
His own power set theorem, also from 1891, proves that for any infinite set you can always construct a strictly larger one. Take the set of all subsets of the natural numbers. You get an infinity bigger than aleph-null. Take the set of all subsets of that, and you get another.
The staircase climbs without end.
Key figure
1891
The year Cantor published the power set theorem, proving that every infinite set generates a strictly larger one, an infinite hierarchy with no ceiling
This hierarchy is where the story turns unexpectedly philosophical. Cantor conjectured that no intermediate infinity exists between the countable and the uncountable. This became the continuum hypothesis, listed as Problem Number 1 when Hilbert presented his famous challenges in 1900.
It took six decades to reach an answer, and the answer was itself a surprise. Kurt Godel showed in 1940 that the hypothesis cannot be disproved from the standard axioms of set theory. Paul Cohen demonstrated in 1963 that it cannot be proved either.
The question is, in a precise technical sense, undecidable.
Contemporary set theorists, including Hugh Woodin at Harvard, continue investigating whether additional axioms might settle it. A minority philosophical tradition, the finitists, rejects the entire framework of completed infinities. Cantor's paradise, as Hilbert called it, remains contested territory at its edges.
The Man Who May Have Got There First
A companion investigative piece in the same Quanta series adds a striking human dimension.
Cantor's 1874 paper, the one that first established different sizes of infinity, appears to have drawn substantially on unpublished work by Richard Dedekind. Recovered correspondence between the two men shows Dedekind developing key elements of the proof independently.
Joel David Hamkins, the O'Hara Professor of Logic at Notre Dame, put it with characteristic directness: "Dedekind was probably the greater mathematician."
The standard history of set theory has long centered on Cantor alone. The Quanta investigation, drawing on newly surfaced letters, complicates that narrative in ways that feel quietly overdue.
Where the Series Goes Next
The explainer is the first of eight pieces across four chapters. The series runs through July, timed to conclude at the International Congress of Mathematicians in Philadelphia.
If later installments match the first piece's ambition, the series could become the strongest popular treatment of mathematical foundations in years.
The diagonal argument alone is worth the visit. The proof is 135 years old. Seeing it work, rather than just reading about it, still produces a small shock of recognition.
And, for readers who are new to the wonders of endless numbers, perhaps an infinity of suprises.
Sources
- Primary Source: How Can Infinity Come in Many Sizes? (Quanta Magazine, 2026)
- Additional Context:
- The Man Who Stole Infinity (Quanta Magazine, 2026)
- New Series from Quanta Magazine Explores the Infinite Evolution of Math (Simons Foundation, 2026)
- How Can Some Infinities Be Bigger Than Others? (Quanta Magazine, 2023)
Fact Check: Claim-by-Claim Verification Verified
All 16 factual claims verified across mathematics history, institutional affiliations, and series details. No corrections needed.
Commentary
- The Cantor-Dedekind relationship is described conservatively. The companion Quanta piece suggests Dedekind's contributions to the 1874 paper were more direct than "drew substantially on" implies, but the article's characterization is not factually wrong.
- Kronecker's "corrupter of youth" quote is widely cited in secondary sources; the exact primary source is debated among historians of mathematics.
Sources used for verification
Academic/Peer-reviewed:
- Cantor's diagonal argument - wikipedia.org
- Continuum hypothesis - wikipedia.org
- Georg Cantor - wikipedia.org
- Brouwer-Hilbert controversy - wikipedia.org
Other reliable sources:
- Hilbert's On the Infinite - jamesrmeyer.com
- Simons Foundation announcement - simonsfoundation.org
- The Man Who Stole Infinity - quantamagazine.org
Fact-checked by Perplexity Sonar Pro on 2026-03-15
