Paperback, 118 pages
English language
Published Jan. 11, 1960 by New York University Press.
Gödel’s Proof
5 stars
(1 review)
An outline of two of the most significant results in 20th-century mathematics: Gödel’s first (some acceptable mathematical systems cannot be formalized) and second (some formalized mathematical systems contain valid statements that cannot be verified within the system) theorems.
Subjects
- Metamathematics
- Kurt Gödel
- logic