```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.--
```