Re: Command Possible?
- To: mathgroup at smc.vnet.net
- Subject: [mg127968] Re: Command Possible?
- From: magma <maderri2 at gmail.com>
- Date: Thu, 6 Sep 2012 04:13:34 -0400 (EDT)
- Delivered-to: l-mathgroup@mail-archive0.wolfram.com
- Delivered-to: l-mathgroup@wolfram.com
- Delivered-to: mathgroup-newout@smc.vnet.net
- Delivered-to: mathgroup-newsend@smc.vnet.net
- References: <20120901062806.D256E6872@smc.vnet.net> <k21kjc$9vs$1@smc.vnet.net>
> 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.
- References:
- Mathematica Prove[...] Command Possible?
- From: amzoti <amzoti@gmail.com>
- Mathematica Prove[...] Command Possible?