What is Galileo's Paradox?

秀梅 许
秀梅 许
PhD student researching applied mathematics.

Alright, no problem! Imagine we're sitting in a coffee shop, and I'm about to tell you about this fascinating "Galileo's Paradox."


What is Galileo's Paradox? A Brain Teaser About "Infinity"

Hey, let me tell you about this interesting paradox. It all starts with a simple question:

Are there more natural numbers (1, 2, 3, 4, ...) or perfect squares (1, 4, 9, 16, ...)?

Your First Reaction

Your first reaction would undoubtedly be: "Of course, there are more natural numbers!"

The reasoning is simple:

  • All perfect squares (1, 4, 9...) are themselves natural numbers.
  • But there are many natural numbers (like 2, 3, 5, 6, 7, 8...) that are not perfect squares.

Looked at this way, perfect squares are just a "subset" or "part" of the set of natural numbers. A part must be smaller than the whole, right? This logic is perfectly sound in our daily lives. For instance, the students in one class are certainly fewer than the students in the entire school.

Galileo's "Ingenious Move"

But hundreds of years ago, Galileo, the great mind who observed stars with a telescope, noticed something peculiar. He said: "Wait, let's try to pair them up."

Here's how he did it:

Natural Number->Perfect Square
1<->1 (i.e., 1²)
2<->4 (i.e., 2²)
3<->9 (i.e., 3²)
4<->16 (i.e., 4²)
...<->...
Any number n<->Its square n²

See that?

  • Every natural number can find one, and only one, perfect square corresponding to it.
  • Conversely, every perfect square can also find one, and only one, natural number (its square root) corresponding to it.

They can perfectly "hold hands" and pair up, no more, no less. From this perspective, their quantities should be the same!

The Paradox Arrives!

This is the core of Galileo's Paradox:

  • On one hand, our intuition tells us that the whole (natural numbers) is greater than the part (perfect squares).
  • On the other hand, logical reasoning (one-to-one correspondence) tells us that their quantities are equal.

Which is correct? Galileo himself was quite puzzled at the time. He concluded that concepts like "greater than," "less than," or "equal to" might simply not apply to "infinity."

How Modern Mathematics Sees It?

More than two hundred years later, a mathematician named Georg Cantor established "set theory," which formally resolved this problem. His view was revolutionary:

For infinite sets, "whether a one-to-one correspondence can be established" is the sole criterion for determining if their quantities are equal!

Our intuition—that "a part is less than the whole"—is built on the world of finite quantities. For example, if you have a box of 10 apples and take out 3, what's left is certainly less than what you started with.

But in the magical realm of "infinity," this rule breaks down. A "part" of an infinite set can absolutely be as large as its "whole."

Therefore, according to the definition of modern mathematics: The number of natural numbers and the number of perfect squares are exactly equal! Both belong to a type of infinity known as "countable infinity."

A Fun Analogy: The Infinite Hotel

To help you understand better, let me tell you about the famous "Hilbert's Hotel" story:

Imagine a hotel with an infinite number of rooms (Room 1, Room 2, Room 3...), and every single room is occupied.

Then, a bus arrives carrying an infinite number of new guests. The hotel manager says: "No problem, we have space!"

How did he do it? He announced over the intercom: "Could every guest currently in room n please move to room 2n."

  • The guest in Room 1 moves to Room 2.
  • The guest in Room 2 moves to Room 4.
  • The guest in Room 3 moves to Room 6.
  • ...

What was the result? All the odd-numbered rooms (1, 3, 5, 7...) became vacant! That's another infinite number of empty rooms, enough to accommodate all those infinite new guests.

This analogy perfectly illustrates the essence of Galileo's Paradox: in the world of infinity, a "part" (like guests in even-numbered rooms) can be as numerous as the "whole" (all guests).

To Summarize

Galileo's Paradox is essentially the mental knot we tie when we apply our everyday intuition, which is geared towards "finite" quantities, to think about "infinity," which doesn't play by the same rules.

It teaches us a profound lesson: infinity is a completely new realm with its own unique rules, and we cannot look at it with our familiar old perspective. It also marked the fascinating beginning of "set theory" in modern mathematics.