WEBVTT

00:00:06.531 --> 00:00:07.715
In the 1920's,

00:00:07.715 --> 00:00:10.208
the German mathematician David Hilbert

00:00:10.208 --> 00:00:12.461
devised a famous thought experiment

00:00:12.461 --> 00:00:14.215
to show us just how hard it is

00:00:14.215 --> 00:00:18.170
to wrap our minds around the concept of infinity.

00:00:18.170 --> 00:00:21.683
Imagine a hotel with an infinite number of rooms

00:00:21.683 --> 00:00:24.291
and a very hardworking night manager.

00:00:24.291 --> 00:00:27.547
One night, the Infinite Hotel is completely full,

00:00:27.547 --> 00:00:31.110
totally booked up with an infinite number of guests.

00:00:31.110 --> 00:00:32.419
A man walks into the hotel

00:00:32.419 --> 00:00:33.934
and asks for a room.

00:00:33.934 --> 00:00:35.468
Rather than turn him down,

00:00:35.468 --> 00:00:37.910
the night manager decides to make room for him.

00:00:37.910 --> 00:00:38.689
How?

00:00:38.689 --> 00:00:41.659
Easy, he asks the guest in room number 1

00:00:41.659 --> 00:00:43.325
to move to room 2,

00:00:43.325 --> 00:00:46.080
the guest in room 2 to move to room 3,

00:00:46.080 --> 00:00:47.162
and so on.

00:00:47.162 --> 00:00:49.862
Every guest moves from room number "n"

00:00:49.862 --> 00:00:52.203
to room number "n+1".

00:00:52.203 --> 00:00:54.412
Since there are an infinite number of rooms,

00:00:54.412 --> 00:00:57.033
there is a new room for each existing guest.

00:00:57.033 --> 00:00:59.784
This leaves room 1 open for the new customer.

00:00:59.784 --> 00:01:01.029
The process can be repeated

00:01:01.029 --> 00:01:03.535
for any finite number of new guests.

00:01:03.535 --> 00:01:05.389
If, say, a tour bus unloads

00:01:05.389 --> 00:01:07.553
40 new people looking for rooms,

00:01:07.553 --> 00:01:09.666
then every existing guest just moves

00:01:09.666 --> 00:01:11.004
from room number "n"

00:01:11.004 --> 00:01:13.662
to room number "n+40",

00:01:13.662 --> 00:01:16.790
thus, opening up the first 40 rooms.

00:01:16.790 --> 00:01:19.195
But now an infinitely large bus

00:01:19.195 --> 00:01:21.768
with a countedly infinite number of passengers

00:01:21.768 --> 00:01:23.697
pulls up to rent rooms.

00:01:23.697 --> 00:01:25.920
Countedly infinite is the key.

00:01:25.920 --> 00:01:28.225
Now, the infinite bus of infinite passengers

00:01:28.225 --> 00:01:30.542
perplexes the night manager at first,

00:01:30.542 --> 00:01:32.034
but he realizes there's a way

00:01:32.034 --> 00:01:33.373
to place each new person.

00:01:33.373 --> 00:01:34.994
He asks the guest in room 1

00:01:34.994 --> 00:01:36.415
to move to room 2.

00:01:36.415 --> 00:01:38.551
He then asks the guest in room 2

00:01:38.551 --> 00:01:40.459
to move to room 4,

00:01:40.459 --> 00:01:41.540
the guest in room 3

00:01:41.540 --> 00:01:42.833
to move to room 6,

00:01:42.833 --> 00:01:44.129
and so one.

00:01:44.129 --> 00:01:47.337
Each current guest moves from room number "n"

00:01:47.337 --> 00:01:50.533
to room number "2n",

00:01:50.533 --> 00:01:54.084
filling up only the infinite even-numbered rooms.

00:01:54.084 --> 00:01:55.953
By doing this, he has now emptied

00:01:55.953 --> 00:01:58.891
all of the infinitely many odd-numbered rooms,

