Gödel's proof

No cover

Ernest Nagel: Gödel's proof (2001, New York University Press)

129 pages

English language

Published Aug. 21, 2001 by New York University Press.

ISBN:
978-0-8147-5816-8
Copied ISBN!

View on OpenLibrary

4 stars (10 reviews)

6 editions

Review of "Gödel's proof" on 'Goodreads'

No rating

Subject:
Godel’s Proof of that you cannot axiomatize arithmetic in a manner expressible through that calculus.

Notes:
Godel used a very interesting system to assign his Godel Numbers, to create a unique numeral representing any given equation which is reconstructible. He did this to allow the construction of the rest of the proof.
The book was a great exercise in understanding the nature of proofs and logic. A good experience all in all.

avatar for kirkmoodey

rated it

5 stars
avatar for mistertim

rated it

5 stars
avatar for karlo

rated it

5 stars
avatar for Psvensson

rated it

4 stars
avatar for sellout

rated it

4 stars
avatar for alexmu

rated it

5 stars

Subjects

  • Gödel's theorem