Hilbert's paradox of the Grand Hotel
Hilbert's paradox of the Grand Hotel (colloquially the Infinite Hotel Paradox or Hilbert's Hotel) is a thought experiment which illustrates a counterintuitive property of infinite sets. It shows that a fully occupied hotel with infinitely many rooms may still accommodate additional guests, even infinitely many of them, and this process may be repeated infinitely often.
Metadata
- Slug: 00185-hilbert-s-paradox-of-the-grand-hotel
- Type: PARADOX
- Tags: set-theory
- Sources: 1
Axioms
- Assume the rules of the domain apply uniformly.
- Assume the observer’s criteria remain fixed.
- Assume classification boundaries stay consistent.
- Assume the model describes the real case.
- Assume repeated steps do not change the outcome.
- Assume no hidden variables are introduced midstream.
Contradictions
- Two reasonable lines of inference yield opposite conclusions
- A global rule conflicts with a local judgment
- A stable resolution appears to violate a starting premise
- Changing the framing reverses the outcome
- Intuition and formalism diverge at the same step
Prompts
- Which assumption is doing the most hidden work?
- What changes if you relax the smallest constraint?
- Does the paradox dissolve or relocate when reframed?
- What is conserved, and what is sacrificed?
Notes
Sources
Overview
Hilbert’s paradox of the Grand Hotel (colloquially the Infinite Hotel Paradox or Hilbert’s Hotel) is a thought experiment which illustrates a counterintuitive property of infinite sets. It shows that a fully occupied hotel with infinitely many rooms may still accommodate additional guests, even infinitely many of them, and this process may be repeated infinitely often.
Tension
- Two reasonable lines of inference yield opposite conclusions.
- A global rule conflicts with a local judgment.
- A stable resolution appears to violate a starting premise.
- Changing the framing reverses the outcome.
- Intuition and formalism diverge at the same step.
Why It Matters
This entry tests how a stable rule-set can yield unstable conclusions under certain assumptions.
Prompts
- Which assumption is doing the most hidden work?
- What changes if you relax the smallest constraint?
- Does the paradox dissolve or relocate when reframed?
- What is conserved, and what is sacrificed?