Category: mathematics
Type: paradox
Associated thinker(s): Galileo Galilei
Original publication or approximate period: Galileo, Discourses and Mathematical Demonstrations Concerning Two New Sciences (1638)
Difficulty: Beginner
Themes: infinity, cardinality, part and whole
Related experiments: Hilbert’s Hotel; Thomson’s Lamp
In the First Day of Two New Sciences, Galileo’s interlocutors compare the whole numbers with their square numbers: 1, 4, 9, 16, and so on. The squares are only some of the numbers. In finite ranges, their proportion decreases: Galileo’s example says that up to 100 there are 10 squares, and up to 10,000 there are 100.
But every positive whole number is the root of a square. So each number can be matched with its square: 1 with 1, 2 with 4, 3 with 9, and so on. In current mathematical language, this is a one-to-one correspondence. That modern description captures the pairing in the dialogue; it is not Galileo’s technical terminology for cardinality.
When an infinite collection is paired one-to-one with a proper part of itself, should we call the two collections equal in size, or should the whole count as greater than its part?
In Galileo’s dialogue, Salviati concludes that “equal,” “greater,” and “less” do not apply to infinite quantities in the way they do to finite ones. The squares appear fewer because they form only part of the numbers; the root-pairing, however, appears to match every number with exactly one square. The dialogue presents both considerations rather than resolving them with a later definition of infinite size.
Later, Cantorian set theory adopted one-to-one correspondence as the criterion for equal cardinality. On that modern definition, the positive whole numbers and their squares have the same cardinality, even though the squares are a proper subset. Cantorian cardinality also distinguishes infinite sizes: the real numbers cannot be paired one-to-one with the positive whole numbers. These are later mathematical developments, not terminology or results to attribute to Galileo.
The Stanford Encyclopedia of Philosophy’s historical account presents Galileo as concluding that equality and greater-than/less-than comparisons cannot be applied to infinite collections; it explains Cantor’s later cardinality framework as privileging one-to-one correspondence. Matthew W. Parker offers a different philosophical emphasis: he argues that the paradox is best understood through the articulation of distinct concepts of number and size, and that Cantor’s framework is a useful extension rather than the uniquely correct meaning of number. This is a published interpretation, not a settled consensus.
Later alternatives also exist. The SEP account describes theories of “numerosities” that distinguish sets which Cantorian cardinality treats as equal and can preserve a part–whole comparison for infinite sets. These are modern mathematical theories, not Galileo’s own proposal. “Density” can describe how frequently squares occur within finite initial ranges, as in Galileo’s example, but it is not by itself a general replacement for cardinality.
The paradox does not show that all infinite sets have the same cardinality: under Cantorian set theory, the real numbers are not in one-to-one correspondence with the positive whole numbers. Nor does it show that mathematics is inconsistent. The apparent conflict comes from applying different comparison intuitions—part–whole and one-to-one pairing—to infinite collections.
In modern set theory, the positive integers can also be paired one-to-one with their even members. This illustrates the same feature of infinite cardinality; it is an extension of the mathematical discussion, not a variation attributed to Galileo.
Galileo’s First Day passage was checked in the Henry Crew and Alfonso de Salvio English translation of Two New Sciences (1914), especially the discussion of the squares and roots and the conclusion about comparing infinite quantities. “One-to-one correspondence” and “cardinality” are used here as modern mathematical descriptions, not as Galileo’s technical vocabulary. The historical and mathematical context was checked against the Stanford Encyclopedia of Philosophy entry “Infinity”; Parker’s chapter was consulted for a contrasting philosophical interpretation. Modern comparison questions are teaching prompts, not historical claims about Galileo.
Research check: 2026-11-01. The primary text and relevant passages of the two secondary sources were consulted; none of the works was read in full. This is an educational explanation, not a substitute for the primary texts or a comprehensive history of the mathematics of infinity.