The Hotel With Infinitely Many Rooms
Imagine a hotel — Hilbert’s Hotel, as mathematician David Hilbert described it. It has infinitely many rooms, numbered 1, 2, 3, 4, … and all are occupied.
A new guest arrives. No problem: every guest is asked to move to the next room. The guest in room 1 goes to room 2, the guest in room 2 goes to room 3, and so on. Room 1 is now free.
Then infinitely many new guests arrive. Again, no problem: all current guests are asked to double their room number. The guest in room 1 goes to room 2, from room 2 to room 4, from room 3 to room 6. All odd-numbered rooms — 1, 3, 5, 7, … — are now free. Infinitely many spaces for infinitely many new guests.
Hilbert’s Hotel shows that infinity does not behave like an ordinary number. It has properties that challenge our intuition. And Georg Cantor showed that this is only the beginning.
Georg Cantor and the Question Nobody Wanted to Ask
In 1873, Georg Cantor writes a letter to his colleague Richard Dedekind with a question that sounds harmless: can the natural numbers (1, 2, 3, …) and the real numbers (all decimal numbers) be matched one-to-one?
Most mathematicians would have set the question aside. Both sets are infinite — what is “equally large” even supposed to mean here?
Cantor turns this into a precise definition. Two sets are equinumerous — have the same cardinality — if there is a bijection between them: an assignment in which every element of one set corresponds to exactly one element of the other, and vice versa.
For finite sets this is intuitive: the sets {a, b, c} and {1, 2, 3} are equinumerous because we can assign a↔1, b↔2, c↔3. For infinite sets, the same principle leads to surprising results.
Surprise 1: The Even Numbers Are “Just as Many” as All Natural Numbers
The even numbers are a subset of the natural numbers — one might think there are “half as many.” Cantor shows: no.
Every natural number n can be assigned exactly the even number 2n:
| Natural numbers | Even numbers |
|---|---|
| 1 | 2 |
| 2 | 4 |
| 3 | 6 |
| 4 | 8 |
| … | … |
Every natural number gets exactly one even number, and every even number appears exactly once. Bijection — same cardinality.
The same holds for the integers (…, -2, -1, 0, 1, 2, …) and for the rational numbers (all fractions p/q). All these sets are countably infinite — Cantor calls their cardinality ℵ₀ (Aleph-null, the first letter of the Hebrew alphabet).
Countably infinite means: the elements can be arranged in an (infinite) list — they can be “counted through,” even if one never finishes.
Cantor’s Shock: The Real Numbers Are Different
In November 1873, Cantor proves something unexpected: the real numbers are not countable. No trick can arrange them into a complete list. They are infinite — but a different, larger infinity.
The first proof was complex. In 1891, Cantor published the elegant version: the diagonal argument.
Assumption: The real numbers between 0 and 1 can be listed completely:
r₁ = 0.a₁₁ a₁₂ a₁₃ a₁₄ ...
r₂ = 0.a₂₁ a₂₂ a₂₃ a₂₄ ...
r₃ = 0.a₃₁ a₃₂ a₃₃ a₃₄ ...
r₄ = 0.a₄₁ a₄₂ a₄₃ a₄₄ ...
...
Cantor now constructs a new number d by altering the diagonal of this list:
- The first decimal place of d differs from a₁₁
- The second decimal place differs from a₂₂
- The third differs from a₃₃
- And so on.
d differs from r₁ at the first place, from r₂ at the second, from r₃ at the third, from rₙ at the n-th place. Therefore: d differs from every number in the list.
But d is a real number between 0 and 1 — it should be in the list. Contradiction. The assumption was false: there is no complete list.
The real numbers are uncountably infinite. Cantor calls their cardinality c (for continuum) or ℵ₁ — provided the Continuum Hypothesis holds.
A Hierarchy of Infinities
Cantor’s theory does not stop here. He shows that there are infinitely many different infinities, ordered in a hierarchy:
And for every set M, the power set of M — the set of all subsets of M — is strictly larger than M itself. For a set with 3 elements, the power set has 2³ = 8 elements. For an infinite set of cardinality ℵ₀, the power set has cardinality 2^ℵ₀ — and this is exactly the cardinality of the real numbers.
Cantor’s proof of this theorem — that the power set is always larger than the original set — applies to every set, finite or infinite. It is one of the deepest and most elegant theorems in mathematics.
The Continuum Hypothesis: The Undecidable Question
Cantor asked a natural follow-up question: is there an infinity between ℵ₀ (natural numbers) and c (real numbers)?
His Continuum Hypothesis states: no. c = ℵ₁ — there is no intermediate level.
Cantor struggled for years to prove or disprove the hypothesis. He failed. And as it turned out, for a deep reason.
1940: Kurt Gödel proves that the Continuum Hypothesis cannot be disproved — no contradiction with the hypothesis can be derived from the standard axioms of set theory (ZFC).
1963: Paul Cohen proves that the Continuum Hypothesis also cannot be proved — it cannot be derived from the same axioms either.
The Continuum Hypothesis is independent of ZFC: adding it as an additional axiom yields a consistent system. Adding its negation also yields a consistent system. Both work.
This is not a defeat for mathematics — it is a profound insight into the limits of formal systems, already foreshadowed by Gödel’s incompleteness theorems (1931).
Resistance, Loneliness, and Legacy
Cantor’s discoveries met with massive resistance — not from amateurs but from the leading mathematicians of his time.
Leopold Kronecker, Cantor’s former teacher and one of the most influential German mathematicians, rejected actual infinities on principle. For him, only what could be constructively described was mathematically legitimate. He called Cantor a “corrupter of youth” and actively blocked his appointments to prestigious universities.
Henri Poincaré called set theory “a disease from which mathematics will one day recover.”
Cantor himself suffered greatly. He was admitted to psychiatric clinics multiple times, struggled with depression, and felt unable to have his work properly recognized. He died in a sanatorium in 1918.
The irony of history: today he is regarded as the founder of modern set theory, a foundation of all mathematics. David Hilbert wrote: “No one shall expel us from the paradise that Cantor has created.”
Infinity in Modern Mathematics
Cantor’s ideas are no longer controversial — they are standard. Every mathematics student encounters bijections, cardinal numbers, and the diagonal argument.
But the philosophical questions remain alive:
Do actual infinities really exist? Mathematicians work as though they do. Physicists are more skeptical — in physics, infinities often appear as a sign that a model has reached its limits (singularities in relativity theory, divergences in quantum field theory).
Can a computer represent infinity? No — computers work with finite representations. The theory of computability, founded by Alan Turing, is closely related to Cantor’s diagonal argument: Turing’s proof that the halting problem is undecidable uses the same diagonalization technique.
What comes after ℵ₀? Set theory knows of large cardinals — hypothetical, enormously large infinities beyond the ZFC axioms. Whether they are consistent is an open research question.
Conclusion: The Paradise Nobody Foresaw
Cantor gave mathematics something unexpected: not just new results, but a new tool for thinking about size, structure, and completeness.
The insight that infinity is not a uniform category — that there are different, clearly distinguishable levels, strictly ordered and mathematically precise — is one of the deepest shifts in the history of human thought.
And Cantor’s diagonal argument remains one of the most beautiful proofs in mathematics: simple enough to sketch on a napkin, deep enough to shake the foundations of logic.
Related topics: Set theory, Gödel’s incompleteness theorems, computability theory, cardinal numbers
Frequently asked
Are there different kinds of infinity?
Yes — this is one of the most surprising discoveries in mathematics. Georg Cantor proved in the 19th century that the set of real numbers is 'larger' than the set of natural numbers, even though both are infinite. He developed the concept of the cardinal number for this: two sets have the same size if their elements can be matched one-to-one. The natural numbers are called countably infinite; the real numbers are uncountably infinite.
What is Cantor's diagonal argument?
Cantor's most elegant proof shows that the real numbers are not countable. Assumption: all real numbers between 0 and 1 can be written in a list. Cantor then constructs a new number by changing the first decimal place of the first number, the second of the second, the third of the third, and so on. This new number differs from every number in the list at at least one position — so it cannot be in the list. Contradiction. The assumption was false.
What is the Continuum Hypothesis?
The Continuum Hypothesis asks: is there an infinity 'between' the natural numbers and the real numbers? Cantor conjectured: no. Kurt Gödel showed in 1940 that the hypothesis cannot be disproved, and Paul Cohen showed in 1963 that it also cannot be proved — both within the standard axioms of set theory. The question is therefore undecidable: neither true nor false, but independent of the system.
How did Cantor's peers react to his discoveries?
With fierce resistance. Henri Poincaré called Cantor's set theory a 'disease.' Leopold Kronecker, his former teacher, called him a 'corrupter of youth' and actively blocked Cantor's appointments to prestigious universities. Cantor suffered severely — he was admitted to psychiatric clinics multiple times and struggled with depression. Today he is considered one of the greatest mathematicians of all time; Hilbert wrote that no one should be able to drive us from the paradise that Cantor created.