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?

"People should have access to the data which you have about them. There should be a process for them to challenge any inaccuracies." -- Arthur Miller