Team
math

Hilbert's Hotel Paradox Calculator

Hilbert's hotel paradox is a celebrated thought experiment demonstrating how infinity behaves differently from finite quantities. Mathematicians, physicists, and philosophers use this paradox to understand cardinality and transfinite numbers. The scenario challenges our intuition: a completely full hotel with infinitely many rooms can still accommodate new guests—whether they arrive singly, in finite groups, or in infinite numbers. This calculator models these accommodation strategies using precise mathematical operations.

Last updated:

Creators Anna Szczepanek, PhD Mathematics
5,058 people find this calculator helpful

Understanding the Infinite Hotel Paradox

David Hilbert devised this paradox to illustrate a counterintuitive property of infinite sets. Imagine a hotel with rooms numbered 1, 2, 3, 4, … extending without end. Every room is occupied. A new guest arrives and requests accommodation. Logically, you'd assume there's no room. Yet the manager can accommodate them by shifting every current guest to the next room number, leaving room 1 vacant.

The paradox reveals that infinity is not a number in the conventional sense. There is no "last" room, so moving everyone up by one position always creates space. This concept extends further: even if infinitely many new guests arrive—or infinitely many buses full of infinitely many passengers each—the hotel can still find rooms for everyone through clever reassignment schemes.

The genius lies in recognizing that rearrangement doesn't reduce the total count when dealing with infinite sets. The hotel never becomes fuller in the way finite hotels do.

Room Assignment Formulas

The calculator applies different mathematical operations depending on how many guests need accommodation. Each scenario uses a distinct function to compute new room assignments while maintaining the principle that no guest is turned away.

Finite new guests: new_room = old_room + number_of_new_guests

Infinite new guests (single bus): new_room = 2 × old_room

New guest assignment: new_room = 2 × guest_number − 1

Infinite buses of infinite guests: new_room = 2^old_room

  • new_room — The room number assigned to the guest after accommodation
  • old_room — The current room number occupied by an existing guest
  • number_of_new_guests — The count of arriving guests in a finite scenario
  • guest_number — The position identifier for a guest in an infinite sequence
  • old_room — The original room number before reassignment in transfinite cases

Accommodation Strategies for Different Scenarios

Finite arrivals: When a handful of new guests appear, the simplest approach is uniform displacement. All occupants shift rightward by the number of arriving guests. A guest in room 8 with 3 new arrivals moves to room 11.

Infinite bus arrivals: One infinite bus carrying infinitely many new guests requires the "double" rule. Every existing guest moves to twice their current room number, placing guests 1, 2, 3, … in even-numbered rooms. The new passengers occupy odd-numbered rooms: 1, 3, 5, 7, … This bijection (one-to-one mapping) proves that even and odd numbers are equinumerous despite both being infinite.

Multiple infinite buses: When countably infinite buses of countably infinite passengers each arrive, exponentiation solves the problem. The guest in room n moves to room 2n, creating space for a hierarchical assignment using prime factorization and pairing functions.

Each strategy preserves the hotel's "fullness"—every room is still occupied, yet accommodation is granted.

Key Insights and Common Misconceptions

Understanding Hilbert's hotel requires abandoning intuitions about finite collections.

  1. Infinity is not a size you can exceed — The hotel never "gets fuller" when new guests arrive because infinity plus any finite or even countably infinite number remains infinity. The cardinality (set size) never changes, only the distribution of occupants.
  2. Not all infinities are equal — Cantor proved that some infinite sets are larger than others. Countably infinite (like the natural numbers) differs from uncountably infinite (like real numbers). The hotel handles countable infinities; uncountable arrivals would require entirely different mathematics.
  3. The bijection is the proof — Room reassignments work because they create perfect one-to-one correspondences (bijections) between old and new configurations. Every occupied room remains occupied, and no room is assigned twice—this mapping is the mathematical substance behind the paradox.
  4. Physical intuition fails at infinity — Your everyday experience with scarce resources breaks down. Seat allocation, traffic flow, and resource management all assume finite limits. This paradox trains mathematicians to think abstractly, without relying on familiar constraints.

Transfinite Numbers and Cantor's Hierarchy

Georg Cantor extended number theory to transfinite cardinals and ordinals, formalizing the concept of "sizes" of infinite sets. The smallest infinite cardinality, denoted ℵ₀ (aleph-null), corresponds to the natural numbers and the hotel's room count. Larger transfinite numbers exist: ℵ₁, ℵ₂, and so on, forming a hierarchy with no upper bound.

Within the context of this hotel, all scenarios involve countable infinities. A guest in room 1397 moving to room 2794 (doubling) reflects a bijection between natural numbers and even natural numbers—both sets contain exactly ℵ₀ elements. The exponentiation rule for multiple infinite buses hints at even larger cardinalities, since 2^ℵ₀ equals the cardinality of the real numbers (uncountably infinite).

This paradox bridges concrete arithmetic and abstract set theory, making the invisible structure of infinity tangible through the lens of hotel management.

Frequently Asked Questions

What happens if infinitely many buses each containing infinitely many guests arrive simultaneously?

The hotel handles this using exponentiation. Guests in existing rooms move according to powers of 2: the guest in room <em>n</em> relocates to room 2<sup>n</sup>. This creates space for a hierarchical encoding of bus number and seat position, mapping the new arrivals into unoccupied rooms. The principle remains unbroken—rearrangement always succeeds.

Is Hilbert's hotel paradox a proof that infinity actually exists?

The paradox is a mathematical abstraction, not a physical proof. It demonstrates consistent logical consequences of the formal definition of infinite sets within set theory. Mathematically, infinity exists as a concept and behaves according to these rules. Physically, whether the universe contains actual infinities remains an open question in cosmology and philosophy.

Why can't we apply the same logic to a hotel with finitely many rooms?

Finite sets have a maximum element. A 100-room hotel genuinely cannot accommodate a 101st guest without eviction. Infinity lacks this boundary—there is always a next number. The paradox relies entirely on this absence of a final room. Finite systems obey conservation (more arrivals mean less space); infinite systems do not.

How does the doubling method actually create new rooms for infinite guests?

Doubling doesn't create rooms; it redistributes occupants to even-numbered rooms (2, 4, 6, 8, …). This leaves all odd-numbered rooms (1, 3, 5, 7, …) vacant. Since there are infinitely many odd rooms, infinitely many new guests fit perfectly. The trick is recognizing that "all rooms occupied" and "rooms available for new guests" are compatible when dealing with infinite sets.

What are transfinite numbers used for beyond this paradox?

Transfinite cardinals measure the sizes of infinite sets in analysis, topology, and logic. They appear in discussing infinite-dimensional spaces, uncountable probability distributions, and the structure of real numbers. Transfinite ordinals order infinite sequences and define hierarchies in proof theory and set-theoretic foundations. Cantor's system is foundational to modern mathematics.

If a guest in room 1397 must move when infinite guests arrive, why specifically to room 2794?

The doubling rule (new room = 2 × old room) applies universally for one infinite bus. Room 1397 × 2 = 2794. This ensures every existing guest shifts to an even-numbered room, freeing all odd-numbered rooms for the newcomers. The formula is elegant precisely because it scales consistently—every occupant follows the same rule, maintaining order.

More math calculators (see all)

Fraction to Decimal Calculator ASA Triangle Calculator Factor Calculator Polish Notation Calculator Lateral Area of a Cone Calculator Triangular Pyramid Volume Calculator Parabola Calculator Cosine Similarity Calculator