There are some true things in this rant, but I'm pretty sure about one thing: "provably correct algorithms" are never going to deliver us a computer to which "you should literally be able to tell it what you want it to do and it would do its darnedest to do a good job for you."

Natural Intelligence is the product of billion years of crappy evolution, and thinking that the application of some clear, clean mathematical concepts will be able to recreate it is very naive.