Slashdot Mirror

← Back to Stories (view on slashdot.org)

Achieving Mathematical Proofs Via Computers

Posted by timothy on from the send-picture-of-abacus dept.

eldavojohn writes "A special issue of Notices of the American Mathematical Society (AMS) provides four beautiful articles illustrating formal proof by computation. PhysOrg has a simpler article on these assistant mathematical computer programs and states 'One long-term dream is to have formal proofs of all of the central theorems in mathematics. Thomas Hales, one of the authors writing in the Notices, says that such a collection of proofs would be akin to the sequencing of the mathematical genome.' You may recall a similar quest we discussed."

3 of 209 comments (clear)

  1. unfortunately by Anonymous Coward · · Score: -1, Flamebait

    it will only prove that you're all a bunch of fucking nerds!!!

  2. Wikipedia is for fucking bastards by Anonymous Coward · · Score: -1, Flamebait

    Don't donate to it let it go out of business for being deletionist bastards.

  3. math doesnt matter by Anonymous Coward · · Score: -1, Flamebait

    what matters is that we finally have a black president. that's all we need. our lives are saved.