你对一阶逻辑（first order logic）有足够的了解吗？如果没有，先搞定那个。Peter Smith 列了张不错的书单供选：
http://www.logicmatters.net/2012/05/teach-yourself-logic-1-f...
然后去读 Smith 的书《An Introduction to Gödel's Theorems》。它非常详细地解释了哥德尔的结果，而且不需要太多背景知识。当然，一定程度的毅力是
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
我不太清楚你为什么给它加引号。不过供参考（FWIW），这两本好书解开了我的大部分疑惑：Peter Smith 的《An Introduction to Gödel's Theorems》和 Torkel Franzén 的《Gödel's Theorem: An Incomplete Guide to Its Use and Abuse》
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
只要技术人员愿意读，有大把材料可看。这个帖子里其他人提到了 Nagel 和 Newman，还有 Smullyan。这里再推荐两本：1) Smith 的《Introduction to Godel's Theorems》http://www.logicmatters.net/igt/ 是一本好书，该有的数学细节全有，而且也愿意探讨哲学层面。2) Franzen 的《Gödel's Theorem: An Incomplete Guide to Its Use and Abuse》http://www.ams.org/notices/200703/rev-raatikainen.pdf……
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…
……将意识视为模式，并声称一个足够强大的 AI 拥有和我们一样有知觉、有意义的意识。不过之后我读了《Godel's Proof》，我也觉得它对哥德尔定理的入门介绍要清晰得多。
…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.
你对一阶逻辑（first order logic）有足够的了解吗？如果没有，先搞定那个。Peter Smith 列了张不错的书单供选： http://www.logicmatters.net/2012/05/teach-yourself-logic-1-f... 然后去读 Smith 的书《An Introduction to Gödel's Theorems》。它非常详细地解释了哥德尔的结果，而且不需要太多背景知识。当然，一定程度的毅力是
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
我不太清楚你为什么给它加引号。不过供参考（FWIW），这两本好书解开了我的大部分疑惑：Peter Smith 的《An Introduction to Gödel's Theorems》和 Torkel Franzén 的《Gödel's Theorem: An Incomplete Guide to Its Use and Abuse》
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
Peter Smith 写的《Gödel Without (Too Many) Tears》。还有他的《An Introduction to Gödel’s Theorems》。 https://www.logicmatters.net/books/
Gödel Without (Too Many) Tears, by Peter Smith. Also his An Introduction to Gödel’s Theorems. https://www.logicmatters.net/books/
只要技术人员愿意读，有大把材料可看。这个帖子里其他人提到了 Nagel 和 Newman，还有 Smullyan。这里再推荐两本：1) Smith 的《Introduction to Godel's Theorems》http://www.logicmatters.net/igt/ 是一本好书，该有的数学细节全有，而且也愿意探讨哲学层面。2) Franzen 的《Gödel's Theorem: An Incomplete Guide to Its Use and Abuse》http://www.ams.org/notices/200703/rev-raatikainen.pdf……
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…
……将意识视为模式，并声称一个足够强大的 AI 拥有和我们一样有知觉、有意义的意识。不过之后我读了《Godel's Proof》，我也觉得它对哥德尔定理的入门介绍要清晰得多。
…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.