Galileo's Paradox of Infinity Calculator

What Is Galileo's Paradox of Infinity?

Galileo's Paradox of Infinity is a famous mathematical paradox described by Italian polymath Galileo Galilei in his final scientific treatise, Discorsi e dimostrazioni matematiche intorno a due nuove scienze (1638).

The paradox demonstrates a surprising conflict between our intuition about finite numbers and the mathematical reality of infinite sets:

1. Observation 1: Some natural numbers are perfect squares ($1, 4, 9, 16, 25, 36, \dots$), but most numbers are not ($2, 3, 5, 6, 7, 8, \dots$). Thus, perfect squares form a strict, proper subset of the natural numbers $\mathbb{N}$.
2. Observation 2: In any finite interval $[1, N]$, the number of perfect squares is $\lfloor \sqrt{N} \rfloor$, which is much smaller than $N$. As $N$ grows, the density of squares $\frac{\lfloor \sqrt{N} \rfloor}{N}$ approaches $0$.
3. Observation 3: Yet, every natural number $n$ has exactly one square $n^2$, and every square has exactly one positive square root $\sqrt{n^2} = n$. There exists a perfect one-to-one correspondence (bijection) between $\mathbb{N}$ and the set of squares $S$.

Galileo concluded that terms like "greater than", "equal to", and "less than" cannot be applied to infinite quantities in the same manner as finite quantities.

The Bijection: Mapping $\mathbb{N}$ to Perfect Squares

Finite Density vs. Infinite Cardinality

In finite bounds $[1, N]$, the number of perfect squares is given by the floor function of the square root, $k = \lfloor \sqrt{N} \rfloor$:

• In $[1, 100]$: $\lfloor \sqrt{100} \rfloor = 10$ squares ($10.0\%$ density).
• In $[1, 10{,}000]$: $\lfloor \sqrt{10{,}000} \rfloor = 100$ squares ($1.0\%$ density).
• In $[1, 1{,}000{,}000]$: $\lfloor \sqrt{1{,}000{,}000} \rfloor = 1{,}000$ squares ($0.1\%$ density).
• As $N \to \infty$: $\lim_{N \to \infty} \frac{\lfloor \sqrt{N} \rfloor}{N} = 0$.

You can calculate individual roots using our Square Root Calculator and explore number patterns with the Sequence of Squares Generator.

Modern Resolution: Cantor and Dedekind Infinite Sets

In the late 19th century, German mathematician Georg Cantor formalized the modern theory of transfinite numbers. He established that two sets have the same cardinality (size) if and only if there exists a bijective function between them:

$$|\mathbb{N}| = |\{n^2 \mid n \in \mathbb{N}\}| = \aleph_0 \quad (\text{Aleph-null})$$

Furthermore, Richard Dedekind used Galileo's property to define an infinite set rigorously:

A set $A$ is Dedekind-infinite if and only if it can be put into one-to-one correspondence with a proper subset of itself.