电脑前传（3）逻辑.pdfVIP

第 15 卷  第3 期  2019 年 3 月　 电脑前传(3)：逻辑 黄铁军 关键词 ： 布尔代数　逻辑主义　希尔伯特纲领　哥德尔定理 北京大学 　　2019 年第1 期《电脑前传(2) ：计算》回顾：图灵1936 年的论文划定了计算的理论边界：计算 是机械地执行长度有限的算法的过程，都可以由图灵机完成；所有算法都可以编码成为一个整数，因 此是可数的；尽管如此，并不存在枚举出所有算法的算法。在此基础上，图灵对判定问题给出了否定 回答。事实上，图灵的这个伟大贡献受到了五年之前另一个伟大贡献的启发，这就是本期要介绍的哥 德尔不完备定理。 古典逻辑 根本就不构成它的一部分。三段论是解释那些真前 提的组合产生真结论的形式理论，即一个命题（结 逻辑学的目的是为人