Hilbert's Bus
An extension of Hilbert's Hotel paradox where infinitely many buses each carrying infinitely many passengers can all be accommodated in an already full infinite hotel.
Also known as: Hilbert's Bus Paradox
Category: Concepts
Tags: mathematics, thought-experiments, paradoxes, infinity, set-theory
Explanation
Hilbert's Bus is an extension of Hilbert's Hotel thought experiment that pushes the paradox of infinity even further. While Hilbert's Hotel shows that one infinite hotel can accommodate finitely many or even countably infinitely many new guests, Hilbert's Bus demonstrates that even infinitely many groups of infinitely many passengers can be housed.
**The scenario**:
Hilbert's Hotel is fully occupied with its infinite rooms. Then infinitely many buses arrive, each containing infinitely many passengers. Can everyone be accommodated?
**The solution**:
Yes, using a clever mapping. One approach uses the fact that prime numbers are infinite:
- Current guests in room N move to room 2^N
- Passengers from bus 1 go to rooms based on powers of 3 (3^1, 3^2, 3^3, ...)
- Passengers from bus 2 go to rooms based on powers of 5 (5^1, 5^2, 5^3, ...)
- Passengers from bus K go to rooms based on powers of the K-th prime number
Since prime factorization is unique (the fundamental theorem of arithmetic), no two people end up in the same room.
**Alternative approach - Cantor's pairing function**:
Another elegant solution uses the fact that the rational numbers (pairs of natural numbers) are countable. Each passenger can be identified by a pair (bus number, seat number), and Cantor's pairing function maps all such pairs to unique natural numbers.
**What this demonstrates**:
- Countable infinity times countable infinity is still countable infinity
- The set of pairs of natural numbers has the same cardinality as the natural numbers
- This is the same principle that proves the rational numbers are countable
- Mathematical ingenuity can tame even seemingly overwhelming infinities
**The limit**:
Hilbert's Hotel can accommodate any countably infinite collection of guests. However, it cannot accommodate an uncountably infinite number of guests — as Cantor's diagonal argument proves, uncountable infinity is genuinely larger than countable infinity.
Related Concepts
← Back to all concepts