Virgil
Posts:
8,833
Registered:
1/6/11


Re: Finitely definable reals.
Posted:
Jan 12, 2013 4:19 PM


In article <ec756de9c3c1433bab195ee0b536e568@v7g2000yqv.googlegroups.com>, WM <mueckenh@rz.fhaugsburg.de> wrote:
> On 12 Jan., 02:14, Virgil <vir...@ligriv.com> wrote: > > > > Cantor managed to prove that there are more than countably many finite > > > binary strings possible. Remember, the part behind a_nn of a_n is not > > > relevant for his proof. > > > > Quite so, but that in no way weakens his proof. > > It shows a selfcontradiction by the fact that there must be an > antidiagonal that from every entry differs at a finite place. But if > the list is complete with respect to all finite binary strings, this > is obviously impossible.
So that WM seems to be declaring than an infinite string cannot be different from all finite strings?
When not bound by WMytheology, ANY infinite string differs from ALL finite strings, however arranged.
And I am at a loss to understand what in WMytheology allow it to be otherwise.. 

