Wolfram seems to deemphasize the theorem-proof methodology himself - in fact, he asserts in his book that most interesting questions are logically undecidable (i.e unprovable). I agree. remove
Check out our firefox add-on or bookmarklet, if you'd like to highlight on the go!
Want to know if people are viewing your highlights? Look at the stats