Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.


magma
Posts:
207
Registered:
7/5/07


Re: Command Possible?
Posted:
Sep 6, 2012 4:13 AM


> I have read that Russell and Whitehead's Principia Mathematica occupies > itself for a thousand pages to prove that 1+1=2 (see, eg.,http://blog.plover.com/math/PM.html).
Pfew.. that nothing! Stephen Wolfram in 2002 published a 1300 page tome "A new kind of science" trying to prove...hem...what was it that he tried to prove? :)
I am joking of course! The NKS book is fantastic and well worth studying. You can now read it online for free, but I still enjoy my splendidly crafted printed version.
Also, the Principia is indeed a large 3 volume opus, but the 1+1=2 proof is relatively short as you can see here:
http://en.wikipedia.org/wiki/Principia_Mathematica#Quotations
The proof in Theorema that 1+1=2 is fully automatic (once you write the axioms of arithmetic), is short and quite readable.



