Date: Feb 7, 2013 2:12 PM
Author: William Hughes
Subject: Re: Matheology § 222 Back to the roots
On Feb 7, 8:06 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
> On 7 Feb., 19:46, William Hughes <wpihug...@gmail.com> wrote:
> > Gosh, you are really running away
> > from the fact that induction can
> > show d is not in the list.
> Induction can show that *your* d does not exist.
My d? You are the one who defined d to be
the antidiagonal of the list. You also
show by induction that the antidiagonal of
a list is not in the list.