But for sheer intellectual surprise, and alarming insight, it is hard to think of any result that would approach the famous incompleteness theorem of Kurt Gödel. In 1900, when David Hilbert ...