An Introduction to Gödel's Theorems

Mentions per year

What Hacker News says

• ionfish · May 18, 2012 · Recommends

  Do you have a decent understanding of first order logic? If not, sort that out first. Peter Smith has a good list of books to choose from: http://www.logicmatters.net/2012/05/teach-yourself-logic-1-f... Then get Smith's book An Introduction to Gödel's Theorems. It explains Gödel's results in great detail and doesn't assume too much background knowledge. A certain amount of perseverance will, of

  on “Gödel and the limits of logic” ↗
• jimhefferon · Mar 30, 2017 · Recommends

  I'm not sure why you have it in quotes. But FWIW, most of my questions were cleared up by these two wonderful books: Peter Smith's An Introduction to Gödel's Theorems and Torkel Franzén's Gödel's Theorem: An Incomplete Guide to Its Use and Abuse

  on “A Python implementation of formal systems from the book “Gödel, Escher, Bach”” ↗
• aragonite · Mar 13, 2024 · Recommends

  Gödel Without (Too Many) Tears, by Peter Smith. Also his An Introduction to Gödel’s Theorems. https://www.logicmatters.net/books/

  on “The complete story of Gödel incompleteness” ↗
• jimhefferon · Aug 13, 2017 · Recommends

  Lots of reading are available to technical people who are willing. People elsewhere in this thread have mentioned Nagel and Newman, and also Smullyan. Here are two more: 1) Smith's Introduction to Godel's Theorems http://www.logicmatters.net/igt/ is a great book, with all the mathematics but willing to go into the philosophy. 2) Franzen's Gödel's Theorem: An Incomplete Guide to Its Use and Abuse http://www.ams.org/notices/200703/rev-raatikainen.pdf…

  on “Memories of Kurt Gödel” ↗
• manifestsilence · Oct 1, 2018 · Mentions

  …consciousness as pattern and make the claim that a sufficiently powerful AI is as sentient and meaningful a consciousness as we are. I read Godel's Proof after though, and I agree that it is a far clearer introduction to Godel's theorems.

  on “What Made Gödel’s Incompleteness Theorem Hard to Prove” ↗