1 00:00:06,531 --> 00:00:07,715 In the 1920's, 2 00:00:07,715 --> 00:00:10,208 the German mathematician David Hilbert 3 00:00:10,208 --> 00:00:12,461 devised a famous thought experiment 4 00:00:12,461 --> 00:00:14,215 to show us just how hard it is 5 00:00:14,215 --> 00:00:18,170 to wrap our minds around the concept of infinity. 6 00:00:18,170 --> 00:00:21,683 Imagine a hotel with an infinite number of rooms 7 00:00:21,683 --> 00:00:24,291 and a very hardworking night manager. 8 00:00:24,291 --> 00:00:27,547 One night, the Infinite Hotel is completely full, 9 00:00:27,547 --> 00:00:31,110 totally booked up with an infinite number of guests. 10 00:00:31,110 --> 00:00:32,419 A man walks into the hotel 11 00:00:32,419 --> 00:00:33,934 and asks for a room. 12 00:00:33,934 --> 00:00:35,468 Rather than turn him down, 13 00:00:35,468 --> 00:00:37,910 the night manager decides to make room for him. 14 00:00:37,910 --> 00:00:38,689 How? 15 00:00:38,689 --> 00:00:41,659 Easy, he asks the guest in room number 1 16 00:00:41,659 --> 00:00:43,325 to move to room 2, 17 00:00:43,325 --> 00:00:46,080 the guest in room 2 to move to room 3, 18 00:00:46,080 --> 00:00:47,162 and so on. 19 00:00:47,162 --> 00:00:49,862 Every guest moves from room number "n" 20 00:00:49,862 --> 00:00:52,203 to room number "n+1". 21 00:00:52,203 --> 00:00:54,412 Since there are an infinite number of rooms, 22 00:00:54,412 --> 00:00:57,033 there is a new room for each existing guest. 23 00:00:57,033 --> 00:00:59,784 This leaves room 1 open for the new customer. 24 00:00:59,784 --> 00:01:01,029 The process can be repeated 25 00:01:01,029 --> 00:01:03,535 for any finite number of new guests. 26 00:01:03,535 --> 00:01:05,389 If, say, a tour bus unloads 27 00:01:05,389 --> 00:01:07,553 40 new people looking for rooms, 28 00:01:07,553 --> 00:01:09,666 then every existing guest just moves 29 00:01:09,666 --> 00:01:11,004 from room number "n" 30 00:01:11,004 --> 00:01:13,662 to room number "n+40", 31 00:01:13,662 --> 00:01:16,790 thus, opening up the first 40 rooms. 32 00:01:16,790 --> 00:01:19,195 But now an infinitely large bus 33 00:01:19,195 --> 00:01:21,768 with a countedly infinite number of passengers 34 00:01:21,768 --> 00:01:23,697 pulls up to rent rooms. 35 00:01:23,697 --> 00:01:25,920 Countedly infinite is the key. 36 00:01:25,920 --> 00:01:28,225 Now, the infinite bus of infinite passengers 37 00:01:28,225 --> 00:01:30,542 perplexes the night manager at first, 38 00:01:30,542 --> 00:01:32,034 but he realizes there's a way 39 00:01:32,034 --> 00:01:33,373 to place each new person. 40 00:01:33,373 --> 00:01:34,994 He asks the guest in room 1 41 00:01:34,994 --> 00:01:36,415 to move to room 2. 42 00:01:36,415 --> 00:01:38,551 He then asks the guest in room 2 43 00:01:38,551 --> 00:01:40,459 to move to room 4, 44 00:01:40,459 --> 00:01:41,540 the guest in room 3 45 00:01:41,540 --> 00:01:42,833 to move to room 6, 46 00:01:42,833 --> 00:01:44,129 and so one. 47 00:01:44,129 --> 00:01:47,337 Each current guest moves from room number "n" 48 00:01:47,337 --> 00:01:50,533 to room number "2n", 49 00:01:50,533 --> 00:01:54,084 filling up only the infinite even-numbered rooms. 50 00:01:54,084 --> 00:01:55,953 By doing this, he has now emptied 51 00:01:55,953 --> 00:01:58,891 all of the infinitely many odd-numbered rooms, 52 00:01:58,891 --> 00:02:00,309 which are then taken by the people 53 00:02:00,309 --> 00:02:02,828 filing off the infinite bus. 54 00:02:02,828 --> 00:02:05,111 Everyone's happy and the hotel's business 55 00:02:05,111 --> 00:02:06,899 is booming more than ever. 56 00:02:06,899 --> 00:02:08,403 Well, actually, it is booming 57 00:02:08,403 --> 00:02:10,440 exactly the same amount as ever, 58 00:02:10,440 --> 00:02:12,923 banking an infinite number of dollars a night. 59 00:02:13,723 --> 00:02:16,379 Word spreads about this incredible hotel. 60 00:02:16,379 --> 00:02:18,568 People pour in from far and wide. 61 00:02:18,568 --> 00:02:20,866 One night, the unthinkable happens. 62 00:02:20,866 --> 00:02:23,431 The night manager looks outside 63 00:02:23,431 --> 00:02:25,061 and sees an infinite line 64 00:02:25,061 --> 00:02:27,541 of infinitely large buses, 65 00:02:27,541 --> 00:02:30,353 each with a countedly infinite number of passengers. 66 00:02:30,353 --> 00:02:31,410 What can he do? 67 00:02:31,410 --> 00:02:32,913 If he cannot find rooms for them, 68 00:02:32,913 --> 00:02:34,231 the hotel will lose out 69 00:02:34,231 --> 00:02:35,982 on an infinite amount of money, 70 00:02:35,982 --> 00:02:37,979 and he will surely lose his job. 71 00:02:37,979 --> 00:02:39,083 Luckily, he remembers 72 00:02:39,083 --> 00:02:41,814 that around the year 300 B.C.E., 73 00:02:41,814 --> 00:02:44,750 Euclid proved that there is an infinite quantity 74 00:02:44,750 --> 00:02:47,215 of prime numbers. 75 00:02:47,215 --> 00:02:49,684 So, to accomplish this seemingly impossible task 76 00:02:49,684 --> 00:02:51,005 of finding infinite beds 77 00:02:51,005 --> 00:02:52,309 for infinite buses 78 00:02:52,309 --> 00:02:54,315 of infinite weary travelers, 79 00:02:54,315 --> 00:02:56,607 the night manager assigns every current guest 80 00:02:56,607 --> 00:02:59,066 to the first prime number, 2, 81 00:02:59,066 --> 00:03:01,891 raised to the power of their current room number. 82 00:03:01,891 --> 00:03:04,559 So, the current occupant of room number 7 83 00:03:04,559 --> 00:03:07,565 goes to room number 2^7, 84 00:03:07,565 --> 00:03:09,930 which is room 128. 85 00:03:09,930 --> 00:03:11,643 The night manager then takes the people 86 00:03:11,643 --> 00:03:13,781 on the first of the infinite buses 87 00:03:13,781 --> 00:03:15,830 and assigns them to the room number 88 00:03:15,830 --> 00:03:18,315 of the next prime, 3, 89 00:03:18,315 --> 00:03:21,752 raised to the power of their seat number on the bus. 90 00:03:21,752 --> 00:03:25,283 So, the person in seat number 7 on the first bus 91 00:03:25,283 --> 00:03:28,384 goes to room number 3^7 92 00:03:28,384 --> 00:03:31,634 or room number 2,187. 93 00:03:31,634 --> 00:03:34,093 This continues for all of the first bus. 94 00:03:34,093 --> 00:03:35,765 The passengers on the second bus 95 00:03:35,765 --> 00:03:39,434 are assigned powers of the next prime, 5. 96 00:03:39,434 --> 00:03:41,517 The following bus, powers of 7. 97 00:03:41,517 --> 00:03:42,945 Each bus follows: 98 00:03:42,945 --> 00:03:43,767 powers of 11, 99 00:03:43,767 --> 00:03:44,770 powers of 13, 100 00:03:44,770 --> 00:03:47,190 powers of 17, etc. 101 00:03:47,190 --> 00:03:48,318 Since each of these numbers 102 00:03:48,318 --> 00:03:50,992 only has 1 and the natural number powers 103 00:03:50,992 --> 00:03:53,237 of their prime number base as factors, 104 00:03:53,237 --> 00:03:55,410 there are no overlapping room numbers. 105 00:03:55,410 --> 00:03:58,363 All the buses' passengers fan out into rooms 106 00:03:58,363 --> 00:04:00,870 using unique room assignment schemes 107 00:04:00,870 --> 00:04:03,510 based on unique prime numbers. 108 00:04:03,510 --> 00:04:05,578 In this way, the night manager can accomodate 109 00:04:05,578 --> 00:04:07,870 every passenger on every bus. 110 00:04:07,870 --> 00:04:10,806 Although, there will be many rooms that go unfilled, 111 00:04:10,806 --> 00:04:11,897 like room 6 112 00:04:11,897 --> 00:04:15,119 since 6 is not a power of any prime number. 113 00:04:15,119 --> 00:04:17,537 Luckily, his bosses weren't very good in math, 114 00:04:17,537 --> 00:04:19,178 so his job is safe. 115 00:04:19,178 --> 00:04:22,031 The night manager's strategies are only possible 116 00:04:22,031 --> 00:04:23,983 because while the Infinite Hotel 117 00:04:23,983 --> 00:04:26,204 is certainly a logistical nightmare, 118 00:04:26,204 --> 00:04:29,981 it only deals with the lowest level of infinity, 119 00:04:29,981 --> 00:04:31,746 mainly, the countable infinity 120 00:04:31,746 --> 00:04:33,537 of the natural numbers, 121 00:04:33,537 --> 00:04:36,618 1, 2, 3, 4, and so on. 122 00:04:36,618 --> 00:04:40,537 Georg Cantor called this level of infinity aleph-zero. 123 00:04:40,537 --> 00:04:42,665 We use natural numbers for the room numbers 124 00:04:42,665 --> 00:04:44,787 as well as the seat numbers on the buses. 125 00:04:45,633 --> 00:04:48,176 If we were dealing with higher orders of infinity, 126 00:04:48,176 --> 00:04:49,727 such as that of the real numbers, 127 00:04:49,727 --> 00:04:51,097 these structured strategies 128 00:04:51,097 --> 00:04:52,564 would no longer be possible 129 00:04:52,564 --> 00:04:53,850 as we have no way 130 00:04:53,850 --> 00:04:56,570 to systematically include every number. 131 00:04:56,570 --> 00:04:58,922 The Real Number Infinite Hotel has 132 00:04:58,922 --> 00:05:00,929 negative number rooms in the basement, 133 00:05:00,929 --> 00:05:02,388 fractional rooms, 134 00:05:02,388 --> 00:05:04,508 so the guy in room 1/2 always suspects 135 00:05:04,508 --> 00:05:07,205 he has less room than the guy in room 1. 136 00:05:07,205 --> 00:05:10,332 Square root rooms, like room radical 2 137 00:05:10,332 --> 00:05:11,462 and room pi, 138 00:05:11,462 --> 00:05:14,349 where the guests expect free dessert. 139 00:05:14,349 --> 00:05:15,869 What self-respecting night manager 140 00:05:15,869 --> 00:05:17,172 would ever want to work there 141 00:05:17,172 --> 00:05:19,490 even for an infinite salary? 142 00:05:19,490 --> 00:05:20,797 But over at Hilbert's Infinite Hotel, 143 00:05:20,797 --> 00:05:22,261 where there's never any vacancy 144 00:05:22,261 --> 00:05:23,881 and always room for more, 145 00:05:23,881 --> 00:05:26,950 the scenarios faced by the ever diligent 146 00:05:26,950 --> 00:05:28,720 and maybe too hospitable night manager 147 00:05:28,720 --> 00:05:29,804 serve to remind us 148 00:05:29,804 --> 00:05:31,150 of just how hard it is 149 00:05:31,150 --> 00:05:33,320 for our relatively finite minds 150 00:05:33,320 --> 00:05:37,092 to grasp a concept as large as infinity. 151 00:05:37,092 --> 00:05:38,695 Maybe you can help tackle these problems 152 00:05:38,695 --> 00:05:40,427 after a good night's sleep. 153 00:05:40,427 --> 00:05:42,300 But honestly, we might need you 154 00:05:42,300 --> 00:05:44,701 to change rooms at 2 a.m.