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?