timtyler comments on Back of the envelope calculations around the singularity.

[timtyler]

I.e. provable correctness.

We can already see fairly clearly how crippling a limitation that is. Ask a robot builder whether their software is “provably correct” and you will likely get laughed back into kindergarden.