Stories
Slash Boxes
Comments
typodupeerror delete not in
  • Preferences

+-   How to (really) trust a mathematical proof-> on Saturday November 15 2008, @10:25PM Anonymous Coward

Submitted by Anonymous Coward on Saturday November 15 2008, @10:25PM
math
An anonymous reader writes "Mathematical proofs are supposed to establish absolute certainty, since each statement is a pure deduction from fundamental axioms. But the reality is that mathematicians make mistakes. Proof-validation software can do what mathematicians never do: spell out every last step, making sure everything is right. Such software has been around for 20 years, but mathematicians and computer scientists now say they are nearing the point where every mathematician will routinely use the software before submitting a new result to a journal, producing a fully correct, formal, axiomatized mathematics."
Link to Original Source
submission
This discussion was created for logged-in users only, but now has been archived. No new comments can be posted.
The Fine Print: The following comments are owned by whoever posted them. We are not responsible for them in any way.

How to (really) trust a mathematical proof 0 Comments More /

 Full
 Abbreviated
 Hidden
More
Loading... please wait.
Search
Do you have lysdexia?

All trademarks and copyrights on this page are owned by their respective owners. Comments are owned by the Poster. The Rest © 1997-2009 Geeknet, Inc.