Date: Mar 10, 2013 3:52 PM
Author: William Hughes
Subject: Re: Matheology § 222 Back to the roots
On Mar 10, 8:39 pm, WM <mueck...@rz.fh-augsburg.de> wrote:

> On 10 Mrz., 20:20, William Hughes <wpihug...@gmail.com> wrote:

>

>

>

>

>

>

>

>

>

> > > > So do you agree with the statement.

>

> > > > If G is a set of lines of L with a findable

> > > > last element, then there is no line s of

> > > > G such that s is coFIS to (d)

>

> > > Yes. How often will you ask?

> > > (d) is a prescription to find or to construct FIS d_1, ..., d_n.

>

> > > Would you expect that

> > > "write 0. and then add the digit 1 with no end" is coFIS with a line

> > > of

> > > 0.1

> > > 0.11

> > > 0.111

> > > ...

>

> > No, the other way round.

>

> There is no way. This is a sequence of less than 10 words: "write 0.

> and then add the digit 1 with no end". It is not coFIS with any line

> of the list. But it defines the lines of the list.

The statement x is coFIS to (y) means approximately

that x and the potentially infinite sequence described

by (y) are COFIS.

Let l be a line of L

Do you agree with the statement

For every n, the nth FIS of d is

contained in l iff

l is coFIS to (d)