```Date: Feb 15, 2013 6:19 PM
Author: Virgil
Subject: Re: Matheology � 222 Back to the roots

In article <fc951903-96d1-42bf-a9be-bbeffb9448f5@w7g2000yqo.googlegroups.com>, William Hughes <wpihughes@gmail.com> wrote:> On Feb 15, 10:30 pm, WM <mueck...@rz.fh-augsburg.de> wrote:> > On 15 Feb., 00:44, William Hughes <wpihug...@gmail.com> wrote:> >> > > > > Two potentially infinite sequences x and y are> > > > > equal iff for every natural number n, the> > > > > nth FIS of x is equal to the nth FIS of y> >> > > So we note that it makes perfect sense to ask> > > if potentially infinite sequences x and y are equal,> >> > and to answer that they can be equal if they are actually infinite.> > But this answer does not make sense.> > You cannot prove equality without having an end, a q.e.d..> > A very strange statement.  Anyway there is no reason to> claim equality.  Let us define the term coFIS> > 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 of y.> > We note that it makes perfect sense to ask> if potentially infinite sequences x and y are coFIS,> we have cases where they are not coFIS and cases> where they are coFIS..  We also note that no> concept of completed is needed, so coFIS can> be demonstrated by induction. In particular, you> do not need a last element to prove that x and y> are coFIS.> > So WMs statements are> > there is a line l such that d and l> are coFIS> > there is no line l such that d and l> are coFISOf course, everywhere outside of Wolkenmuekenheim, lines being coFIS would be equal, but Wolkenmuekenheim is such a weird place that only WM, its creator, can speak for what goes on in it.--
```