数理逻辑：证明及其限度
读书评论：
-
西西弗斯与巨石2023-01-19没学完也没学懂，但是已经改变我很多了。
-
哑然鸟2024-01-14依托，你要是什么都已经会了，这本书可以当个纲要和习题典例检测一下
-
von2024-01-10最好的中文数理逻辑教材，没有之一。一本不会让人读出瓶颈，且是跨过瓶颈的教材。
-
Zermelo2023-11-20拿来自学还是不够好，更推荐人大数理逻辑教材
-
老C2023-04-28数理逻辑研究推理的过程，而不关心内容，定义了自己的一套形式化语言来描述命题、推理。快速看了前六章，算是数理逻辑入门了。
-
right choice2023-01-26你诗歌剧还再版了是吧
-
基本有害山田凉2023-07-06好书。有空把习题做了。
-
Wait2022-09-12快乐&痛苦回忆/呜呜呜学妹竟然把我书搞丢了…
-
郁欣2022-05-25对推动概念发展的动力解释清晰，适合具备一定数理逻辑基础的初阶数理逻辑学习者.
-
DestinHistoire2022-04-09无需”中文“这一限制也依旧杰出的教材，作者在处理与日后进阶内容有关联的概念与结果上耗费了大量心血。全书的目标很明确，就是以最严格的方式处理Godel定理，并以此解决30年代大部的经典结果。严格定义递归论概念、第一定理纯粹语法的Rosser证明、第二定理完整验证三个可证性条件，编码细节的详细程度在数理逻辑教材中是绝无仅有的。作为对比，Enderton将第一定理作为Tarski定理的推论并完全放过了可证性条件。以前听一位老师说考虑过开一门专讲Godel定理的短学期课程，考虑到其中的技巧多为特设性，对以后的学习帮助不大而搁置。但其实既然想要较好地把握高阶的集合论独立性证明，总是要练就一身在对象语言和元语言之间来去自如的功夫的，早些有这样的经验不是坏事。
-
untureeei_o2022-05-12很多关键步骤都留做了习题，然而又没有解答，自学会很费力。
-
行人驱逐舰2021-11-25少数几本我觉得自学会很吃力的书，但这主要是内容难，书本身不错。