Hilbert's Infinite Hotel

• Hilbert's Infinite Hotel is a thought experiment that illustrates how a fully occupied countably infinite set can always accommodate additional elements via rearrangement.
• The hotel scheme employs bijective mappings, such as f(n)=n+1 and f(n)=2n, to reassign guests and maintain the same cardinality even when new guests arrive.
• This concept has practical implications across mathematics, physics, and philosophy, inspiring experimental optical realizations and debates on the nature of infinity.

Hilbert's Infinite Hotel (commonly called "Hilbert's Hotel") is a canonical thought experiment in the mathematics of the actual infinite, devised to illustrate the counter-intuitive properties of countable infinity in set theory. In visualization, it is an imaginary hotel with countably infinite rooms, all occupied, but always able to accommodate more guests by coordination and relabeling. The paradox sharpens the distinction between finite and infinite sets and reveals the structure of transfinite cardinal arithmetic foundational to modern set theory and topology. Hilbert's Hotel has acquired conceptual significance far beyond mathematics, influencing cosmology, philosophy, theology, and even experimental quantum optics.

1. Historical Origin and Authorship

The Infinite Hotel example originates in a semi-popular lecture series delivered by David Hilbert at Göttingen in the winter semester 1924–1925. These lectures, entitled “the infinite in mathematics, physics, and astronomy,” were transcribed by Lothar Nordheim but not published during Hilbert's lifetime. Hilbert developed the hotel as a defense of Georg Cantor's theory of the actual infinite, addressing its critics and making vivid the difference between finite and infinite sets.

Hilbert's formulation is preserved in Nordheim’s lecture notes (Kragh, 2014), stating, for infinite rooms 1, 2, 3, ..., all occupied: “All that the manager has to do in order to accommodate a new guest is to make sure that each of the old guests moves to a new room with the number one unit larger. In this way room 1 becomes available for the new guest.” For infinitely many new guests, Hilbert proposed moving existing guests to rooms 2$n$, making all odd-numbered rooms available.

Hilbert’s hotel remained obscure until George Gamow recounted it in "One, Two, Three… Infinity" (1947), humorously expounding it to a wider audience and connecting it to debates on the foundations of cosmology and the infinite universe (Kragh, 2014). Most of its popular and interdisciplinary impact traces to this modern reprise.

2. Mathematical Formulation and Bijection Mechanisms

The central insight of Hilbert’s Hotel is that a countably infinite set $\mathbb{N}$ can admit bijections with proper subsets or finite/infinite extensions of itself. The “room assignment” can be encoded as permutations or bijections:

• For a single new guest: Define $f : \mathbb{N} \to \mathbb{N} \setminus \{1\}$, $f(n) = n+1$. All guests in room $n$ move to $n+1$, freeing room 1 for the newcomer. $f$ is bijective, so no collisions occur.
• For $k$ finite new guests: Use $$f_k : \mathbb{N} \to \mathbb{N} \setminus \{1,2,\dots,k\}$$, $f_k(n) = n+k$; thus, the first $\mathbb{N}$0 rooms become vacant.
• For countably many new guests: Assign existing guests to $\mathbb{N}$1 (the evens), freeing all odd-numbered rooms $\mathbb{N}$2. New guests take $\mathbb{N}$3.
• For $\mathbb{N}$4 buses each with $\mathbb{N}$5 guests: Use an injective encoding $\mathbb{N}$6, where $\mathbb{N}$7 indexes the bus, and $\mathbb{N}$8 the seat, to assign a unique room to each (Ades et al., 2024, Meyries, 2015).

The essential set-theoretic mechanism is that an infinite set’s cardinality remains unchanged under finite or countable additions, i.e., $\mathbb{N}$9 (Kragh, 2014, Ades et al., 2024, Meyries, 2015).

3. Extensions, Optical Realization, and Physical Analogues

The Hilbert's Hotel scheme has inspired physical analogues, most notably in optics and quantum systems, where infinite-dimensional Hilbert spaces naturally arise.

3.1 Optical Vortex Realization

In singular optics, fractional vortex plates are engineered to experimentally realize the hotel’s mechanics (Gbur, 2015, Chen et al., 2022, Kumar et al., 2023). A fractional spiral phase plate imparts a phase $f : \mathbb{N} \to \mathbb{N} \setminus \{1\}$0 with non-integer topological charge $f : \mathbb{N} \to \mathbb{N} \setminus \{1\}$1, decomposable into integer OAM modes via Fourier series:

$f : \mathbb{N} \to \mathbb{N} \setminus \{1\}$2

As $f : \mathbb{N} \to \mathbb{N} \setminus \{1\}$3 crosses half-integers, an unbounded sequence of vortex–antivortex pairs emerges: at $f : \mathbb{N} \to \mathbb{N} \setminus \{1\}$4, the beam contains a countably infinite one-to-one correspondence of rooms (vortices $f : \mathbb{N} \to \mathbb{N} \setminus \{1\}$5) and guests (vortices $f : \mathbb{N} \to \mathbb{N} \setminus \{1\}$6), the “fully occupied hotel”. Increasing $f : \mathbb{N} \to \mathbb{N} \setminus \{1\}$7 incrementally prompts annihilation and the appearance of unpaired vortices, thereby physically realizing $f : \mathbb{N} \to \mathbb{N} \setminus \{1\}$8 (Chen et al., 2022, Gbur, 2015).

