读过《数理逻辑：证明及其限度》 🌕🌕🌕🌕🌕
无需”中文“这一限制也依旧杰出的教材，作者在处理与日后进阶内容有关联的概念与结果上耗费了大量心血。全书的目标很明确，就是以最严格的方式处理Godel定理，并以此解决30年代大部的经典结果。严格定义递归论概念、第一定理纯粹语法的Rosser证明、第二定理完整验证三个可证性条件，编码细节的详细程度在数理逻辑教材中是绝无仅有的。作为对比，Enderton将第一定理作为Tarski定理的推论并完全放过了可证性条件。以前听一位老师说考虑过开一门专讲Godel定理的短学期课程，考虑到其中的技巧多为特设性，对以后的学习帮助不大而搁置。但其实既然想要较好地把握高阶的集合论独立性证明，总是要练就一身在对象语言和元语言之间来去自如的功夫的，早些有这样的经验不是坏事。