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

2 of 299 comments (clear)

Skynet by Safiire+Arrowny · 2008-09-30 10:23 · Score: 5, Funny

Skynet approves of this machine readable knowledge store.
Re:How much translation is needed? by Chris+Burke · 2008-09-30 10:50 · Score: 5, Funny

I don't know, all I know is that I have never been more tempted to vandalize a Wiki, in this case by replacing the middle steps of as many proofs as possible with "And then a miracle occurs..."

--

The enemies of Democracy are