On Mar 10, 6:05 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > On 10 Mrz., 17:40, William Hughes <wpihug...@gmail.com> wrote: > > > There is no findable line that is > > coFIS to (d) > > (d) is *not* an actual infinite sequence but only a description in > letters. > > > g is a findable line. > > > Do you agree with the statement > > > g is not coFIS to (d) > > Of course. The number m = max is not findable or fixable.
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)