Date: Feb 13, 2013 4:07 PM
Author: Virgil
Subject: Re: Matheology � 222 Back to the roots

In article 
<97dc7396-7a6e-4bd1-99aa-d627b00113b5@x13g2000vby.googlegroups.com>,
WM <mueckenh@rz.fh-augsburg.de> wrote:

> On 13 Feb., 19:00, William Hughes <wpihug...@gmail.com> wrote:
> > On Feb 13, 8:54 am, WM <mueck...@rz.fh-augsburg.de> wrote:
> >

> > > On 12 Feb., 20:40, William Hughes <wpihug...@gmail.com> wrote:
> > > > Your first claim is that there is a line l such that
> > > > d and l are equal as potentially infinite sequences.

> >
> > > For every n this is true.
> >
> > Your other claim is that there is no line
> > l such that d and l are equal as potentially infinite
> > sequences.
> >
> > Do you deny you have claimed this?

>
> No, of course not! Why should I do so?
> You cannot discern that two potentially infinity sequences are equal.


Speak for yourself, WM. Others are not so self-handicapped as you are.
> When will you understand that such a result requires completeness?

If it cannot be done, then induction must be impossible, too, as
induction allows such proofs.


> But
> potentially infinite sequences are not complete. You can only *for
> every n* determine whether identity is true.


Potentially infinite sequences in that sense exist only in WMytheology.
>
> *And that is true in the list!* For every n there is a FIS of d and a
> line l such that both are identical.


That can be achieved by having each element of the relevant alphabet
appear as a separate line.

For the binary alphabet, {"0","1"}, that only requires that both "0"
and "1" be lines of the list.



> This follows from the undisputed
> fact that the diagonal cannot stretch farther than any line.


The only place it is "undisputed" is in Wolkenmuekenheim.

And no one but WM ever visits there.
>
> Here is no complete list, no complete diagonal and no line containing
> a complete diagonal.
>
> 1
> 12
> 123
> ...
>
> But for every n the FIS(n) of d is in line(n).


Not if d starts with 321.
--