书籍介绍
这不是一本让人读起来轻松的书。评论区里"读5次每次都有收获"的痴人，与"写得很好却不好懂"的叹息并存，几乎标定了它的分量：一本需要啃、也值得反复啃的经典。它从命题逻辑、一阶逻辑起步，逐步推向不可判定性与二阶逻辑，并触及有限模型等计算机科学的命题。真正打动读者的，是它"从直观基础出发再到公理系统"的建构路径，以及课后习题与不完备定理的清晰处理。它适合愿意被"魔鬼"打磨的计算机相关专业读者：不必指望消遣，但能获得一次对形式系统本质的严肃训练。若你只想要一本速查手册，它会让你失望；若你渴望理解逻辑为何如此，它会回报你。
精彩摘录
- "We call these objects "symbols," but we remain neutral as to what the exact ontological status of symbols might be."
用户评论
算是唯一一本读了5次，每次都有收获的书。计算机专业必读！
读的很不认真
M
@2017-08-31 20:52:23
大致看过前半部分，后半部分稍有了解（事实上我发现数理逻辑/可计算性的老师从中参考了很多) 应该算是公认的经典教材。过两天就要还给图书馆且多半不会再看了，翻到豆瓣书评的讣告，一阵心酸
应该先讲为什么会出现这门学科，这些模型，要面对的问题是什么，为什么要形式化建立这些一个又一个概念，其实一直都是先有靶子，再去射箭，就像图论诞生于七桥问题一样。鸡生蛋还是蛋生鸡？这种纠缠不清才是这门学科的魅力。
书写得很好，但是不好懂
我以前看的是英文版的，omg子
求书
收藏