- Imagine there's a hotel
with infinite rooms. They're numbered one, two,
three, four, and so on forever. This is the Hilbert Hotel
and you are the manager. Now it might seem like you could accommodate
anyone who ever shows up, but there is a limit, a way to exceed even the infinity of rooms
at the Hilbert Hotel. To start let's say only one
person is allowed in each room and all the rooms are full. There are an infinite number of people, in an infinite number of rooms. Then someone new shows
up and they want a room, but all the rooms are occupied. So what should you do? Well, a lesser manager
might turn them away, but you know about infinity. So you get on the PA and you tell all the
guests to move down a room. So the person in room
one moves to room two. The one in room two moves to room three, and so on down the line. And now you can put the
new guest in room one. If a bus shows up with a hundred people, you know exactly what to do just move everyone down a hundred rooms and put the new guests
in their vacated rooms. But now let's say a bus shows
up that is infinitely long, and it's carrying infinitely many people. You knew what to do with
a finite number of people but what do you do with infinite people? You think about it for a minute and then come up with a plan. You tell each of your existing guests to move to the room with
double their room number. So the person in room
one moves to room two, room two moves to room four, room three to room six and so on. And now all of the odd
numbered rooms are available. And you know, there are an
infinite number of odd numbers. So you can give each
person on the infinite bus, a unique, odd numbered room. This hotel is really starting to feel like it can fit everybody. And that's the beauty of infinity, it goes on forever. And then all of a sudden
more infinite buses show up, not just one or two, but an infinite number of infinite buses. So, what can you do? Well, you pull out an infinite
spreadsheet of course. You make a row for each bus, bus 1 bus 2 bus 3 and so on. And a row at the top for all the people who
are already in the hotel. The columns are for the
position each person occupies. So you've got hotel room
one, hotel room two, hotel room three, et cetera. And then bus one seat
one, bus one seat two, bus one seat three and so on. So each person gets a unique identifier which is a combination of their vehicle and their position in it. So how do you assign the rooms? Well start in the top left corner and draw a line that
zigzags back and forth across the spreadsheet, going over each unique ID exactly once. Then imagine you pull on the
opposite ends of this line, straightening it out. So we've gone from an
infinite by infinite grid, to a single infinite line. It's then pretty simple just to line up each person on that line with a unique room in the hotel. So everyone fits, no problem. But now a big bus pulls up. An infinite party bus with no seats. Instead, everyone on board is identified by their unique name,
which is kind of strange. So their names all consist
of only two letters, A and B But each name is infinitely long. So someone is named A, B, B,
A, A, A, A, A, A, A, A, A, and so on forever. Someone else is named AB,
AB, AB, AB, AB, et cetera. On this bus, there's a person with every possible infinite
sequence of these two letters. Now, ABB, A, A, A, A, I'll
call him Abba for short. He comes into the hotel
to arrange the rooms, but you tell him, "Sorry, there's no way we can
fit all of you in the hotel." And he's like, "What do you mean? "There's an infinite number of us "and you have an infinite number of rooms. "Why won't this work?" So you show him. you pull out your infinite
spreadsheet again and start assigning rooms
to people on the bus. So you have room one, assign it to ABBA, and then room two to
AB AB AB AB repeating. And you keep going,
putting a different string of As and Bs beside each room number. "Now here's the problem," you tell ABBA, "let's say we have a
complete infinite list. "I can still write down
the name of a person, "who doesn't yet have a room." The way you do it is you
take the first letter of the first name and
flip it from an A to a B. Then take the second
letter of the second name and flip it from a B to an A. And you keep doing this
all the way down the list. And the name you write down
is guaranteed to appear nowhere on that list. Because it won't match the
first letter of the first name, or the second letter of the second name, or the third letter of the third name. It will be different from
every name on the list, by at least one character. The letter on the diagonal. The number of rooms in the
Hilbert Hotel is infinite, sure, but it is countably infinite. Meaning there are as many rooms as there are positive
integers one to infinity. By contrast, the number
of people on the bus is uncountably infinite. If you try to match up
each one with an integer, you will still have people leftover. Some infinities are bigger than others. So there's a limit to the
people that you can fit, in the Hilbert Hotel. This is mind blowing enough, but what's even crazier is that the discovery of different
sized infinities, sparked a line of inquiry
that led directly, to the invention of the device you're watching this on right now. But that's a story for another time. (upbeat music)
I look forward to the posts attempting to disprove the math and the commenters pretending the OPs are their beloved grandmother asking them about crypto and being nice and helpful to the OPs
I'm not a mathematician, but can someone explain how this last case isn't a contradiction of all the previous cases?
For any name ABBAAAAA... just convert it to binary. You then have a numerical representation of the unique name. If A = 0 and B = 1, then ABBAAA... with infinitely many A's after that would be 4. All A's is 0, BAAAA... is 1, ABAAAA... is 2, and so on.
The infinite sequence of unique names could be converted 1 to 1 to a unique binary number, and these numbers would run from 1 to infinity.
So, how is it that we can claim we can perfectly accommodate the 99999999...th guest but somehow not accommodate the BBBBBBB...th guest? This is absurd.
This has got to be a paradox. Either we can accommodate all of these sets, or we can accommodate none of these sets. I don't see how we can accept both.
I don't understand the argument with the diagonal.
If there is infinitely many people, every sequence of A's and B's are present. So if we invert all the xth numbers on the xth row, we will not create a new sequence, but we will create a sequence which is just further down the list. Only after we have written the last letter can we be sure that the name doesnt appear on the list. But since the number never ends it still is somewhere on the list, but below the xth row
Note: I want to ask here because it's too difficult to write on YT. I'm not trying to disprove anything, I need someone to show me where I'm wrong please.
This only covers the guests moving one room down.
Scenario 1: New Guest takes Room1, Guest1 moves to Room2, G2 moves to R3, etc until all guests find a new room. (I think I understand this concept.)
Scenario 2: Nobody moves room and New Guest walks down the hallway for an infinite time, passing Room1 to Room2, R2 to R3, etc for an infinite amount of time.
Both scenarios have the same function; somebody moves from room to room for an infinite amount of time, (is this wrong?)
If both scenarios are true, there's enough rooms for the Room Guests moving room to room but there isn't an empty room for New Guest because the initial argument says the hotel is full. But if there's no room for New Guest, there can't be room for Room Guests either as both scenario are functionally the same?
Where is my logic breaking down?
Who does Derek think he is, Grey?
Infinity hurts my brain.
In the very first scenario, β people in β rooms; it's possible to write down the name of a person who doesn't have a room; β+1 is guaranteed not to appear in any room.
There is an infinite number of people on the ABAA bus who can be accommodated in the hotel one at a time to β by the same logic as the previous scenarios. Thereafter naming any person not already in the hotel is equivalent to β+1 not having a room in the first scenario.
Based on how he presented this scenario, this seems like a labeling issue, or a language game, rather than a mathematical problem.