digest
Short Summary
Main recommendation: Hilbert's Hotel shows that infinite sets can be made to fit infinitely many new arrivals by shifting and rearranging guests, but a set of people with uncountably infinite distinct names cannot all be given rooms in a hotel with countably infinite rooms. The video uses this to explain why some infinities are bigger than others, a distinction that eventually led to the computing technology behind the video itself.
Key Points
- A single new guest can be accommodated in a full infinite hotel by moving each guest from room n to room n+1, freeing room one.
- An infinite bus of guests can be accommodated by moving each existing guest from room n to room 2n, leaving all odd-numbered rooms free for the bus passengers.
- Infinitely many infinite buses can be accommodated by arranging their passengers in an infinite grid and zigzagging through it to produce a single list matched to the rooms.
- An infinite party bus whose passengers are named by every infinite sequence of the letters A and B cannot be fully accommodated, because for any attempted complete list of room assignments, a name can always be constructed (by flipping the diagonal letters) that differs from every name on that list.
- The rooms are countably infinite (matching the positive integers), while the passengers are uncountably infinite, so some infinities are larger than others.
Details Worth Noting
- Concrete instructions: Accommodate one new guest by having every existing guest move to the next higher room number. Accommodate an infinite bus by moving every existing guest from room n to room 2n, so passengers fill the odd-numbered rooms. For infinitely many infinite buses, build a grid with one row per bus and one column per seat, traverse it in a zigzag from the top-left corner, and assign rooms in the order visited. To test whether a list of infinite A/B names is complete, flip the nth letter of the nth name, producing a name missing from the list.
- The diagonal construction in the party bus example is the argument for why the set of infinite A/B sequences is uncountable, a proof method associated with Georg Cantor.
- The video notes that the discovery of different sizes of infinity led directly to the invention of the device on which the video is watched, though it defers that story to another time.
Bottom Line
Infinity is not a single size: an infinite hotel can absorb infinitely many guests in several clever ways, yet some infinite crowds are too large to ever fit.
