an infinity of infinities
I was thinking today about the infinite density of the real numbers a la set theory. Then it occurred to me that Cantor has an elegant proof for the incompleteness of the density of real numbers - that I would like to show in a scaled down model. Suppose one thought that numbers could only be broken down into eighth's, and that was the smallest division of numbers allowable - and this covered all numbers. Then suppose you listed them in decimal notion between zero and one like this: (the boldface will become clear)
. 1 2 5 0 0 0 0
. 2 5 0 0 0 0 0
. 3 7 5 0 0 0 0
. 5 0 0 0 0 0 0
. 6 2 5 0 0 0 0
. 7 5 0 0 0 0 0
. 8 7 5 0 0 0 0
Take the decimal illustrated by the diagonal. Add any number to each of the digits (say 1 in this example). You get .2661111 - which is not on the chart. Now generalize. The modified diagonal number has the first digit different than the first number, the second digit different from the second number, the third digit different from etc etc etc. So even if we had very very small differences the diagonal number modified will always be different than any other number on the list.
What is the import of this? Probably nothing. But something analogous to this reasoning is used to show omega inconsistency in formalized mathematical systems. But more on this at another time.
. 1 2 5 0 0 0 0
. 2 5 0 0 0 0 0
. 3 7 5 0 0 0 0
. 5 0 0 0 0 0 0
. 6 2 5 0 0 0 0
. 7 5 0 0 0 0 0
. 8 7 5 0 0 0 0
Take the decimal illustrated by the diagonal. Add any number to each of the digits (say 1 in this example). You get .2661111 - which is not on the chart. Now generalize. The modified diagonal number has the first digit different than the first number, the second digit different from the second number, the third digit different from etc etc etc. So even if we had very very small differences the diagonal number modified will always be different than any other number on the list.
What is the import of this? Probably nothing. But something analogous to this reasoning is used to show omega inconsistency in formalized mathematical systems. But more on this at another time.