Thank you for visiting this site. This article covers “Galileo’s Paradox.”
Take the natural numbers 1, 2, 3, 4, 5 … extending to infinity. Now pick out only the perfect squares: 1, 4, 9, 16, 25 … There are obviously “fewer” perfect squares — yet both sets can be shown to have the same count.
Galileo Galilei was the first to point this out clearly. His 400-year-old observation still makes us marvel at how utterly infinity confounds everyday intuition.
The Paradox
This paradox is discussed in Galileo’s 1638 work Two New Sciences, presented as a dialogue between characters Salviati and Simplicio exploring the strangeness of infinity.
List the natural numbers: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10…
List the perfect squares: 1, 4, 9, 16, 25, 36, 49, 64, 81, 100…
Among the first 10 natural numbers, only 3 are perfect squares (1, 4, 9). Among the first 100, there are 10; among the first 1,000, there are 31; among the first 10,000, there are 100. The “density” of perfect squares keeps falling as we go further.
This trend continues without limit. Among natural numbers up to n there are n of them, but only about √n perfect squares. Among the first million, there are a million natural numbers but only 1,000 perfect squares — a ratio of 0.1%. Perfect squares become increasingly sparse relative to natural numbers.
This makes us want to conclude: “Perfect squares are fewer than natural numbers.”
The Shock of One-to-One Correspondence
Yet every natural number n has a corresponding perfect square n², with no gaps.
| Natural number | 1 | 2 | 3 | 4 | 5 | 6 | … | n | … |
|---|---|---|---|---|---|---|---|---|---|
| Perfect square | 1 | 4 | 9 | 16 | 25 | 36 | … | n² | … |
Every natural number has exactly one corresponding perfect square, and every perfect square has exactly one corresponding natural number. The mapping is one-to-one with nothing left over on either side. No natural number is unmatched; no perfect square is left without a partner.
If there is a one-to-one correspondence, the two sets must have “the same count.”
“By density they are obviously fewer, yet by one-to-one correspondence they are equal” — that is the paradox.
Galileo’s Conclusion — Caution About Infinity
Galileo wrestled deeply with this paradox. His final conclusion was that concepts such as “equal,” “greater,” and “lesser” can only be applied to finite quantities.
In the infinite case these concepts have no meaning, and comparing infinite quantities should not be attempted. In Galileo’s own words: “The attributes of ‘equal,’ ‘greater,’ and ‘less’ cannot be applied to infinite quantities.”
This conclusion was prudent for its time — but it was also a concession that “infinity is beyond human understanding.” More than 200 years later, a mathematician would arrive who refused to accept that concession.
Cantor’s Revolution
In the 19th century, German mathematician Georg Cantor tackled head-on the problem Galileo had avoided.
Cantor made the bold decision to define the “size” (cardinality) of a set by “whether a one-to-one correspondence exists.” Two sets that can be put into one-to-one correspondence are defined as having the same size (the same cardinality).
By this definition, the natural numbers and the perfect squares can be put into one-to-one correspondence, so they are “the same size of infinity.” Cantor named this size countably infinite (aleph-null, ℵ₀).
What Galileo had avoided — the phenomenon where “a part equals the whole” — Cantor embraced not as a contradiction but as an essential feature of infinity.
The Paradox as a Definition
More astonishing still, German mathematician Richard Dedekind turned Galileo’s paradox on its head: “Define an infinite set as one that can be put into one-to-one correspondence with one of its own proper subsets.”
In other words, “a part being equal to the whole” is not a bug of infinity but a feature. In the finite world, a part is always smaller than the whole — this intuition fails in the infinite world. And that failure is precisely what makes infinity infinite.
Under Dedekind’s definition, Galileo’s Paradox is no longer a paradox at all. It is simply a proof that the natural numbers form an infinite set.
Even Numbers, Primes, Rationals — All “The Same Size”
Galileo’s Paradox is not unique to perfect squares. The same reasoning shows that the natural numbers can be put into one-to-one correspondence with the even numbers, the odd numbers, and even the prime numbers.
Cantor further proved that the natural numbers and the rational numbers (all fractions) also correspond one-to-one. Intuitively there seem to be infinitely many rationals packed between any two natural numbers (between 1 and 2: 1/2, 1/3, 1/4… ), yet as a whole they are the same size.
On the other hand, Cantor proved by the diagonal argument that the real numbers are a “strictly larger infinity” than the natural numbers. Some infinities are bigger than others — a shocking discovery. The exploration of infinity that began with Galileo’s Paradox ultimately gave birth to an entirely new branch of mathematics: set theory.
Summary
This article covered “Galileo’s Paradox.”
Intuitions built in the finite world do not apply to infinity — a lesson this paradox taught 400 years ago. Galileo cautiously sidestepped infinity; Cantor confronted it directly, opening new horizons for mathematics.
The fact that a part can equal the whole never stops feeling strange, no matter how many times you think about it.
To return to the full list of paradoxes, follow the link below.
Thank you for reading. We hope to see you in the next article.
