Date: Mar 10, 2013 7:51 AM
Author: William Hughes
Subject: Re: Matheology § 222 Back to the roots
On Mar 10, 12:08 pm, WM <mueck...@rz.fh-augsburg.de> wrote:

> On 10 Mrz., 11:12, William Hughes <wpihug...@gmail.com>

> > On Mar 10, 10:40 am, WM <mueck...@rz.fh-augsburg.de> wrote:

<snip>

> > > But in every case we know that there is a line of the list that is

> > > identical with the FIS of d, both existing or not existing yet.

>

> > However this is not a findable line.-

>

> It is not a fixable line, say.

[note on teminology. "Findable" is your term. You use

it when interpreting the very important "does not exist"

If you will stipulate to

There does not exist a natural number m such that

P(m) is true

implies

There is no fixable n, such that (n) is true

I will gladly switch from findable to fixable ]

We now have

There does not exist

(in the sense of findable)

a natural number m such that

such that the mth line of L

is coFIS to (d)