Date: Mar 7, 2013 3:56 PM
Author: Virgil
Subject: Re: Matheology � 222 Back to the roots
In article

<5f771d18-3500-464b-a3ac-909bba01e0f8@o5g2000vbp.googlegroups.com>,

WM <mueckenh@rz.fh-augsburg.de> wrote:

> On 7 Mrz., 11:35, William Hughes <wpihug...@gmail.com> wrote:

> > On Mar 7, 11:12 am, WM <mueck...@rz.fh-augsburg.de> wrote:

> >

> >

> >

> > > On 6 Mrz., 23:48, William Hughes <wpihug...@gmail.com> wrote:

> >

> > > > On Mar 6, 7:44 pm, WM <mueck...@rz.fh-augsburg.de> wrote:

> >

> > > > > On 6 Mrz., 13:18, William Hughes <wpihug...@gmail.com> wrote:

> >

> > > > <snip>

> >

> > > > > > A subset K of the lines of L

> > > > > > contains every FIS of d iff

> > > > > > K has no findable last line.

> >

> > > > > No

> >

> > > > Let G be a subset of the lines of L

> > > > with a findable last line. Call

> > > > this line g.

> >

> > Note

> >

> > There does not exist

> > (in the sense of not findable)

> > a natural number m such that

> > the mth line of L is coFIS with

> > d

>

> Note, there does not exist d other than as every FIS.

There does outside of WMytheology. In real mathematics, d is merely the

union of all lines, which is not itself one of those lines.

>These FISs are

> the same as the lines. Every findable thing in one set has a

> corresponding finadable thing in the other. There is no difference

> constructible.

One set, the set of lines, is the set of FISs of the other, d

Every line is subset of d, but no line is a member of d.

WM has a long history of being unable to distinguish between the members

of and the subsets of a given set, and that difference appears here to

be confounding him again.

>

> Regards, WM

And where is WM's proof that some mapping from the set of all binary

sequences to the set of all paths of a CIBT is a linear mapping?

WM several times claimed it but cannot seem to prove it.

--