Towards a Wiki For Formally Verified Mathematics

Posted by kdawson on Tuesday September 30, 2008 @10:14AM from the preparing-the-ground-for-our-robot-overlords dept.

An anonymous reader writes "Cameron Freer, an instructor in pure mathematics at MIT, is working on an intriguing project called vdash.org (video from O'Reilly Ignite Boston 4): a math wiki which only allows true theorems to be added! Based on Isabelle, a free-software theorem prover, the wiki will state all of known mathematics in a machine-readable language and verify all theorems for correctness, thus providing a knowledge base for interactive proof assistants. In addition to its benefits for education and research, such a project could reveal undiscovered connections between fields of mathematics, thus advancing some fields with no further work being necessary."

1 of 299 comments (clear)

Min score:

Reason:

Sort:

Re:Skynet by Relic+of+the+Future · 2008-09-30 10:42 · Score: 4, Interesting

Ha ha, yes, very funny... but if you read the slides from the site (specifically, slide 18) he makes reference to that very fact.

We are not scanning all those books to be read by people, we are scanning them to be read by an AI. --George Dyson, on his visit to Google, 2005.

--
Those who fail to understand communication protocols, are doomed to repeat them over port 80.