Date: Jan 30, 2013 4:46 AM
Subject: Re: Matheology § 203
On 30 Jan., 10:31, William Hughes <wpihug...@gmail.com> wrote:
> For a potentially infinite list L, the
> antidiagonal of L is not a line of L.
Of course. Every subset L_1 to L_n can be proved to not contain the
> Does this imply
> There is no potentially infinite list
> of 0/1 sequences, L, with the property that
> any 0/1 sequence, s, is one of the lines
> of L.
Do you mean potentially infinite sequences?
Look, everything Cantor does, concerns only finite initial segments.
You could cut off the sequences behind the digonal digit.
The only thing not terminating, then could be the diagonal itself. But
then you would claim that the diagonal differs from every entry,
because it has more digits. In the original argument, the diagonal
differs at the same places that also exist in the entries. Therefore
the argument with the diagonal "being longer" is wrong.
So in fact, Cantor shows that the countable set of all terminating
decimals is uncountable. Of course this proof is wrong, as using a
list that contains all terminating decimals shows. This argument only
shows that "countability" as a property of actual infinite sets is