哥德尔不完全性定理
读书评论：
-
马蹄北去03-10虽说稍微进阶的数理逻辑教材都有哥德尔不完全性定理的内容，但这本还是有一些值得一说的特点的：一是清楚地分离了证明的“哲学”部分（自指，对角化，真与可证）和技术部分（编码方案和语法的算术化），可以更清楚地把握证明的结构；二是介绍了哥德尔的原始证明和罗瑟的改进，并且通过第二不完全性定理的证明讲了一些可证逻辑的内容；三是通过使用一些小技巧大大降低了证明的理解难度。缺点是定价太贵以及公式不用LaTex排版看着有点难受。复旦的那本《数理逻辑》和这本的结构较为相似，但严谨程度更高，可参照阅读；可证逻辑在Boolos的《可计算性与数理逻辑》第27章有专题介绍