Kurt Gödel’s Loophole, the Israeli Supreme Court, and Strange Loops
by John Allen Paulos Kurt Gödel was a logician whose work in mathematical logic was seminal and fundamental. His famous incompleteness theorems, in particular, have changed our view of mathematics and computer science. He was born in Austria and lived through political turmoil there before fleeing the country after the Nazis annexed it in 1938.…
