Date: Feb 2, 2013 10:14 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 203

On 2 Feb., 14:18, William Hughes <wpihug...@gmail.com> wrote:
> On Feb 2, 10:45 am, WM <mueck...@rz.fh-augsburg.de> wrote:
>
>
>
>
>

> > On 1 Feb., 22:54, William Hughes <wpihug...@gmail.com> wrote:
>
> > > Previous was too complicated
>
> > Then I will skip it.
>
> > > 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

>
> > You have to distinguish between every and all
>
> I do not use either explicitly.   (If you think
> I do implicitly use every).
>
> Please answer the question-


I did. The shortest answer is:

For every n: There is always an s that is not in the first n lines of
the list.
For every s: There is alsways a list that contains the first n bits of
s.

Regards, WM