Date: Feb 1, 2013 4:58 AM
Author: William Hughes
Subject: Re: Matheology § 203
On Feb 1, 10:37 am, WM <mueck...@rz.fh-augsburg.de> wrote:

> On 1 Feb., 09:35, William Hughes <wpihug...@gmail.com> wrote:

>

>

>

>

>

>

>

>

>

> > On Feb 1, 9:21 am, WM <mueck...@rz.fh-augsburg.de> wrote:

>

> > > On 31 Jan., 18:44, William Hughes <wpihug...@gmail.com> wrote:

>

> > > > On Jan 31, 4:34 pm, WM <mueck...@rz.fh-augsburg.de> wrote:

>

> > > > > On 31 Jan., 16:15, William Hughes <wpihug...@gmail.com> wrote:

>

> > > > > > > Would you say that a line that is not in the list is in the list?

>

> > > > > > Nope. But you did.

>

> > > > > Yes, but for an actually infinite list.

>

> > > > What actually infinite list?

>

> > > > Specifically you said

>

> > > > A potentially infinite list, L,

> > > > of potentially infinite 0/1 sequences

> > > > can have the property that every

> > > > (in the sense of "all from 1 to n")

> > > > potentially infinite 0/1 sequence

> > > > is a line of L?

>

> > > > No actually infinite lists here

>

> > > And what is your question please? Of course every line between line 1

> > > and line n is in the list.

>

> > Let a potentially infinite list, L,

> > of potentially infinite 0/1 sequences

> > have the property that every

> > (in the sense of "all from 1 to n")

> > potentially infinite 0/1 sequence

> > is a line of L?

>

> A potentially infinite list does not contain every whatever in the

> sense of all. Because a list that in contains all whatevers is actual

> with respect to these whatevers.

>

> But of course the list contains every sequence that is a line between

> 1 and n (including the limits) and therefore contains all these

> sequences.

Yes, but every does not describe the list but the

potentially infinite set of potentially infinite

0/1 sequences.

Please answer the question.

Let s be a potentially infinite

0/1 sequence.

Does this imply that there is

a natural number m, such that s

is the mth line of L