剧情简介：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 Ei...(展开全部)
作者：Stephen Budiansky
出版社：W. W. Norton & Company
ISBN：9781324005445
