"We must say that there are as many squares as there are numbers"
About this Quote
Galileo Galilei, an influential figure in the history of science, advanced lots of vibrant concepts that challenged the dominating ideas of his time. The quote "We must say that there are as many squares as there are numbers" is an extensive declaration showing early ideas in what would eventually turn into modern set theory and the principle of infinity.
The quote can be interpreted in the context of an early understanding of infinity and the nature of numbers. At face value, the statement seems paradoxical. How can there be as numerous perfect squares as there are natural numbers when intuitively, it appears that only a subset of natural numbers are ideal squares (like 1, 4, 9, 16, and so on)? Galileo is meaning a much deeper mathematical truth: the principle of bijection, or a one-to-one correspondence between sets.
By proposing that there are as many squares as there are numbers, Galileo prepared for the work of later mathematicians such as Georg Cantor, who officially developed the theory of boundless sets. Cantor demonstrated that unlimited sets could have the very same cardinality, or size, even if one is an appropriate subset of the other. In modern-day terms, you can match each natural number with its square: 1 with 1, 2 with 4, 3 with 9, and so forth. This shows that in spite of one being relatively bigger than the other, both sets are unlimited and can be matched in a one-to-one manner.
Galileo's declaration challenges us to reevaluate our instinctive concepts of size and amount when handling infinity. It suggests that our understanding must progress when faced with the infinite, a concept that defies our daily experiences. In this way, Galileo was not simply contributing to mathematical thought but was also pioneering ideas that would affect the philosophy of mathematics, advising future thinkers to separate finite instinct from the homes of boundless sets. Thus, the quote is emblematic of a shift from classical to contemporary thinking in mathematics and highlights the intellectual bravery needed to face and embrace the counterproductive nature of the infinite.