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 anti-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. 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 nonsense.