Very interesting, although it seems odd to hear a software engineering describe Gödel's incompleteness theorems as a "cheap trick used to try to frighten mathematicians back in the thirties."

Still, I chuckled when I read it.