Date: Mar 8, 2013 2:28 PM
Subject: Re: Matheology § 222 Back to the roots
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
L = d
Every line L_k of L is identical with FIS d_1, ..., d_k of d.
d is nothing but it sFIS
> The question is
> Do you agree with the statement
> g is not coFIS with d.
Let us remember:
Two potentially infinite sequences x and y are said to be coFIS iff
for every natural number n, the nth FIS of x is equal to the nth FIS
This is obviously the case for that line L_max which is identical with
the maximal FIS of d:
1, 2, 3, ..., max = 1, 2, 3, ..., max
On the the left-hand side you see the line L_max or g, on the right-
hand side you see d, i.e., everything that in potential infinity can
be assumed to exist of lines and d.