数理逻辑

我真是飘了，读这本书，一无所获还迷迷糊糊。没读完。

两年前读过，还凑合，比较清楚明白，但是和国际主流语言不接轨。

真的好难啊，从第二章开始就搞不懂了。

不太推荐的一本教材，体例对自学者很不友好，绪论劝退。

救命～～～～

3.5。 这本书形式上不够严谨，应该说，因为深度忽视了一些东西。又好像没有忽视。 这里比较一下复旦的《数理逻辑》，冯琦的《数理逻辑导引》和这本书。本书在讨论字符串的时候提到，讨论字符串时需要使用一个字符串邻接函数C，但选择忽视它，不进一步介绍。而复旦的《证明及其限度》直接递归定义合式公式，没有介绍还有这样的一个函数。冯琦的《集合论导引》则明确严谨地给出了邻接运算*。可以看出三本教材的一点区别。 本书内容比较有限，讲到完全性和模型论初步，离不完全性定理还有些距离。此外讲了极小逻辑和直觉主义系统以及语义学(别的教材可能不会讲)、哥德尔翻译这些哲学味比较浓的话题。 考虑到有其他的优秀教材可以选择，这本书只能做备胎了。读这本书可能不如去读英文教材来得易懂。打四分祭奠我的青春。

真的，别从这个开始，

第一章

太难了，权当泡澡 @2020-06-12 18:53:41