Basic Set Theory: Can You Accommodate Countable Guests?

saadsarfraz
Messages
86
Reaction score
1
I found this question in a book.

Q-Suppose you own a hotel with a countable number of rooms. One night a
traveler wishes to stay in your hotel, but all the rooms are occupied. Can
you give him a room without kicking anybody out of the hotel? What if
a tour bus shows up with countably many passengers, all wanting a room?
(Assume each room only accommodates one person.)


I would assume the answer is no since the hotel is completely occupied but something tells me that's not right.
 
Physics news on Phys.org
saadsarfraz said:
I found this question in a book.

Q-Suppose you own a hotel with a countable number of rooms. One night a
traveler wishes to stay in your hotel, but all the rooms are occupied. Can
you give him a room without kicking anybody out of the hotel? What if
a tour bus shows up with countably many passengers, all wanting a room?
(Assume each room only accommodates one person.)


I would assume the answer is no since the hotel is completely occupied but something tells me that's not right.

Say you indexed the rooms with the natural numbers. Simply give room n+1 to the person who is in room n. Then room one becomes free.
 
but it says all the rooms are occupied? giving room n+1 to the nth person would mean that one room was already empty isn't it?
 
In a similar paradox, there is a comic book where every 4 or 5 issues they reprint an old issue - if they continue indefinitely will every issue be reprinted?

Most people say no, because of the increasing gap between the number of new issues and reprints.
 
saadsarfraz said:
but it says all the rooms are occupied? giving room n+1 to the nth person would mean that one room was already empty isn't it?
Which room would that be? You can move the person in room 1 to room 2, leaving room 1 empty. And room 2 is open because the person in room 2 has moved to room 3. Which is itself open since the person in room 3 has moved to room 4, etc.
IF there were only a finite number of rooms that would eventually terminate- but there are an infinite number of rooms.

In fact, when that bus with countably many passengers shows up, we can create room for all of them by moving the person in room n to room 2n, leaving all the odd numbered rooms empty.
 
Last edited by a moderator:
saadsarfraz said:
I would assume the answer is no since the hotel is completely occupied but something tells me that's not right.

That's because you're using your intuition for an object that doesn't exist. This is a math problem where phrasing it in terms of a hotel may help people visualize what's going on easier. On the other hand, real world, common sense notions may not make sense for an impossible object.
 
Hi all, I've been a roulette player for more than 10 years (although I took time off here and there) and it's only now that I'm trying to understand the physics of the game. Basically my strategy in roulette is to divide the wheel roughly into two halves (let's call them A and B). My theory is that in roulette there will invariably be variance. In other words, if A comes up 5 times in a row, B will be due to come up soon. However I have been proven wrong many times, and I have seen some...
Thread 'Detail of Diagonalization Lemma'
The following is more or less taken from page 6 of C. Smorynski's "Self-Reference and Modal Logic". (Springer, 1985) (I couldn't get raised brackets to indicate codification (Gödel numbering), so I use a box. The overline is assigning a name. The detail I would like clarification on is in the second step in the last line, where we have an m-overlined, and we substitute the expression for m. Are we saying that the name of a coded term is the same as the coded term? Thanks in advance.
Back
Top