Date: Feb 7, 2013 9:36 AM
Subject: Re: Matheology § 222 Back to the roots
On 7 Feb., 15:21, William Hughes <wpihug...@gmail.com> wrote:
> On Feb 7, 3:05 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
> > On 7 Feb., 14:44, William Hughes <wpihug...@gmail.com> wrote:
> > > On Feb 7, 2:32 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
> > > > I do not agree that <snip> ~6
> > > > follows from 3.
> > > Nor does anyone else.
> > Then d is not actually infinite.
> Nope, that does not follow. 6 just says that
> all FISONS of d are terminating
> It does not say d is terminating.
And 4 just says that all FISs of the list do not contain d. It does
not say that a nonterminating list does not contain d.
In both cases only all natural numbers are considered. Matheological
remainings, if acceptable, are acceptable in case of 4 and 6 (and even
5, saying: not every finite term of a sequence need be finite).