In 1930, the Viennese mathematician Kurt Gödel shook the foundations of the math universe with his incompleteness theorems. Almost 40 years later, in 1968, the physicist and engineer Heinz von ...