《GEB》读书会第二次活动（第二、三章）.doc

《GEB》读书会第二次活动 学习资料 （第二、三章） 东方和尚主讲 学习指南： 第二章的主题是“形式系统”，第三章的主题是“背景和前景”。这两节是全书的知识基础，所以一定要掌握牢固。贫僧在这篇文章中间，会把什么是形式系统，形式系统的意义和局限，以及超越形式系统的可能讲清楚。请读者认真参考本文和教材。此外，我认为学习形式系统的同时，复习一下图灵机的原理正逢其时。附上Jake大人年轻时候写的一篇充满朝气的文章。也请大家潜心阅读，必有好处。 基本上，我们可以认为，研究形式系统的目的，就是用一种机械化的，程式化的方式来模仿人的思维。这是因为人类的科学是理性发挥的极致，而所谓理性，一般认为就是用固定的，程式化的推理方式，从已知前提推导出未知结果，从而得到新知识的过程。正因为过程固定了，一个人的推理和另外一个人的推理，一定得到同样的结果，就像对于任何一个人来说，2+2都等于4一样。有了这样客观的，坚实的推理体现作为知识的基础，我们才能确信只要根据正确的方法进行推理，所得到的任何一个微小的结果，和最初的根本公理同样坚不可摧。这意味着：知识大厦的每一块砖瓦都是永不磨损的，因此大厦整体也是永恒不灭的。 建立永恒的知识大厦是人类最美好的理想之一，从古希腊到后现代思潮为止，这种想法一直占据知识界的统治地位。希尔伯特提出形式系统之设想，只是最后一次对这种理想的抒发。但是不久之后，这个美好