<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Cantor on kenji.blog</title><link>http://kenji.blog/en/tags/cantor/</link><description>Recent content in Cantor on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>en</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 06:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/en/tags/cantor/index.xml" rel="self" type="application/rss+xml"/><item><title>Hilbert's Grand Hotel: How to Accommodate Infinite New Guests in a Fully Booked Hotel</title><link>http://kenji.blog/en/p/hilberts-grand-hotel/</link><pubDate>Thu, 10 Sep 2026 06:00:00 +0900</pubDate><guid>http://kenji.blog/en/p/hilberts-grand-hotel/</guid><description>&lt;img src="http://kenji.blog/p/hilberts-grand-hotel/img/hilberts_hotel.jpg" alt="Featured image of post Hilbert's Grand Hotel: How to Accommodate Infinite New Guests in a Fully Booked Hotel" />&lt;h2 id="1-welcome-to-the-ultimate-hotel">1. Welcome to the Ultimate Hotel
&lt;/h2>&lt;p>The great German mathematician David Hilbert devised an interesting thought experiment to illustrate how far the concept of &amp;ldquo;infinity&amp;rdquo; is from human intuition.&lt;/p>
&lt;p>Imagine that somewhere in the universe, there is a hotel called &lt;strong>&amp;ldquo;Hilbert&amp;rsquo;s Grand Hotel.&amp;rdquo;&lt;/strong>
This hotel has an &lt;strong>infinite number&lt;/strong> of rooms, numbered 1, 2, 3, and so on.&lt;/p>
&lt;p>One day, there was a massive event in the universe, and every single room in this infinite hotel was occupied, making it &lt;strong>&amp;ldquo;fully booked.&amp;rdquo;&lt;/strong>
Then, an exhausted traveler arrived and asked the front desk, &amp;ldquo;Could you please find me a room?&amp;rdquo;&lt;/p>
&lt;p>A normal hotel would have no choice but to refuse, saying, &amp;ldquo;We are sorry, but we are fully booked.&amp;rdquo;
However, this is the Grand Hotel. The manager smiled and said, &amp;ldquo;Certainly. We will have a room ready for you right away.&amp;rdquo;
How can they accommodate a new guest when the hotel is already full?&lt;/p>
&lt;hr>
&lt;h2 id="2-case-1-how-to-accommodate-one-new-guest">2. Case 1: How to Accommodate One New Guest
&lt;/h2>&lt;p>The manager made an announcement over the intercom to all the guests currently staying at the hotel:&lt;/p>
&lt;p>&lt;strong>&amp;ldquo;Attention all guests. Please move to the room whose number is &amp;lsquo;plus 1&amp;rsquo; of your current room number.&amp;rdquo;&lt;/strong>&lt;/p>
&lt;p>What happens then?&lt;/p>
&lt;ul>
&lt;li>The guest in room 1 moves to room 2.&lt;/li>
&lt;li>The guest in room 2 moves to room 3.&lt;/li>
&lt;li>The guest in room 3 moves to room 4.&lt;/li>
&lt;li>The guest in room $n$ moves to room $n+1$.&lt;/li>
&lt;/ul>
&lt;div class="mermaid">graph LR
subgraph "Before Moving (Fully Booked)"
R1["Room 1&lt;br>(Guest A)"]
R2["Room 2&lt;br>(Guest B)"]
R3["Room 3&lt;br>(Guest C)"]
R4["..."]
end
subgraph "After Moving"
NewR1["Room 1&lt;br>(Empty!)"]
NewR2["Room 2&lt;br>(Guest A)"]
NewR3["Room 3&lt;br>(Guest B)"]
NewR4["Room 4&lt;br>(Guest C)"]
end
R1 -->|Move| NewR2
R2 -->|Move| NewR3
R3 -->|Move| NewR4
NewGuest["New Guest"] -->|Check-in| NewR1
style NewR1 fill:#aaffaa,stroke:#333,stroke-width:2px
style NewGuest fill:#ffaaaa,stroke:#333,stroke-width:2px&lt;/div>
&lt;p>Since there are an infinite number of rooms, the scenario where &amp;ldquo;the guest in the last room is kicked out&amp;rdquo; never occurs. Everyone successfully moves to the next room.
And brilliantly, &lt;strong>Room 1 becomes vacant.&lt;/strong> The new traveler was able to stay in Room 1 safely.&lt;/p>
&lt;p>In the world of infinity, $\infty + 1 = \infty$ holds true.
Even if you take out &amp;ldquo;one&amp;rdquo; from the &amp;ldquo;whole (infinity),&amp;rdquo; the size of the whole does not change.&lt;/p>
&lt;hr>
&lt;h2 id="3-case-2-how-to-accommodate-an-infinite-number-of-new-guests">3. Case 2: How to Accommodate an Infinite Number of New Guests
&lt;/h2>&lt;p>Well, the next day, the hotel was fully booked once again.
Then, incredibly, an &lt;strong>infinite bus&lt;/strong> carrying an &lt;strong>&amp;ldquo;infinite number of passengers&amp;rdquo;&lt;/strong> arrived.
The passengers who got off the bus pressed the front desk, saying, &amp;ldquo;We need rooms for everyone!&amp;rdquo;&lt;/p>
&lt;p>If they asked for the &amp;ldquo;plus 1&amp;rdquo; move like yesterday, it would take forever.
However, the manager didn&amp;rsquo;t panic. He made another intercom announcement.&lt;/p>
&lt;p>&lt;strong>&amp;ldquo;Attention all guests. Please move to the room whose number is &amp;lsquo;multiplied by 2&amp;rsquo; of your current room number.&amp;rdquo;&lt;/strong>&lt;/p>
&lt;p>What happens then?&lt;/p>
&lt;ul>
&lt;li>The guest in room 1 moves to room 2.&lt;/li>
&lt;li>The guest in room 2 moves to room 4.&lt;/li>
&lt;li>The guest in room 3 moves to room 6.&lt;/li>
&lt;li>The guest in room $n$ moves to room $2n$.&lt;/li>
&lt;/ul>
&lt;p>Through this move, the infinite number of guests who were already staying fit perfectly into &lt;strong>&amp;ldquo;all the even-numbered rooms.&amp;rdquo;&lt;/strong>
And miraculously, &lt;strong>&amp;ldquo;all the odd-numbered rooms (Room 1, 3, 5&amp;hellip;)&amp;rdquo; became completely vacant&lt;/strong>!&lt;/p>
&lt;div class="mermaid">graph LR
subgraph "Current Guests"
G1["Guest 1"] -->|Multiply by 2| R2["Room 2"]
G2["Guest 2"] -->|Multiply by 2| R4["Room 4"]
G3["Guest 3"] -->|Multiply by 2| R6["Room 6"]
end
subgraph "New Guests from Bus (Infinite)"
N1["New Guest 1"] -->|To Odd Room| R1["Room 1 (Empty)"]
N2["New Guest 2"] -->|To Odd Room| R3["Room 3 (Empty)"]
N3["New Guest 3"] -->|To Odd Room| R5["Room 5 (Empty)"]
end
style R1 fill:#aaffaa,stroke:#333
style R3 fill:#aaffaa,stroke:#333
style R5 fill:#aaffaa,stroke:#333&lt;/div>
&lt;p>Since there are an infinite number of odd numbers as well, the manager can accommodate everyone by guiding the passengers of the infinite bus sequentially from the front to Room 1, Room 3, Room 5, and so on.&lt;/p>
&lt;p>In the world of infinity, $\infty + \infty = \infty$ holds true.
Even if you add infinity to infinity, the size remains the same &amp;ldquo;infinity.&amp;rdquo;&lt;/p>
&lt;hr>
&lt;h2 id="4-case-3-what-if-an-infinite-number-of-infinite-buses-arrive">4. Case 3: What if an Infinite Number of Infinite Buses Arrive?
&lt;/h2>&lt;p>Furthermore, the next day. Once again, the hotel is fully booked.
And then, astonishingly, &lt;strong>&amp;ldquo;an infinite number of infinite buses, each carrying an infinite number of passengers,&amp;rdquo;&lt;/strong> arrived in a continuous line.&lt;/p>
&lt;p>Bus 1 has an infinite number of people, Bus 2 has an infinite number of people, Bus 3 has an infinite number of people&amp;hellip; this goes on for an infinite number of buses.
Even the manager seems like he might panic, but he was a mathematical genius. He came up with the idea of using &amp;ldquo;prime numbers.&amp;rdquo;&lt;/p>
&lt;p>The manager gave the following instructions:&lt;/p>
&lt;ol>
&lt;li>
&lt;p>&lt;strong>Movement of guests already staying in the hotel&lt;/strong>
Let the current room number be $n$. Have them move to room &amp;ldquo;$2^n$&amp;rdquo;.
(Room 1 $\rightarrow$ Room 2, Room 2 $\rightarrow$ Room 4, Room 3 $\rightarrow$ Room 8&amp;hellip;)
This accommodates all the current guests.&lt;/p>
&lt;/li>
&lt;li>
&lt;p>&lt;strong>Guiding guests from Bus 1 (Infinite people)&lt;/strong>
Let the guest&amp;rsquo;s seat number be $n$. Guide them to room &amp;ldquo;$3^n$&amp;rdquo;.
(Room 3, Room 9, Room 27&amp;hellip;)&lt;/p>
&lt;/li>
&lt;li>
&lt;p>&lt;strong>Guiding guests from Bus 2 (Infinite people)&lt;/strong>
Use the next prime number, 5, and guide them to room &amp;ldquo;$5^n$&amp;rdquo;.
(Room 5, Room 25, Room 125&amp;hellip;)&lt;/p>
&lt;/li>
&lt;li>
&lt;p>&lt;strong>Guiding guests from Bus $k$ (Infinite people)&lt;/strong>
Use the $(k+1)$-th prime number, $P$, and guide them to room &amp;ldquo;$P^n$&amp;rdquo;.&lt;/p>
&lt;/li>
&lt;/ol>
&lt;p>Thanks to a powerful mathematical theorem known as &amp;ldquo;the uniqueness of prime factorization (any number can be expressed as a combination of prime factor multiplications in only one way),&amp;rdquo; the room numbers $2^n, 3^n, 5^n, 7^n \dots$ will absolutely never overlap with anyone else.&lt;/p>
&lt;p>In this way, the manager brilliantly managed to accommodate a staggering number of guests—&lt;strong>&amp;ldquo;Infinity $\times$ Infinity&amp;rdquo;&lt;/strong>—into a single infinite hotel!&lt;/p>
&lt;hr>
&lt;h2 id="5-infinite-sets-have-different-sizes-cantors-theorem">5. Infinite Sets Have Different &amp;ldquo;Sizes&amp;rdquo; (Cantor&amp;rsquo;s Theorem)
&lt;/h2>&lt;p>What Hilbert&amp;rsquo;s Grand Hotel teaches us is the fact that &lt;strong>&amp;ldquo;countably infinite (infinity that can be counted by assigning numbers like 1, 2, 3&amp;hellip;)&amp;rdquo;, no matter how many times it is added together or multiplied, will ultimately fit within the same size of &amp;ldquo;countably infinite&amp;rdquo; framework.&lt;/strong>&lt;/p>
&lt;p>However, the mathematician Georg Cantor discovered an even more terrifying truth.
&amp;ldquo;Natural numbers&amp;rdquo; and &amp;ldquo;fractions&amp;rdquo; can all be accommodated in this infinite hotel. But &lt;strong>if guests of &amp;ldquo;real numbers (all decimals, including irrational numbers)&amp;rdquo; arrive, even this infinite hotel will absolutely not be able to accommodate all of them.&lt;/strong>&lt;/p>
&lt;p>It has been proven that the number of real numbers is fundamentally a &amp;ldquo;larger (higher-level) infinity&amp;rdquo; than the number of rooms in the infinite hotel (countably infinite).
Although often lumped together under the word &amp;ldquo;infinity,&amp;rdquo; there actually exists a hierarchical structure (cardinality) within infinity, ranging from a &amp;ldquo;small infinity&amp;rdquo; to an &amp;ldquo;infinity so large it is absolutely unreachable.&amp;rdquo;&lt;/p>
&lt;hr>
&lt;h2 id="6-conclusion-the-infinity-that-destroys-human-intuition">6. Conclusion: The &amp;ldquo;Infinity&amp;rdquo; That Destroys Human Intuition
&lt;/h2>&lt;p>Hilbert&amp;rsquo;s Grand Hotel vividly illustrates how the &amp;ldquo;common sense of the finite&amp;rdquo; cultivated in our daily lives simply does not apply in the &amp;ldquo;world of infinity.&amp;rdquo;&lt;/p>
&lt;p>&amp;ldquo;The whole is greater than the part&amp;rdquo;
&amp;ldquo;No one can enter a fully booked hotel&amp;rdquo;
&amp;ldquo;If you add infinity to infinity, it gets bigger&amp;rdquo;&lt;/p>
&lt;p>All these obvious intuitions are brilliantly betrayed.
The world of infinity is a treasure trove of paradoxes (truths that contradict intuition). Mathematicians did not fear these paradoxes; instead, they subdued them with the power of logic, classified them, and built the beautiful system of modern set theory.&lt;/p>
&lt;p>The next time you are turned away because &amp;ldquo;the hotel is fully booked,&amp;rdquo; try to imagine, &amp;ldquo;What if this hotel were Hilbert&amp;rsquo;s Grand Hotel?&amp;rdquo;&lt;/p></description></item></channel></rss>