Comment Did I broke something? (Score 1) 549

by yess on Wednesday April 06, 2005 @04:46AM (#12152198) Attached to: The End of Mathematical Proofs by Humans?

Whoaa! On Monday I was given an assignment to code a program that will prove a simple theorem from first order predicate calculus. I coded in in python on Tuesday in about an hour. The code isn't fast, but nevertheless works. On Wednesday The Economist writes about all the maths falling apart because of me?

« Newer Older »

Slashdot Top Deals

The computer can't tell you the emotional story. It can give you the exact mathematical design, but what's missing is the eyebrows. - Frank Zappa