PhysMath Central Blog

A wiki of formalized mathematics

Cameron Freer, an instructor in pure mathematics at MIT, is working on a fascinating new project called vdash.org (vdash being the mathematical symbol for logical provability)-  a mathematical wiki which only allows 'true' statements to be added by the users. The goal of the project is simple: all mathematics in one place, in a common language, which anyone can edit (although edits are computer-verified for mathematical correctness). The results could be amazing. Putting all mathematics research into an inter-linked, formalized application could reveal connections not recognized before and could feasibly even advance some fields without additional work being necessary. This is in addition the educational benefits such a project could have.

It's early days, but worth watching the brief video above to see what could happen.

Posted by Chris Leonard at 09:04    Comments (1)

Like this post?  Bookmark it Digg it Slashdot it Find links to it