Hilbert's Hotel
A thought experiment illustrating the counterintuitive properties of infinity, where a fully occupied hotel with infinitely many rooms can always accommodate more guests.
Also known as: Hilbert's Grand Hotel, Hilbert's Paradox of the Grand Hotel, Hilbert's Hotel Paradox
Category: Concepts
Tags: mathematics, thought-experiments, paradoxes, infinity, set-theory
Explanation
Hilbert's Hotel (also known as Hilbert's Grand Hotel or Hilbert's Paradox of the Grand Hotel) is a thought experiment proposed by German mathematician David Hilbert in 1924 to illustrate the strange and counterintuitive properties of infinite sets.
**The setup**:
Imagine a hotel with infinitely many rooms, numbered 1, 2, 3, and so on forever. Every room is occupied.
**Scenario 1 - One new guest arrives**:
Despite being fully occupied, the hotel can accommodate a new guest. Simply ask every current guest to move from room N to room N+1. Room 1 is now empty for the new guest. This works because infinity plus one equals infinity.
**Scenario 2 - Infinitely many new guests arrive**:
Even an infinite number of new guests can be accommodated. Ask every current guest to move from room N to room 2N (doubling their room number). This frees up all odd-numbered rooms (1, 3, 5, ...) for the infinite new guests.
**Scenario 3 - Infinitely many buses arrive (Hilbert's Bus)**:
Infinitely many buses, each carrying infinitely many passengers, can still be accommodated using more sophisticated mappings.
**Why it matters**:
- Demonstrates that infinity is not just a 'very large number' but a fundamentally different concept
- Shows that infinite sets can be put into one-to-one correspondence with proper subsets of themselves
- Illustrates the concept of countable infinity (aleph-null)
- Reveals that our finite intuitions break down when applied to the infinite
**Key insight**:
The paradox arises because we apply finite reasoning (a full hotel cannot accept more guests) to an infinite scenario. In mathematics, a set is infinite precisely when it can be put into a one-to-one correspondence with a proper subset of itself — the exact property that makes Hilbert's Hotel work.
**Broader implications**:
Hilbert's Hotel is a gateway to understanding deeper concepts in set theory, including different sizes of infinity (countable vs uncountable), Cantor's diagonal argument, and the continuum hypothesis. It demonstrates that mathematical truth can be deeply counterintuitive.
Related Concepts
← Back to all concepts