
Re: Two Finite Arithmetics
Posted:
Apr 9, 2014 9:20 AM


On Wednesday, April 9, 2014 4:52:00 AM UTC4, William Elliot wrote: > On Tue, 8 Apr 2014, Dan Christensen wrote: > > > > > Here, I have translated your axioms into DC Proof format. Download my > > > > > software, enter these axioms (the "@" is mapped to epsilon) and see what > > > > > you can do with them. You have to construct your own proofs one line at > > > > > a time, but the software will not let you make mistakes. Instant > > > > > feedback is provided with each line you enter it. You might start by > > > > > proving the associativity and commutativity of + and * as you have > > > > > defined them. You can get started using with the tutorial or user > > > > > manual. > > > > I will not. > > > Here's your big chance to test your theory, William! > > > Oh, well. > > I can do better proving the theormes myself
Good luck getting anyone to take notice of your rather inelegant kluge here, William. Inventing a successor of the socalled largest number must truly be a nonstarter in any successful development of finite arithmetic.
Dan Download my DC Proof 2.0 software at http://www.dcproof.com Visit my new math blog at http://www.dcproof.wordpress.com

