|
|
Re: Matheology § 203
Posted:
Feb 2, 2013 10:14 AM
|
|
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
|
|
