Journey to the Edge of Reason: The Life of Kurt Gödel by Stephen Budiansky From the publisher: “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 […]