The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » Inactive » comp.soft-sys.math.mathematica

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Command Possible?
Replies: 3   Last Post: Sep 6, 2012 4:13 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]

Posts: 207
Registered: 7/5/07
Re: Command Possible?
Posted: Sep 6, 2012 4:13 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

> 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.

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.