Date: Dec 24, 2012 6:29 AM
Author: Phillip Helbig---remove CLOTHES to reply
Subject: Re: Simple Refutation of Cantor's Proof
Graham Cooper <firstname.lastname@example.org> writes:
> | 0. 542..
> | 0. 983..
> | 0. 143..
> | 0. 543..
> | ...
> OK - THINK - don't back explain to me.
> You run down the Diagonal 5 8 3 ...
> IN YOUR MIND - you change each digit ONE AT A TIME
> but this process NEVER STOPS
> and you NEVER CONSTRUCT A NEW DIGIT SEQUENCE!
> There are INFINITE PATHS occupying each row and collumn
> that make 5 8 3 and 6 9 4
> There is NOTHING SPECIAL ABOUT THOSE DIGITS OR THAT SEQUENCE!
You are missing the point. The whole idea of the diagonal argument is
that one starts with an infinite list which is presumably exhaustive,
i.e. contains all numbers. The diagonal argument shows that from any
such list it is possible to construct a number not on the list, thus
proving that the list can't be exhaustive.
Using decimals is not very good because it is not clear how you could
order the list to be exhaustive. Use fractions. First, all in which
numerator and denominator add up to 2, then all in which the sum is 3,
and so on. Sure, some numbers will be in the list more than once
(infinitely many times, in fact) but the point is that this constructs
an ordered list of rational numbers. After ordering this way, one can
write the decimal expansion then use the diagonal argument.
Note that the RFC specified a space after "--" for the .sig separator.