Date: Feb 7, 2013 4:08 PM
Author: Virgil
Subject: Re: Matheology � 222 Back to the roots

In article 
<c3cba8f3-dce0-4752-9f6e-c7dc4dd61dfb@r8g2000vbj.googlegroups.com>,
WM <mueckenh@rz.fh-augsburg.de> wrote:

> On 7 Feb., 15:59, William Hughes <wpihug...@gmail.com> wrote:
>

> > > > > > Nope, that does not follow.  6 just says that
> > > > > > all FISONS of d are terminating
> > > > > > It does not say d is terminating.

>
> > > Induction works only for all natural numbers.
> >
> > Which is all you need.

>
> No. In order to see that d is non-terminating you need something more.


If one has all natural numbers, one already has a nonterminating
sequence, thus any function with the domain of all natural numbers is
equally nonterminating.

> I'd bet that you can't even tell yourself what that is, but you will
> never drop that claim.


We only need a function with domain all natural numbers.
--