Journey to the Edge of Reason: The Life of Kurt Gödel

The first major biography written for a general audience of the logician and mathematician whose Incompleteness Theorems helped launch a modern scientific revolution.

Nearly a hundred years after its publication, Kurt Gödel's famous proof that every mathematical system must contain propositions that are true-yet never provable-continues to unsettle mathematics, philosophy, and computer science. Yet unlike Einstein, with whom he formed a warm and abiding friendship, Gödel has long escaped all...