哥德尔定理导论

An Introduction to Gödel's Theorems

Peter Smith · 初版 2007 年

• 5次提及
• 3人推荐
• 4位 HN 评论者

Hacker News 读者推荐

你对一阶逻辑（first order logic）有足够的了解吗？如果没有，先搞定那个。Peter Smith 列了张不错的书单供选： http://www.logicmatters.net/2012/05/teach-yourself-logic-1-f... 然后去读 Smith 的书《An Introduction to Gödel's Theorems》。它非常详细地解释了哥德尔的结果，而且不需要太多背景知识。当然，一定程度的毅力是

ionfish 在 HN 的推荐

我不太清楚你为什么给它加引号。不过供参考（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》

jimhefferon 在 HN 的推荐

Peter Smith 写的《Gödel Without (Too Many) Tears》。还有他的《An Introduction to Gödel’s Theorems》。 https://www.logicmatters.net/books/

aragonite 在 HN 的推荐

找书

豆瓣 微信读书 京东 Open Library ISBN 0521674530

在黑客书架打开完整页面 →

数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。