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)