118 pages
Published Jan. 12, 1960 by New York University Press.
Godel's proof
by Ernest Nagel
No rating
(0 reviews)
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