Thursday, April 8, 2010

Open Source Mathematics

There are open source operating systems (here and here), media, courseware, encyclopedias, video games, performance art and even beer. Now Steven Landsburg reports of an open source mathematical theorem proving project. How cool is that?

1 comment:

  1. New paper on open source looking at when it is a better strategy and when it isn't. They look at transaction costs as a way to help decide this question.