Date: Mar 7, 2013 6:53 PM
Author: Virgil
Subject: Re: Matheology � 222 Back to the roots

In article 
<fce81726-5079-4850-bccf-fce52ce8e38e@x13g2000vby.googlegroups.com>,
WM <mueckenh@rz.fh-augsburg.de> wrote:

> On 7 Mrz., 12:49, William Hughes <wpihug...@gmail.com> wrote:
> > On Mar 7, 12:39 pm, WM <mueck...@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  According to WM
> >
> > > > 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

> >
> > Please answer the question
> >
> > Do you agree with the statement
> >
> >      g is not coFIS with d.

>
> That depends on the state of d.


Outside of Wolkenmuekenheim, d is the union of all lines, including both
g and g's successor (and every line has a successor, at least outside
of Wolkenmuekenheim).
>
> To talk of d without further specification is silly. Didn't you wish
> to be not silly?


Certainly not as silly as WM is.



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 such a mapping but but cannot seem to prove it.

Perhaps because WM does not really know what a linear mapping has to be
like to qualify as a linear mapping.
--