柏拉图主义 算术化方法和哥德尔数——读哥德尔之五

柏拉图主义 算术化方法和哥德尔数——读哥德尔之五

随意翻看哥德尔的轶闻琐事，他的一些奇怪直觉引人关注和思考。其中的一个奇怪直觉特别有趣，哥德尔竟然是个彻底的“反经验主义者”，他描述的东西几乎与实在世界毫不相干。用戈德斯坦的一段评论，哥德尔与爱因斯坦一样，他们致力于超越人类的所谓经验，尤其是致力于超越逻辑实证主义者所完全依赖的经验。这两位学术巨擘，全都是在用自己的发现，描述他们“视野之外”的神秘世界。（参见：戈德斯坦《不完备性》湖南科技出版社中文版第25页）。
爱因斯坦发现的东西，属于理论物理学，他的“视野之外”似乎还有那么一点实在和经验可言可感。谈及哥德尔，则纯然是“视野之外”，纯然抽象的数学和逻辑范畴，一点都用不到人类与生俱来的感觉器官，你简直从中就感受不到一丁点实在世界的影子。哥德尔对于人类视野的这种超越，称为数学的柏拉图主义。当阅读哥德尔定理，稍稍理解哥德尔的形式化系统之后，你开始理解哥德尔的算术化思路时，这个数学柏拉图主义，看来也是理解哥德尔的一个背景，有必要在“算术化”的理解之前，先来领悟领悟这个神秘的观念世界。
柏拉图照（公元前427-前347）

标题一、哥德尔的“数学柏拉图主义”

多元世界的多元，首在观念的多元。这个世界的最可爱之处，就在于智者为这个世界发现的诸多故事，而不在那些低俗的打打杀杀，拼勇斗狠。数学柏拉图主义非三言两语可以描述，但好在有智者精彩著作留世，虽时隔多年，依然是描述柏拉图主义的经典。如若想理解数学柏拉图主义，英国数学家哈代Hardy，Godfrey Harold（1877-1947）的留世经典著作《一个数学家的辩白》，恐怕是最合适的一本书。哈代一生反战，一生提携后学，据载，中国著名数学家华罗庚就曾受教过哈代。哈代支持罗素的和平抗争，他还与英国另一位著名数学家李特尔伍德，共建了英国的数学分析学派。大概可以说，喜欢数学的人，大都没有理由不对这个哈代肃然起敬，也没有理由不欣赏他所描述的柏拉图主义。
哈代照