Posts Tagged ‘ mathematics ’

The Price of Calculation

March 15, 2010
By

In a world in which the price of calculation continues to decrease rapidly, but the price of theorem proving continues to hold steady or increase, elementary economics indicates that we ought to spend a larger and larger fraction of our time on calculation.1 Over the next ten years, I hope that more and more mathematically

Read more »

Top Five Open Source Projects of 2009

November 5, 2009
By

Every year, I single out what I think are the Top Five open source projects. This year, there's only one hold-over from previous years, and it's likely that I'm just going to give it a Lifetime Achievement Award and pick five others next year. 5. NetBe...

Read more »