```Date: Jan 10, 2013 1:07 PM
Author: Zaljohar@gmail.com
Subject: Re: FAILURE OF THE DISTINGUISHABILITY ARGUMENT. THE TRIUMPH OF<br> CANTOR: THE REALS ARE UNCOUNTABLE!

On Jan 10, 2:31 pm, WM <mueck...@rz.fh-augsburg.de> wrote:> On 10 Jan., 12:11, Zuhair <zaljo...@gmail.com> wrote:>> > > The anti-diagonal up to digit n must have a double up to digit n.>> > Of course, because the list is defined as the list of ALL terminating> > decimal representations. That is correct and natural and Cantor's> > arguments Agrees with that completely.>> Can you quote the relevant paragraph?>>>> > > Result: The diagonal cannot be an entry of the list.>> > the list> > ONLY contains TERMINATING decimal representations, while the diagonal> > and the anti-diagonal are non terminating decimal representations>> I do not know what you worship . Every finite initial segment of the> anti-diagonal is an entry of the list. I do not know what else can> belong to the anti-diagonal. But certainly this additional thing> cannot be used to distinguish it from anything.What I meant is that Cantor, I and everybody who knows basic logicknows very well that NO such a diagonal (actually no such a real)could ever exist. And also I meant that any NON terminating decimalexpansion of a real would already be not on the list of yours bydefinition even though we know that EVERY n-initial segment of itwould have an n-sized copy of it in the list of course, the reasonbecause any NON TERMINATING decimal expansion of any of reals is NONterminating and your list only contains terminating expansions. Sothere is a kind of irrelevance here. Anyhow this is not the majorissue. The major issue is that Cantor NEVER claimed that there exist adiagonal (or anti-diagonal) that has some n-initial segment of it thatis different from every n sized decimal expansion, and you simplythough that he did, so you've misinterpreted Cantor.Zuhair>> > of course the diagonal and the anti-diagonal cannot be> > different (at a finite position) from all entries of the list, because> > the list is of ALL finite initial segments of reals, Cantor agrees to> > that,>> Can you quote the paragraph where it does that?>> Regards, WM
```