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)
