A really nice article on mechanical proof in mathematics:
http://www.sciencenews.org/view/generic/id/38623/title/How_to_(really)_trust_a_mathematical_proof
The proof of the four color problem is available from the following article:
http://www.ams.org/notices/200811/
- Posted using BlogPress from my iPhone
Subscribe to:
Post Comments (Atom)
0 comments:
Post a Comment