Software Is Starting To Aid Mathematical Proofs

Posted by kdawson on Saturday November 15, 2008 @04:02PM from the sequencing-the-mathematical-genome dept.

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

1 of 90 comments (clear)

Min score:

Reason:

Sort:

I have a proof that will shock you by Anonymous Coward · 2008-11-15 16:23 · Score: -1, Troll

My proof is huge and very hard. But I can master it using super concentration techniques. I can prove that Obama is an Italian who will pollute our hot dogs with salami.