Rob Dickerson rated Gödel’s Proof: 5 stars
Gödel’s Proof by Ernest Nagel, James R. Newman
An outline of two of the most significant results in 20th-century mathematics: Gödel’s first (some acceptable mathematical systems cannot be …
An outline of two of the most significant results in 20th-century mathematics: Gödel’s first (some acceptable mathematical systems cannot be …