Gödel's incompleteness theorems
by Raymond M. Smullyan · first published 1992
2mentions
2recommended by
2HN commenters
2009–2012first – last mentioned
100% recommend
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
…deigns to mention Godel's Second incompleteness theorem, the one about axiomatic systems being unable to prove their own consistency. Now if you were to take up a better book than Manin's, say Smullyan's Godel's Incompleteness Theorems, and study the proof of the second incompleteness theorem, you'd find out that its proof requires a syntactic proof of the first theorem, the proof that Manin says isn't important. This is because proving…
on “World's shortest explanation of Gödel's theorem” ↗My favorite book about incompleteness is Raymond Smullyan's Godel's Incompleteness Theorems.
on “Gödel and the limits of logic” ↗