On Wednesday, 5 March 2014 18:18:44 UTC+2, Dan Christensen wrote:
> Such a joke that, these days, only internet math cranks consider Euclid as any kind of alternative to Peano.
Now that's really funny. Euclid produced a work which continues to last over 2000 years. Peano produces a joke... I'd say you are clearly the crank. :-)
> But, if you want to lead some kind revival of ancient mathematics, you will have to formalize these "axioms" of yours and prove a critical number of theorems.
Bollocks. It has all been done already - by Euclid. :-) I only improved on some definitions and was the first since Euclid to place everything in order. You don't have a clue what is a number or a magnitude.
> Unfortunately for you, those theorems would have to include all of Peano's axioms.
Unfortunately for you, more are beginning to see through the crap of mainstream math. In the not too distant future, you will be back to the Elements. Peano's rot will be delegated to the trash bin where it always belonged. :-)
> BTW, my DC Proof software could help you this endeavor.
I am an experienced software developer. Judging from the way you try to do math, I would not waste my time even looking at your software, but thanks anyway. :-)
In order to do any number theory, there are two question you have to answer:
1. What is a magnitude? 2. What is a number? And how is it constructed?