Slashdot Items Tagged "godel"

Date / Time	Story
Wednesday October 01, 2008 @12:07AM	Towards a Wiki For Formally Verified Mathematics

Never test for an error condition you don't know how to handle. -- Steinbach