Hilbert's Grand Hotel Paradox

Subscribe for New Posts


Since, the time I was introduced to discrete mathematics and the applications which it provides to Computer Science; I have developed a stronger affinity towards it. One of the things which fascinates me the most are paradoxes and logical inconsistensies which challenges my mind to think further. Paradoxes are statements or proposition which are logically acceptable through reasoning but lead to a conclusions that seems unacceptable. In general terms, paradoxes are self-contradictory propositions or statements. Here let us discuss a paradox, which is very famous and will also cement our understanding on countably infinite sets. Before diving directly on the paradox let us first get a primer on Sets and their cardinality.

A short primer on Sets and Cardinality of Sets

Sets are used to group objects together. Often, but not always the objects in a set have similar properties. The relative sizes of infinite sets can be studied by introducing the notion of the size or cardinality of a set. Cardinality refers to the number of objects present inside a set. This term comes from the common usage of the term cardinal numbers as the size of a finite set. Now, the question comes why cardinality is so important and what is its relation with computer science. Well, here comes the concept of computable and uncomputable functions. A function is uncomputable if no computer program can be written to find all its values even with unlimited time and memory. This is one of the reason to know about the cardinality of any set. Now we need to classify the sets based on the cardinality as sshown in the flowchart below.

Classification of Sets
Classification of Sets

The interest is particularly in countably infinite sets. If we define the countable sets in much broader way, we can say that Countable Sets are sets which are either finite or has the same cardinality as the set of positive integers. When an infinite set S is countable, we denote the cardinality of S by 0 which is referred as aleph-null or aleph-naught.

Now The Paradox…

Hilbert’s Grand Hotel Paradox shows something impossible with finite sets may be possible with infinite sets. The paradox says, “There is always a room for the new guest in Hilbert’s grand hotel even when all the rooms are pre-occupied.” Let us understand this paradox intuitively through a story.

Imagine a hotel with infinite number of rooms and a very hardworking night manager. One night the infinite Hotel is completely full; totally booked up with infinite number of guests.

Shifting the guests to to n + k rooms.
Shifting the guests to to n + k rooms.
Odd and Even Arrangement of Rooms
Odd and Even Arrangement of Rooms