MathGroup Archive 2012

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: Command Possible?

  • To: mathgroup at
  • Subject: [mg127968] Re: Command Possible?
  • From: magma <maderri2 at>
  • Date: Thu, 6 Sep 2012 04:13:34 -0400 (EDT)
  • Delivered-to:
  • Delivered-to:
  • Delivered-to:
  • Delivered-to:
  • References: <> <k21kjc$9vs$>

> I have read that Russell and Whitehead's Principia Mathematica occupies
> itself for a thousand pages to prove that 1+1=2 (see, eg.,

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:

The proof in Theorema that 1+1=2 is fully automatic (once you write
the axioms of arithmetic), is short and quite readable.

  • Prev by Date: Clustering
  • Next by Date: Integrate yields complex results
  • Previous by thread: Re: Command Possible?
  • Next by thread: Re: Mathematica Prove[...] Command Possible?