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