00:01:58.891 --> 00:02:00.309
which are then taken by the people

00:02:00.309 --> 00:02:02.828
filing off the infinite bus.

00:02:02.828 --> 00:02:05.111
Everyone's happy and the hotel's business

00:02:05.111 --> 00:02:06.899
is booming more than ever.

00:02:06.899 --> 00:02:08.403
Well, actually, it is booming

00:02:08.403 --> 00:02:10.440
exactly the same amount as ever,

00:02:10.440 --> 00:02:12.923
banking an infinite number of dollars a night.

00:02:13.723 --> 00:02:16.379
Word spreads about this incredible hotel.

00:02:16.379 --> 00:02:18.568
People pour in from far and wide.

00:02:18.568 --> 00:02:20.866
One night, the unthinkable happens.

00:02:20.866 --> 00:02:23.431
The night manager looks outside

00:02:23.431 --> 00:02:25.061
and sees an infinite line

00:02:25.061 --> 00:02:27.541
of infinitely large buses,

00:02:27.541 --> 00:02:30.353
each with a countedly infinite number of passengers.

00:02:30.353 --> 00:02:31.410
What can he do?

00:02:31.410 --> 00:02:32.913
If he cannot find rooms for them,

00:02:32.913 --> 00:02:34.231
the hotel will lose out

00:02:34.231 --> 00:02:35.982
on an infinite amount of money,

00:02:35.982 --> 00:02:37.979
and he will surely lose his job.

00:02:37.979 --> 00:02:39.083
Luckily, he remembers

00:02:39.083 --> 00:02:41.814
that around the year 300 B.C.E.,

00:02:41.814 --> 00:02:44.750
Euclid proved that there is an infinite quantity

00:02:44.750 --> 00:02:47.215
of prime numbers.

00:02:47.215 --> 00:02:49.684
So, to accomplish this seemingly impossible task

00:02:49.684 --> 00:02:51.005
of finding infinite beds

00:02:51.005 --> 00:02:52.309
for infinite buses

00:02:52.309 --> 00:02:54.315
of infinite weary travelers,

00:02:54.315 --> 00:02:56.607
the night manager assigns every current guest

00:02:56.607 --> 00:02:59.066
to the first prime number, 2,

00:02:59.066 --> 00:03:01.891
raised to the power of their current room number.

00:03:01.891 --> 00:03:04.559
So, the current occupant of room number 7

00:03:04.559 --> 00:03:07.565
goes to room number 2^7,

00:03:07.565 --> 00:03:09.930
which is room 128.

00:03:09.930 --> 00:03:11.643
The night manager then takes the people

00:03:11.643 --> 00:03:13.781
on the first of the infinite buses

00:03:13.781 --> 00:03:15.830
and assigns them to the room number

00:03:15.830 --> 00:03:18.315
of the next prime, 3,

00:03:18.315 --> 00:03:21.752
raised to the power of their seat number on the bus.

00:03:21.752 --> 00:03:25.283
So, the person in seat number 7 on the first bus

00:03:25.283 --> 00:03:28.384
goes to room number 3^7

00:03:28.384 --> 00:03:31.634
or room number 2,187.

00:03:31.634 --> 00:03:34.093
This continues for all of the first bus.

00:03:34.093 --> 00:03:35.765
The passengers on the second bus

00:03:35.765 --> 00:03:39.434
are assigned powers of the next prime, 5.

00:03:39.434 --> 00:03:41.517
The following bus, powers of 7.

00:03:41.517 --> 00:03:42.945
Each bus follows:

00:03:42.945 --> 00:03:43.767
powers of 11,

00:03:43.767 --> 00:03:44.770
powers of 13,

00:03:44.770 --> 00:03:47.190
powers of 17, etc.

00:03:47.190 --> 00:03:48.318
Since each of these numbers

00:03:48.318 --> 00:03:50.992
only has 1 and the natural number powers

00:03:50.992 --> 00:03:53.237
of their prime number base as factors,

