Budiansky, Stephen
Summary: "The first major biography 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...
Format: text
Publisher / Publication Date: W.W. Norton & Company 2021