Scalar, vector, and multi-ramp configurations enable realizations of more elaborate Hilbert-Hotel procedures and have been demonstrated using both scalar and vector vortex beams with polarization singularities (Kumar et al., 2023). Experiments have directly visualized vortex birth/annihilation dynamics corresponding to the guest-shift paradigm and index jumps matching abstract transfinite arithmetic.

3.2 Quantum Hilbert Hotel

In continuous-variable quantum mechanics, the so-called “Quantum Hilbert Hotel” operation is the coherent mapping $f : \mathbb{N} \to \mathbb{N} \setminus \{1\}$9 on a basis of an infinite-dimensional Hilbert space (Potocek et al., 2015). Experimentally, such an isometry has been realized in paraxial OAM modes of light, and conceptually, it mirrors the infinite hotel’s assignment: upon shifting each state amplitude to the even subspace, infinitely many “levels” (odd $f(n) = n+1$0) become vacant, directly paralleling the hotel scheme for countably infinite newcomers.

Both classical and quantum implementations serve as platforms for novel protocols in quantum communication, high-dimensional information encoding, and metrology by leveraging infinite-mode capacity via Hilbert-Hotel-like reassignments (Potocek et al., 2015, Chen et al., 2022, Kumar et al., 2023).

4. Philosophical, Cosmological, and Theological Implications

Hilbert’s Hotel is instrumental in debates surrounding the ontological status and physical instantiation of the actual infinite:

• Cosmology: The paradox plays a rhetorical role in arguments against infinite steady-state universes, as in the 1950s debates. For instance, expansion in an infinite universe (steady-state cosmology) is likened to “making room next door” for new galaxies, with Hilbert’s Hotel as a metaphor for the elasticity of infinite extension (Kragh, 2014).
• Philosophy: The hotel challenges everyday intuitions shaped by finitude, featuring in arguments about whether the real world—or time—can be actually infinite. Some philosophers (e.g., Pamela Huby) argue that the paradox illustrates the impossibility of infinite actualities, while others use it to clarify the consistency of infinite arithmetic at the abstract level (Kragh, 2014).
• Theology: The hotel has become central to formulations of the Kalam cosmological argument, stressing that an actual infinite (e.g., eternal past) leads to “absurdities” such as Hilbert’s Hotel, thus arguing for a finite creation event. William Lane Craig’s popularization has anchored the hotel in contemporary apologetics (Kragh, 2014).

5. Constructivist Critiques and Alternative Frameworks

While standard set theory embraces the notion that $f(n) = n+1$1 is unchanged under finite or countable extension, alternative frameworks challenge the operational meaning of “fitting one more guest in a full infinite hotel.”

Notably, Sergeyev’s grossone methodology introduces a concrete infinite unit ①, defined as $f(n) = n+1$2, and posits that the hotel has exactly ① rooms, indexed $f(n) = n+1$3. Under this framework, shifting every guest up still leaves room 1 vacant, but the guest in room ① is ejected (since $f(n) = n+1$4 lies outside the hotel’s bounds). This restores the finite-hotel property that addition to a “full” set requires eviction, reinforcing the principle that “the whole is greater than the part” for both finite and infinite systems (Sergeyev, 2022). This approach enables numerical manipulations of infinite and infinitesimal quantities and can be implemented on computational systems to visualize and simulate the process stepwise, distinguishing it from purely abstract set-theoretic resolutions.

6. Broader Mathematical Context and Significance in Modern Set Theory

Hilbert’s Hotel encapsulates foundational principles of infinite set theory first formalized by Cantor. It demonstrates bijective equivalence (cardinality) of $f(n) = n+1$5 to its proper subsets and countable Cartesian products, as in $f(n) = n+1$6, and by suitable encoding, $f(n) = n+1$7 is countable but $f(n) = n+1$8 is strictly larger, a distinction explored via Cantor’s diagonal argument (Ades et al., 2024, Meyries, 2015).

The Hotel’s paradoxical scenario—where “full” does not preclude reallocation for new entries—codifies the arithmetical laws of transfinite cardinals that underpin the theory of ordinals, measure, and the continuum hypothesis. Its legacy is to sharpen understanding that infinite sets require rules dramatically at odds with finite intuition, prompting essential caution in generalizations from the finite to the infinite—across mathematics, logic, and the sciences.

• "The True (?) Story of Hilbert's Infinite Hotel" (Kragh, 2014)
• "Experimental Implementation of the Fractional Vortex Hilbert's Hotel" (Chen et al., 2022)
• "Simple experimental realization of optical Hilbert Hotel using scalar and vector fractional vortex beams" (Kumar et al., 2023)
• "Fractional vortex Hilbert's Hotel" (Gbur, 2015)
• "The Quantum Hilbert Hotel" (Potocek et al., 2015)
• "Infinity - A simple, but not too simple introduction" (Meyries, 2015)
• "Some paradoxes of Infinity revisited" (Sergeyev, 2022)
• "Une initiation au concept de l'infini" (Ades et al., 2024)