How can a proper subset be the same size as the whole set?
In his final scientific work, Two New Sciences, Galileo Galilei discovered something deeply troubling about infinity. Consider the natural numbers (1, 2, 3, 4, 5, ...) and the perfect squares (1, 4, 9, 16, 25, ...).
Every perfect square is a natural number, but not every natural number is a perfect square. So there must be fewer squares than naturals... right? Yet Galileo found a way to pair them up perfectly, one-to-one, suggesting they have the same size!
Each natural number n maps to exactly one square nĀ²
As we look at larger ranges, squares become increasingly sparse among all numbers:
Pattern: Up to N, there are āN perfect squares ā only 1/āN of all numbers!
The squares are a proper subset of the naturals. Some numbers are squares (1, 4, 9...) while others are not (2, 3, 5, 6, 7, 8...). Therefore, there must be more natural numbers than squares.
Every natural n pairs with exactly one square nĀ². Every square nĀ² pairs with exactly one natural ānĀ². No leftovers on either side! Therefore, they must be the same size.
Both arguments seem valid, yet they reach opposite conclusions! How can the perfect squares be fewer (they're a proper subset with vanishing density) and yet equal (they have a one-to-one correspondence)?
Galileo's solution was radical: he concluded that concepts like "greater than," "less than," and "equal to" simply don't apply to infinite sets the way they do to finite ones. Infinity breaks our normal intuitions about quantity.
Georg Cantor resolved the paradox by redefining what it means for infinite sets to have "the same size." Two sets are equinumerous if and only if there exists a one-to-one correspondence (bijection) between them.
By this definition, the paradox dissolves: both arguments are correct!
The key insight: An infinite set can be put into one-to-one correspondence with a proper subset of itself. This is actually the defining property of infinite sets (Dedekind's definition).
Watch both infinite sequences flow eternally, perfectly matched:
No matter how far you go, every natural number has its square partner, and vice versa.
Galileo's paradox was the first clear demonstration that infinity behaves in ways fundamentally different from finite quantities. This paved the way for: