[103241] in Cypherpunks
Re: Peano Algebra and it's base theorem (fwd)
daemon@ATHENA.MIT.EDU (Jim Choate)
Tue Sep 22 10:44:45 1998
From: Jim Choate <ravage@einstein.ssz.com>
To: cypherpunks@einstein.ssz.com (Cypherpunks Distributed Remailer)
Date: Tue, 22 Sep 1998 09:57:12 -0500 (CDT)
Reply-To: Jim Choate <ravage@einstein.ssz.com>
Forwarded message:
> Date: Tue, 22 Sep 1998 10:02:23 -0500
> From: Mark Hahn <mhahn@tcbtech.com>
> 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 /:'///// ``::>/|/ ravage@ssz.com
www.ssz.com .', |||| `/( e\ 512-451-7087
-====~~mm-'`-```-mm --'-
--------------------------------------------------------------------
