Hilbert's Grand Hotel

Is it actually a paradox? In the strict sense, no, and the site's classification says so: nothing contradictory is derived. Every step is consistent, and the arithmetic of countable sets is as solid as arithmetic gets. What the hotel really demonstrates is that a word from finite experience — "full" — carries a second meaning that quietly falls off when you go infinite. The paradox is in the vocabulary, not the mathematics.

The metaphysical argument. The hotel does serious work outside mathematics. Philosophers who deny that an actual infinity of things could exist in the physical world — most prominently William Lane Craig, in defending the kalām cosmological argument — use Hilbert's hotel as their central exhibit. The argument runs: if an actual infinite could be instantiated in reality, a hotel like this could exist; a hotel like this is absurd; therefore no actual infinite can be instantiated; therefore the past cannot be infinite; therefore the universe began.

The reply. Critics, including Graham Oppy and Wes Morriston, generally accept the mathematics and reject the second premise. "Absurd", they argue, has been smuggled in: the hotel is unfamiliar, and it violates expectations formed entirely on finite collections, but nothing about it is incoherent. Every supposed absurdity in the story turns out to be a place where a finite intuition was applied outside its range. Whether that reply succeeds is a live philosophical dispute; the mathematics is not in dispute by either side.

Could it be built? Not in this universe, and for reasons that have nothing to do with the paradox. An infinite hotel would contain infinite mass in a region where general relativity would have collapsed it long before, and the corridors would be longer than any signal could traverse. The interesting question is whether physical impossibility tells you anything about metaphysical possibility. Most participants agree it does not settle it either way.

Where the story is usually told badly. Two failures are common. The first is stopping before the coach that gets turned away, which leaves the impression that infinity absorbs anything — the opposite of Cantor's actual result. The second is "infinity minus infinity", which retellings sometimes present as a further marvel rather than as an operation that is simply undefined.

Before Hilbert. The mathematics predates the story entirely. Galileo stated the underlying phenomenon in 1638, Bolzano catalogued it in 1851, Dedekind turned it into the definition of an infinite set in 1888, and Cantor built the theory of cardinal numbers in the 1870s and 1880s. By 1900 all of the mathematics in the hotel was standard.

1924–25. Hilbert lectured on the infinite at Göttingen. The hotel appears in these lectures as an illustration for a general audience. Hilbert never published it: the lecture notes circulated informally, and the material was only made widely available much later, in the Springer edition of Hilbert's lectures on the foundations of arithmetic and logic edited by William Ewald and Wilfried Sieg (2013).

4 June 1925. Hilbert delivered the address "Über das Unendliche" in Münster, in memory of Weierstrass. The published version appeared in Mathematische Annalen in 1926 and is the source of his famous line that "no one shall expel us from the paradise that Cantor has created". The hotel is not in it. The paper argues that the infinite is nowhere realised in physical nature and that its role in mathematics is that of an ideal element — an argument of a piece with the hotel, but not the story itself.

1947. George Gamow published One Two Three... Infinity. Its opening chapter retells the hotel, and Gamow attributes it — with a straight face — to "the unpublished, and even never written, but widely circulating volume: The Complete Collection of Hilbert Stories". The book was a bestseller, went through countless printings, and is why the hotel is known to people who have never heard of Hilbert. Almost every subsequent retelling descends from Gamow's, not from Hilbert's lectures.

Since. The hotel is now the standard first example of countable infinity in essentially every textbook, popular treatment and classroom that touches the subject.

It makes an abstract definition concrete. "A set is infinite when it can be put in one-to-one correspondence with a proper subset of itself" is a sentence most people cannot hold in their heads. "The hotel is full, and there is still a room" is a sentence nobody forgets. The two say the same thing. Very few pieces of mathematical exposition achieve that.

It isolates exactly one false intuition. The hotel does not ask you to abandon logic or accept anything on faith. It identifies a single assumption — that "full" implies "no room for another" — shows where that assumption came from, and shows precisely where it stops applying. That is what a good counterexample does.

It is load-bearing in real proofs. The shift is not only a teaching device. Absorbing a countable exceptional set by rotating everything along one place is a standard move in analysis, in measure theory, and most famously in the Banach–Tarski construction, where a countable set of awkward fixed points on the sphere is removed by exactly the manager's manoeuvre.

It sets up the result that matters more. The hotel's real payload is the coach it cannot take. Having watched infinity swallow arrival after arrival, a reader is properly astonished when something finally does not fit — which is the right emotional preparation for Cantor's theorem, and a far better one than meeting the diagonal argument cold.

Dovetailing. The wave schedule for infinitely many infinite coaches is a real algorithm, and computer scientists call it dovetailing. To run infinitely many non-terminating computations "at once", give each a slice of time in the wave pattern: every computation makes progress, and any particular step of any particular computation is reached after finitely long. It is how a search over an infinite space of programs is organised, and how the enumerability of the recursively enumerable sets is established.

Pairing functions. Turning a pair of numbers into a single number, and back, is the coach-and-seat scheme in code. The Cantor pairing function does it in closed form, and variants appear wherever a two-dimensional index must be flattened into one — sparse matrix storage, hash key composition, serialising nested structures.

Lazy and infinite data structures. Functional languages allow lists with no end. Prepending an element to an infinite list is the single-guest shift, and it costs nothing, for the same reason.

Gödel numbering. Assigning a unique number to every formula, proof or program relies on the fact that finite strings over a finite alphabet form a countable set and so can be checked into the hotel. Gödel's and Turing's theorems both begin with that check-in.

Teaching. The hotel remains the most effective introduction to countability anywhere, and appears in curricula from primary school enrichment to first-year university analysis — usually still in something close to Gamow's telling.