00:03:53.237 --> 00:03:55.410
there are no overlapping room numbers.

00:03:55.410 --> 00:03:58.363
All the buses' passengers fan out into rooms

00:03:58.363 --> 00:04:00.870
using unique room assignment schemes

00:04:00.870 --> 00:04:03.510
based on unique prime numbers.

00:04:03.510 --> 00:04:05.578
In this way, the night manager can accomodate

00:04:05.578 --> 00:04:07.870
every passenger on every bus.

00:04:07.870 --> 00:04:10.806
Although, there will be many rooms that go unfilled,

00:04:10.806 --> 00:04:11.897
like room 6

00:04:11.897 --> 00:04:15.119
since 6 is not a power of any prime number.

00:04:15.119 --> 00:04:17.537
Luckily, his bosses weren't very good in math,

00:04:17.537 --> 00:04:19.178
so his job is safe.

00:04:19.178 --> 00:04:22.031
The night manager's strategies are only possible

00:04:22.031 --> 00:04:23.983
because while the Infinite Hotel

00:04:23.983 --> 00:04:26.204
is certainly a logistical nightmare,

00:04:26.204 --> 00:04:29.981
it only deals with the lowest level of infinity,

00:04:29.981 --> 00:04:31.746
mainly, the countable infinity

00:04:31.746 --> 00:04:33.537
of the natural numbers,

00:04:33.537 --> 00:04:36.618
1, 2, 3, 4, and so on.

00:04:36.618 --> 00:04:40.537
Georg Cantor called this level of infinity aleph-zero.

00:04:40.537 --> 00:04:42.665
We use natural numbers for the room numbers

00:04:42.665 --> 00:04:44.787
as well as the seat numbers on the buses.

00:04:45.633 --> 00:04:48.176
If we were dealing with higher orders of infinity,

00:04:48.176 --> 00:04:49.727
such as that of the real numbers,

00:04:49.727 --> 00:04:51.097
these structured strategies

00:04:51.097 --> 00:04:52.564
would no longer be possible

00:04:52.564 --> 00:04:53.850
as we have no way

00:04:53.850 --> 00:04:56.570
to systematically include every number.

00:04:56.570 --> 00:04:58.922
The Real Number Infinite Hotel has

00:04:58.922 --> 00:05:00.929
negative number rooms in the basement,

00:05:00.929 --> 00:05:02.388
fractional rooms,

00:05:02.388 --> 00:05:04.508
so the guy in room 1/2 always suspects

00:05:04.508 --> 00:05:07.205
he has less room than the guy in room 1.

00:05:07.205 --> 00:05:10.332
Square root rooms, like room radical 2

00:05:10.332 --> 00:05:11.462
and room pi,

00:05:11.462 --> 00:05:14.349
where the guests expect free dessert.

00:05:14.349 --> 00:05:15.869
What self-respecting night manager

00:05:15.869 --> 00:05:17.172
would ever want to work there

00:05:17.172 --> 00:05:19.490
even for an infinite salary?

00:05:19.490 --> 00:05:20.797
But over at Hilbert's Infinite Hotel,

00:05:20.797 --> 00:05:22.261
where there's never any vacancy

00:05:22.261 --> 00:05:23.881
and always room for more,

00:05:23.881 --> 00:05:26.950
the scenarios faced by the ever diligent

00:05:26.950 --> 00:05:28.720
and maybe too hospitable night manager

00:05:28.720 --> 00:05:29.804
serve to remind us

00:05:29.804 --> 00:05:31.150
of just how hard it is

00:05:31.150 --> 00:05:33.320
for our relatively finite minds

00:05:33.320 --> 00:05:37.092
to grasp a concept as large as infinity.

00:05:37.092 --> 00:05:38.695
Maybe you can help tackle these problems

00:05:38.695 --> 00:05:40.427
after a good night's sleep.

00:05:40.427 --> 00:05:42.300
But honestly, we might need you

00:05:42.300 --> 00:05:44.701
to change rooms at 2 a.m.