On 8 Mrz., 23:33, William Hughes <wpihug...@gmail.com> wrote: > On Mar 8, 8:28 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > > > > On 8 Mrz., 17:15, William Hughes <wpihug...@gmail.com> wrote: > > > > On Mar 8, 4:55 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > > On 8 Mrz., 15:45, William Hughes <wpihug...@gmail.com> wrote: > > > > > > WM: There does not exist > > > > > (in the sense of not findable) > > > > > a natural number m such that > > > > > the mth line of L is coFIS with > > > > > d > > > > > > So let's talk about d the way you > > > > > talk about d. > > > > You find it reasonable to say > > > > a line of L is not coFIS with d > > We have > > No findable line of L is coFIS > with d [note this is your statement] > > g is a findable line of L
Every line of L is a findable line. > > Do you agree with the statement > > g is not coFIS with d.
No.
I think it is best to keep in memory the original posting:
Consider a Cantor-list with entries a_n and anti-diagonal d:
For every n: (a_n1, a_n2, ..., a_nn) =/= (d_1, d_2, ..., d_n). For every n: (a_n1, a_n2, ..., a_nn) is terminating. For every n: (d_1, d_2, ..., d_n) is terminating.
For all n: (a_n1, a_n2, ..., a_nn) =/= (d_1, d_2, ..., d_n). For all n: (a_n1, a_n2, ..., a_nn) is terminating. For all n: (d_1, d_2, ..., d_n) is *not* terminating.
