```Date: Jan 30, 2013 4:46 AM
Author: mueckenh@rz.fh-augsburg.de
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 theanti-diagonal>> 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. Butthen you would claim that the diagonal differs from every entry,because it has more digits. In the original argument, the diagonaldiffers at the same places that also exist in the entries. Thereforethe argument with the diagonal "being longer" is wrong.So in fact, Cantor shows that the countable set of all terminatingdecimals is uncountable. Of course this proof is wrong, as using alist that contains all terminating decimals shows. This argument onlyshows that "countability" as a property of actual infinite sets isnonsense.Regards, WM
```