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. --
