In article <3891294b-c16e-4bc6-aafd-fff66832822a@u21g2000vbo.googlegroups.com>, WM <mueckenh@rz.fh-augsburg.de> wrote:
> On 7 Feb., 19:21, William Hughes <wpihug...@gmail.com> wrote: > > On Feb 7, 7:12 pm, WM <mueck...@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. > > > > As you have noted, it is all you need to show > > that d is not a line of the list. > > > > >In order to see that d is non-terminating you need something more. > > > > Nope, use induction. For every natural number n there are > > more elements of d. > > Invalid arguing.