The narrative focuses on the “brilliant, eccentric, unsettlingly precise” Gödel, a figure whom the author, in an introduction, compares to Albert Einstein and Charles Darwin and describes as not only a mathematician, but also a “philosopher of mystery” who found new puzzles in settled certainties. “In any system that’s powerful enough to talk about arithmetic,” […]
GÖDEL AND THE INCOMPLETE PROOF