Galileo's Paradox of Infinity Calculator
Galileo noticed in 1638 that every natural number n can be paired one-to-one with its square n², yet the squares seem to be 'fewer'. Enter an upper bound N to see how many perfect squares are in [1, N], their density among naturals, and how the paradox resolves via the concept of cardinality.
⌊√N⌋ — yet these are equinumerous with all natural numbers (bijection n ↔ n²)
- 1
Square root of N
√100 = 10Count integers k with k² ≤ N by finding how far √N reaches. - 2
Floor to whole perfect squares
⌊10⌋ = 10
How does this calculator work?
In [1, N] there are N naturals but only ⌊√N⌋ perfect squares; density = ⌊√N⌋/N → 0 as N → ∞. Yet both sets are equinumerous (both countably infinite, cardinality ℵ₀) because the bijection n ↔ n² pairs every natural with a unique square. 'More' and 'fewer' don't apply to infinite sets.
Formula
How this is calculated
In his 1638 dialogue "Two New Sciences", Galileo Galilei pointed out that the natural numbers (1, 2, 3, …) and the perfect squares (1, 4, 9, 16, …) can be placed in a one-to-one correspondence: match each n with n². This means the two collections are the same "size" in the sense that every natural number gets exactly one partner and no square is left over. Yet within any finite range [1, N], the perfect squares are clearly a proper subset — for N = 100, there are 100 naturals but only 10 perfect squares, a density of just 10 %.
Galileo found this puzzling and concluded that the usual notions of "greater", "lesser", and "equal" simply do not apply to infinite collections. He was right, though for different reasons than he stated. Georg Cantor formalised this in the 19th century: two sets are the same size (have the same cardinality) if and only if a bijection (perfect one-to-one pairing) exists between them. The natural numbers and the perfect squares both have cardinality ℵ₀ (aleph-null), the smallest infinite cardinal — they are both "countably infinite".
As you increase N, the density ⌊√N⌋/N → 0: the squares become ever sparser among the naturals. At N = 100 the density is 10 %; at N = 10,000 it is 1 %; at N = 1,000,000 it is 0.1 %. Despite this vanishing density, the sets remain equinumerous because density (asymptotic proportion) and cardinality (bijection existence) are distinct concepts. This is one of the foundational paradoxes that drove the development of modern set theory.
Frequently asked questions
Galileo observed that the natural numbers and perfect squares can be matched one-to-one (n ↔ n²), suggesting equal size, yet the squares are a proper subset of the naturals — seeming 'fewer'. The paradox reveals that the intuitive notions of 'more' and 'fewer' break down for infinite sets.
Cantor resolved it by defining set size via bijection (one-to-one correspondence) rather than subset relationships. Any infinite set that can be paired with the natural numbers has cardinality ℵ₀ (countably infinite). Both ℕ and {n²} are countably infinite, so they are the same 'size' in the rigorous sense, even though squares have zero asymptotic density among naturals.
Density measures how sparse a subset is within its superset (here: squares become vanishingly rare as N grows). Cardinality measures whether a bijection exists between two sets. An infinite subset can have zero density yet the same cardinality as the whole set — the paradox lives in the gap between these two distinct notions.
TG we-Calculate Editorial Team. (2026). Galileo's Paradox of Infinity Calculator [Online calculator]. TG we-Calculate. https://we-calculate.com/calculator/galileos-paradox-of-infinity-calculator
TG we-Calculate Editorial Team. "Galileo's Paradox of Infinity Calculator." TG we-Calculate. 2026. https://we-calculate.com/calculator/galileos-paradox-of-infinity-calculator.
TG we-Calculate Editorial Team, "Galileo's Paradox of Infinity Calculator," TG we-Calculate, 2026. [Online]. Available: https://we-calculate.com/calculator/galileos-paradox-of-infinity-calculator
@misc{wecalculate_galileos_paradox_of_infinity_calculator, title = {Galileo's Paradox of Infinity Calculator}, author = {{TG we-Calculate Editorial Team}}, howpublished = {\url{https://we-calculate.com/calculator/galileos-paradox-of-infinity-calculator}}, year = {2026}, note = {TG we-Calculate} }
Did this calculator help you?