Forgot your password?

Comment: Did I broke something? (Score 1) 549

by yess (#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?

If it smells it's chemistry, if it crawls it's biology, if it doesn't work it's physics.