Imagine a hotel with infinitely many rooms — room 1, room 2, room 3, and so on without end — and every single one of them occupied. A traveller arrives at midnight, exhausted. Any ordinary receptionist would turn them away, but this one simply picks up the tannoy: would the guest in room 1 kindly move to room 2, the guest in room 2 to room 3, and in general the guest in room n to room n plus 1. Every guest still has a room; no one is thrown out; and room 1 now stands empty. The hotel was completely full, and it still had room for one more.
The thought experiment is known as Hilbert's Hotel, after the German mathematician David Hilbert, who used it in a lecture at Göttingen in 1924 to dramatise the strangeness of the infinite. It reached the wider world through the physicist George Gamow's 1947 popular classic One Two Three... Infinity, and it has been unsettling first-year students ever since. Because the receptionist is only warming up. When a coach arrives carrying infinitely many new guests, the tannoy crackles again: every current guest moves to double their room number — room 1 to room 2, room 2 to room 4, room 3 to room 6. The sitting guests now occupy only the even-numbered rooms, and infinitely many odd-numbered rooms lie vacant for the newcomers. Even an infinite convoy of infinite coaches can be housed with a cleverer scheme, zigzagging through the passenger lists so that every traveller gets a definite room number. Full, in Hilbert's Hotel, never means no vacancies.
Cantor's dangerous idea
The mathematics being dramatised belongs to Georg Cantor, who in the 1870s and 1880s did something both simple and revolutionary: he took infinity seriously as an object of arithmetic. His key move was to say that two collections are the same size if their members can be paired off exactly, one to one, with none left over. By that standard the whole numbers and the even numbers are the same size — pair each n with 2n — even though one collection seems to contain only half the other. That is precisely the hotel's room-doubling trick, and it is the defining signature of the infinite: an infinite collection can be matched perfectly with a mere part of itself. Cantor called the size of the counting numbers aleph-null, borrowing the first letter of the Hebrew alphabet, and any collection that can be paired off with the counting numbers — the fractions included, surprisingly — is called countable. Countable infinity is exactly the size of Hilbert's guest register.
Then came the thunderclap. In 1874, and again with a more famous argument in 1891, Cantor proved that the real numbers — all the points on a continuous line — cannot be paired off with the counting numbers. The 1891 proof, the celebrated diagonal argument, is short enough to sketch at the bar: suppose someone hands you a complete numbered list of all infinite decimals; build a new decimal by going down the diagonal and changing the first digit of the first entry, the second digit of the second, and so on. The result differs from every entry on the list in at least one place, so the list was never complete. No list can be. The infinity of the continuum is strictly bigger than the infinity of the counting numbers: some infinities outsize others, and in fact Cantor showed the tower of ever-larger infinities climbs without end. A coach party indexed by the real numbers would defeat Hilbert's receptionist entirely.
Contemporaries were not grateful. Leopold Kronecker, a powerful Berlin professor, attacked Cantor's work and reportedly branded him a corrupter of youth; the philosopher Wittgenstein later dismissed such reasoning, and some theologians bristled at arithmetic being performed on the infinite. Cantor, who suffered repeated breakdowns in his later years, died in a sanatorium in Halle in 1918. He also left mathematics its most famous unfinished question, the continuum hypothesis: is there any infinity strictly between the counting numbers and the continuum? Hilbert placed it first on his celebrated list of twenty-three problems in 1900. The eventual answer, delivered in two instalments by Kurt Gödel in the 1930s and Paul Cohen in 1963, was the strangest possible: the standard axioms of mathematics can never settle it either way.
Paradise, defended
Hilbert, for his part, never wavered. "No one shall expel us from the paradise that Cantor has created," he declared in 1926, and the paradise held: Cantor's set theory became the accepted foundation on which modern mathematics is built. The hotel, meanwhile, escaped into general culture — philosophers argue over whether an actually infinite hotel could exist, cosmologists reach for it when discussing infinite universes, and generations of maths teachers rely on it as the gentlest available door into the transfinite. It endures because it makes a rigorous theorem feel like a joke with a perfect punchline. Every room is taken, and the light in the lobby still says vacancies — in Cantor's paradise, both signs tell the truth.
Quiz nuggets
- Hilbert's Hotel is named after David Hilbert, who introduced the fully occupied infinite hotel in a 1924 Göttingen lecture; George Gamow's 1947 book One Two Three... Infinity popularised it.
- Georg Cantor's diagonal argument of 1891 proved the real numbers are uncountable — a strictly bigger infinity than the counting numbers.
- Cantor named the size of the counting numbers aleph-null, using the first letter of the Hebrew alphabet.
- The continuum hypothesis was first on Hilbert's list of twenty-three problems in 1900; Gödel and Cohen showed the standard axioms can never decide it.
- Hilbert's 1926 rallying cry: "No one shall expel us from the paradise that Cantor has created."