69 of 72 people found the following review helpful
Wish I'd read it first ...,
This review is from: Godel's Proof (Hardcover)
I read Godel's paper in grad school. I wish I had read this first, because it lays out the structure of the argument clearly. N&N are particularly good on clarifying what Godel did and did not prove. This is important because of all the loose mystical obfuscation out there about this theorem.
N&N clearly explain what formal "games with marks" methods are, and why mathematicians resort to them. They then walk through what Godel proved, with a bit on how he proved it. The basic idea of his (blitheringly complex) mapping is explained quite well indeed.
Suitable for mathematicians, or philosophy students tired of mystical speculations. Also goo for anyone with an interest in computability theory or any formal logic. And read it before you read Godel's paper!