柏拉图主义 算术化方法和哥德尔数——读哥德尔之五
随意翻看哥德尔的轶闻琐事,他的一些奇怪直觉引人关注和思考。其中的一个奇怪直觉特别有趣,哥德尔竟然是个彻底的“反经验主义者”,他描述的东西几乎与实在世界毫不相干。用戈德斯坦的一段评论,哥德尔与爱因斯坦一样,他们致力于超越人类的所谓经验,尤其是致力于超越逻辑实证主义者所完全依赖的经验。这两位学术巨擘,全都是在用自己的发现,描述他们“视野之外”的神秘世界。(参见:戈德斯坦《不完备性》湖南科技出版社中文版第25页)。
爱因斯坦发现的东西,属于理论物理学,他的“视野之外”似乎还有那么一点实在和经验可言可感。谈及哥德尔,则纯然是“视野之外”,纯然抽象的数学和逻辑范畴,一点都用不到人类与生俱来的感觉器官,你简直从中就感受不到一丁点实在世界的影子。哥德尔对于人类视野的这种超越,称为数学的柏拉图主义。当阅读哥德尔定理,稍稍理解哥德尔的形式化系统之后,你开始理解哥德尔的算术化思路时,这个数学柏拉图主义,看来也是理解哥德尔的一个背景,有必要在“算术化”的理解之前,先来领悟领悟这个神秘的观念世界。
柏拉图照(公元前427-前347)
标题一、哥德尔的“数学柏拉图主义”
多元世界的多元,首在观念的多元。这个世界的最可爱之处,就在于智者为这个世界发现的诸多故事,而不在那些低俗的打打杀杀,拼勇斗狠。数学柏拉图主义非三言两语可以描述,但好在有智者精彩著作留世,虽时隔多年,依然是描述柏拉图主义的经典。如若想理解数学柏拉图主义,英国数学家哈代Hardy,Godfrey Harold(1877-1947)的留世经典著作《一个数学家的辩白》,恐怕是最合适的一本书。哈代一生反战,一生提携后学,据载,中国著名数学家华罗庚就曾受教过哈代。哈代支持罗素的和平抗争,他还与英国另一位著名数学家李特尔伍德,共建了英国的数学分析学派。大概可以说,喜欢数学的人,大都没有理由不对这个哈代肃然起敬,也没有理由不欣赏他所描述的柏拉图主义。
哈代照
哈代在他的经典著作《一个数学家的辩白》中,坦然表示自己是柏拉图主义的信徒,这个柏拉图主义正如他在书中所言:
我相信数学实在存在于我们之外,我们的任务是去发现或观察它。而