Learning path
Understanding Infinity
Start with a runner who can never finish a race and end with a solid ball cut into five pieces and reassembled into two of the same size. Nothing along the way is a trick — each step is the honest consequence of the one before it.
Zeno's Dichotomy Paradox
Begin where everyone begins. Before you can add up infinitely many things, you have to be shocked that anyone would want to.
To cross a room you must first cross half of it, then half of what is left, then half of that — an endless list of jobs. Zeno concluded that motion is impossible. The steps do add up to a finite total, but whether that fact actually answers him is still argued over.
AdvancedApparent contradiction18 min
Achilles and the Tortoise
The same argument wearing different clothes. Seeing it twice is what teaches you to spot the shape of the move rather than the story.
Achilles gives a tortoise a head start. By the time he reaches where it was, it has crawled a little further — and so on, forever. Zeno concluded he can never overtake it. He does, and the infinitely many stages take a perfectly ordinary eleven seconds.
IntermediateApparent contradiction15 min
Galileo's Paradox
Zeno cut a finite thing into infinitely many pieces. Galileo does the opposite — he matches an infinite collection against a part of itself and finds they are the same size. This is the first crack.
Most whole numbers are not perfect squares, so the squares must be rarer. Yet every number has exactly one square and every square has exactly one root, so there are precisely as many of one as of the other. Both claims are true.
IntermediateVeridical paradox13 min
Hilbert's Grand Hotel
Galileo's crack, turned into a story you can tell a child. If you can house a new guest in a full hotel, "the same size" means something genuinely different for infinite collections.
A hotel with infinitely many rooms, every one occupied, can still take in a new guest — and a coachload, and infinitely many coachloads. Being full stops meaning what it means everywhere else.
BeginnerCounterintuitive result13 min
Cantor's Diagonal Argument
Now the payoff. If all infinities behaved like Hilbert's hotel there would be nothing more to say. Cantor proves some infinities are strictly larger than others, and the proof fits on a postcard.
Hand over any list claiming to contain every infinite sequence of digits. Reading down the diagonal and changing each entry produces a sequence that is not on it. No list can be complete, so some infinities are bigger than others.
AdvancedCounterintuitive result16 min
The Banach–Tarski Paradox
The end of the road. Once you accept that infinite sets are this strange, and you accept the Axiom of Choice, you get a ball cut into five pieces and reassembled into two identical balls. Nothing here is a mistake — which is precisely the problem.
A solid ball can be cut into five pieces which, moved rigidly and reassembled, form two balls identical to the original. The theorem is proved. The pieces are so ragged that no volume can be assigned to them at any stage.
ExpertCounterintuitive result23 min
That is the path. Try another, orlet the site pick something for you.