Infinite rooms, all occupied... yet always room for more!
Hilbert's Grand Hotel has infinitely many rooms numbered 1, 2, 3, 4... with no highest number. Every single room is occupied. The "NO VACANCY" sign glows. Yet remarkably, new guests can always be accommodated!
Ask every guest to move one room up.
Room 1 is now empty. Welcome, new guest!
Ask every guest to move K rooms up.
Rooms 1 through K are now empty!
Ask every guest to move to double their room number.
All odd rooms (1, 3, 5, 7...) are empty—infinitely many for the infinite queue!
Use prime numbers! Guest m from bus k goes to room:
Bus 1 → powers of 2 (2,4,8...)
Bus 2 → powers of 3 (3,9,27...)
Bus 3 → powers of 5...
This paradox illustrates countable infinity (ℵ₀). A set is countably infinite if its elements can be put in one-to-one correspondence with the natural numbers.
The key insight: ℵ₀ + 1 = ℵ₀ and ℵ₀ + ℵ₀ = ℵ₀. Adding to infinity doesn't make it "bigger" because there's always a valid mapping!
But what if the guests formed an uncountable infinity—like all real numbers between 0 and 1? Then even Hilbert's Hotel is helpless. There's no way to pair them all with room numbers.
Georg Cantor proved this with his famous diagonal argument in 1891. Some infinities are genuinely larger than others!
David Hilbert introduced this thought experiment in his 1924 lecture "On the Infinite." It was later popularized by George Gamow's 1947 book One Two Three... Infinity. The paradox remains one of the most accessible ways to understand how infinity breaks our finite intuitions.