Godel's masterpiece was his incompleteness theorem, which ranks in scientific folklore with Einstein’s relativity and Heisenberg's uncertainty. Promulgated in Vienna in the early nineteen-thirties, the notion of incompleteness threw mathematics into a hall of mirrors, where it reflected upon itself to alluring, if disorienting, effect: the theorem proved, using mathematics, that mathematics could not prove ...

*THE NEW YORKER*, June 29, 2016