Date: Feb 3, 2013 3:26 AM
Author: William Hughes
Subject: Re: Matheology § 203

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

> > On Feb 2, 11:58 pm, William Hughes <wpihug...@gmail.com> wrote:
>
> > > On Feb 2, 11:42 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
>
> > > > On 2 Feb., 23:36, William Hughes <wpihug...@gmail.com> wrote:
>
> > > > > On Feb 2, 11:15 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
>
> > > > > > On 2 Feb., 20:11, William Hughes <wpihug...@gmail.com> wrote:
>
> > > > > > > > > > > Can a potentially infinite list
> > > > > > > > > > > of potentially infinite 0/1
> > > > > > > > > > > sequences have the property that
> > > > > > > > > > >    if s is a potentially infinite 0/1
> > > > > > > > > > >    sequence, then s is a line of L

>
> > > > > <snip>
> > > > > > For every s: There is alsways a list that contains the first n bits of
> > > > > > s.

>
> > > > > Is there a single line which contains s
> > > > > Yes or no

>
> > > <snip>
>
> > > > There is no complete s.
>
> > > Then the answer is no
>
> > Indeed, since there is no single line, l,
> > such that every initial segment of s is contained
> > in l, we do not even have to talk about complete s.-

>
> In fact we can say that in a suitable list "every" initial segment of
> s is contained in some line, since there is no s(n) = (s1, s2, ...,
> sn) missing. But there is no sensible way of saying "all" initial
> segment.


We can say "every line has the property that it
does not contain every initial segment of segment of s"
There is no need to use the concept "all".