In his final written work, Discourses and Mathematical Demonstrations Relating to Two New Sciences (1638), the legendary Italian polymath Galileo Galilei proposed a mathematical paradox based on the relationships between different sets of numbers. On the one hand, he proposed, there are square numbers—like 1, 4, 9, 16, 25, 36, and so on. On the other, there are those numbers that are not squares—like 2, 3, 5, 6, 7, 8, 10, and so on. Put these two groups together, and surely there have to be more numbers in general than there are justsquare numbers—or, to put it another way, the total number of square numbers must be less than the total number of square and non-square numbers together. However, because every positive number has to have a corresponding square and every square number has to have a positive number as its square root, there cannot possibly be more of one than the other.
Confused? You’re not the only one. In his discussion of his paradox, Galileo was left with no alternative than to conclude that numerical concepts like more, less, or fewer can only be applied to finite sets of numbers, and as there are an infinite number of square and non-square numbers, these concepts simply cannot be used in this context.