[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Peano Algebra and it's base theorem (fwd)
Forwarded message:
> Date: Tue, 22 Sep 1998 10:02:23 -0500
> From: Mark Hahn <[email protected]>
> Subject: Re: Peano Algebra and it's base theorem
> At 07:42 AM 9/22/98 -0500, Jim Choate wrote:
> >Peano Algebra's are based on the following:
> >
> >If a unary predicate P holds for 0, and if P holds, together with an element
> >x, also for it's succesor x', then P holds for all natural numbers.
>
> Didn't you over simplify this theorem somewhat.
It's taken word for word from VNR. Send 'em a letter.
The point is that we were discussing binary not integer mathematics.
____________________________________________________________________
The seeker is a finder.
Ancient Persian Proverb
The Armadillo Group ,::////;::-. James Choate
Austin, Tx /:'///// ``::>/|/ [email protected]
www.ssz.com .', |||| `/( e\ 512-451-7087
-====~~mm-'`-```-mm --'-
--------------------------------------------------------------------