Counting the Infinite
The classic paradoxes of infinity are not contradictions in mathematics but precise markers of where everyday intuition, trained on the finite, stops working.
Zeno's dichotomy, from the fifth century BCE, argues that motion is impossible: to cross a track you must first reach the halfway point, then half of what remains, and so on — infinitely many sub-tasks, seemingly never completable. The modern resolution is that an infinite series of positive terms can have a finite sum: the halving series 1/2 + 1/4 + 1/8, continued forever, totals exactly 1. Infinitely many stages fit inside a finite distance and a finite time.
Galileo's paradox (1638) observes that every counting number has a square, so the squares can be paired one-to-one with all numbers — yet the squares are clearly only a part of the numbers. For finite collections, a proper part is always smaller; for infinite ones, it need not be. Dedekind later turned the surprise into a definition: an infinite set is exactly one that pairs with a proper part of itself.
Hilbert's hotel, popularized in lectures of 1924, runs the same point as a story. A hotel with infinitely many rooms, all occupied, still takes a new guest: everyone moves from room n to room n + 1, freeing room 1. Infinitely many new guests also fit: everyone moves from n to 2n, freeing all the odd rooms. 'Full' and 'unable to accept more' coincide for finite hotels and diverge for infinite ones.
The Banach–Tarski theorem (1924) is the most violent break with intuition: a solid ball can be divided into five pieces and reassembled, using only rotations and translations, into two solid balls each congruent to the original. No stretching occurs and no mass is created — because the pieces are not ordinary chunks of matter but non-measurable sets of points, constructed via the axiom of choice, to which no consistent volume can be assigned.
In each case the resolution follows the same pattern: identify the finite intuition being assumed, state the infinite rule that replaces it, and check that the mathematics is consistent. The paradoxes survive not as problems but as teaching instruments — each one isolates, with surgical precision, a place where 'infinite' must not be read as 'very large finite.'
Further reading