下载地址

豆瓣评论

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

猜你喜欢

大家都喜欢