经典阅读 01 -- 《逻辑的引擎》中

经典阅读 01 – 《逻辑的引擎》中

04 - 康托尔在无限中探索

康托尔（1845-1918）

编外讲师，最后精神奔溃，是莎士比亚作者身份的专家

集合论

• 无穷集的大小是不同的。
• 只要一个集合中的元素可以同另一个集合中的元素一一对应起来，我们就可以说这个集合的元素数目相等。
• 对角线法（包裹上的标签，就是包裹的东西）（可以找出一个新包裹和任何贴标签的包裹都不一样）。
• 连续统假设，未能证明

总结

• 他把集合论发展成了一门独立的学科。
• 罗素悖论的集合形式：是否存在一个包含所有集合的集合。

05 - 希尔伯特的营救

希尔伯特（1862-1943）

成就

• 20世纪数学家面对的23个问题

  • 第一个就是康托尔的连续统假设
  • 第二个是为实数的算术建立公理的一致性

• 罗素《数学原理》

  • 证明在一个符号逻辑系统中对数学进行完全的形式化是绝对可行的。

• 希尔伯特纲领：

  • 算术的一致性问题（强调形式化和有限性）
  • 希尔伯特判定问题：试图找到清楚明白的验算程序，只要用所谓的一阶逻辑的符号系统写出来的某些前提和所提出的结果给定，那么通过这些程序就是可以判定的。

总结

• 希尔伯特是乐观的，他的墓碑上刻着两行字
  • 我们必须知道
  • 我们将会知道

06 - 哥德尔使得计划落空

哥德尔（1906-1978）

和爱因斯坦是挚友，常一起散步

成就

• 1930年博士论文中证明了弗雷格的规则是完备的。
• 哥德尔的不完备定理
  • 这个是假命题

皮亚诺算术（PA）的自然数公理系统中，任何一个可以在其中表出的命题，后者可以在PA中被证明为真，或者可以在PA中表出为假

• 听完哥德尔的报告，冯诺依曼意识到希尔伯特纲领是错的，可惜哥德尔已经发表了论文。

总结

• 图灵的构想受哥德尔的不完备定理启发。