
Re: Two Finite Arithmetics
Posted:
Apr 8, 2014 4:35 PM


On Tuesday, April 8, 2014 2:08:49 PM UTC4, Dan Christensen wrote:
> You might start by proving the associativity and commutativity of + and * as you have defined them.
Better still, as a kind of shakedown cruise, show that (in your notation) the following conditions satisfy your axioms:
N = {0,m} 0 =/= m S0 = m Sm = m 0+0=0 0+m=m m+0=0 m+m=m 0*0=0 0*m=0 m*0=0 m*m=m
Dan Download my DC Proof 2.0 software at http://www.dcproof.com Visit my new math blog at http://www.dcproof.wordpress.com

