Galileo's paradox: Difference between revisions
imported>Subpagination Bot m (Add {{subpages}} and remove any categories (details)) |
imported>Wojciech Świderski m (one-to-one is bijective) |
||
| Line 3: | Line 3: | ||
'''Galileo's paradox''' is a demonstration of one of the surprising properties of infinite sets. | '''Galileo's paradox''' is a demonstration of one of the surprising properties of infinite sets. | ||
In his final scientific work, the ''[[Two New Sciences]]'', [[Galileo Galilei|Galileo]] made two apparently contradictory statements about the positive whole numbers. First, some numbers are perfect squares, while others are not; therefore, all the numbers, including both squares and non-squares, must be more numerous than just the squares. And yet, for every square there is exactly one number that is its square root, and for every number there is exactly one square; hence, there cannot be more of one than of the other. (This is an early use, though not the first, of a proof by [[ | In his final scientific work, the ''[[Two New Sciences]]'', [[Galileo Galilei|Galileo]] made two apparently contradictory statements about the positive whole numbers. First, some numbers are perfect squares, while others are not; therefore, all the numbers, including both squares and non-squares, must be more numerous than just the squares. And yet, for every square there is exactly one number that is its square root, and for every number there is exactly one square; hence, there cannot be more of one than of the other. (This is an early use, though not the first, of a proof by [[bijective function|one-to-one correspondence]] of infinite sets.) | ||
Galileo concluded that the ideas of less, equal, and greater applied only to finite sets, and did not make sense when applied to [[infinity|infinite]] sets. In the nineteenth century [[Georg Cantor|Cantor]], using the same methods, showed that while Galileo's result was correct as applied to the whole numbers and even the rational numbers, the general conclusion did not follow: | Galileo concluded that the ideas of less, equal, and greater applied only to finite sets, and did not make sense when applied to [[infinity|infinite]] sets. In the nineteenth century [[Georg Cantor|Cantor]], using the same methods, showed that while Galileo's result was correct as applied to the whole numbers and even the rational numbers, the general conclusion did not follow: some infinite sets are larger than others, in that they cannot be put into one-to-one correspondence. | ||
Revision as of 00:29, 12 July 2008
Galileo's paradox is a demonstration of one of the surprising properties of infinite sets.
In his final scientific work, the Two New Sciences, Galileo made two apparently contradictory statements about the positive whole numbers. First, some numbers are perfect squares, while others are not; therefore, all the numbers, including both squares and non-squares, must be more numerous than just the squares. And yet, for every square there is exactly one number that is its square root, and for every number there is exactly one square; hence, there cannot be more of one than of the other. (This is an early use, though not the first, of a proof by one-to-one correspondence of infinite sets.)
Galileo concluded that the ideas of less, equal, and greater applied only to finite sets, and did not make sense when applied to infinite sets. In the nineteenth century Cantor, using the same methods, showed that while Galileo's result was correct as applied to the whole numbers and even the rational numbers, the general conclusion did not follow: some infinite sets are larger than others, in that they cannot be put into one-to-one correspondence.