gödel Gödel-Escher-Bach-Tool I just watched a science show that had a segment on Gödel, Austrian mathemagician, whose work today is considered as the basis for von Neumann’s and Turing’s work, thus he’s