John L writes:
> When I have tried to talk to individuals about natural number induction
> using (n+k) patterns, then the problems start. Because they are so
> unlike the form of patterns they have become used to they find all
> sorts of difficulties. What if n is negative. Ah yes, well it can't be.
> Why not. It just can't. etc. ... Let's throw them [n+k patterns] out.
It sounds to me as if the problem is with negative numbers.
So, one more time ... What about the *natural* numbers?
Doesn't anyone else program with these? (Maybe just occasionally? :-)
Colin R
