读过《哥德尔证明》 🌕🌕🌕🌕🌑
译得挺好的，有些地方有点难度也不很熟，特别是不完备性那章，还是参考下方便些。和手上18年这个本子有些地方有些差别，应该照的是08年NYU Rivsed那版

没必要再复述Nagel或者Gödel了。

但其实有趣的是，对当代普通分哲壬，Gödel和不完备性定理究竟意味着什么。说实话，稍有数理逻辑常识的人，应该绝大多数都还是知道不完备性，大多数人可以讲下梗概、核心过程，方法。但也仅止于此。
绝大多数情况下还是在作为教条，作为口号来使用它。
这就出现了问题：这个东西对你（和你的学科）有啥帮助吗，意味着什么。这书也是一样，虽然不失为一小薄本优秀的“科普”，但在不少技术性方面仍然很模糊。但另一方面是你真的需要完全搞清楚那些技术性部分吗？（只是止于皮毛而不完全搞明白，又的确是件很痛苦的事。