哥德尔不完全性定理

• 发表：2024-07-16
• 分类：学习教育
• 围观：0

• 马蹄北去

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

• 
  思维导图学与用
  2024-06-09

  5
• 
  养育女孩（成长版）
  2024-06-10

  7
• 
  如何高效写作
  2024-06-10

  10
• 
  蔡骏24堂写作课
  2024-06-10

  6
• 
  如何写出一篇好文章
  2024-06-10

  10
• 
  我们今天怎样做父亲
  2024-06-10

  6
• 
  程序员编程语言经典合集（共5册）
  2024-06-10

  7
• 
  给大壮的信
  2024-06-10

  9