第六章形式主义-北京大学哲学系.docVIP

从自然主义的角度看形式主义与不完全性定理 叶峰（北京大学哲学系） 摘要：本文从自然主义的角度分析希尔伯特方案与哥德尔不完全性定理的意义，说明一种对希尔伯特方案的修改还是可以帮助达到希尔伯特的数学哲学的基本目的而不受第二不完全性定理的影响，并说明第一不完全性定理为什么并不能支持数学实在论。 关键词：数学哲学，形式主义，不完全性定理 1、引言 形式主义（formalism）是二十世纪初三大数学基础研究流派之一，它是由德国数学家希尔伯特提出的，因此又称作希尔伯特方案（Hilbert’s Program）。希尔伯特是二十世纪初世界上最有成就也最有影响的数学家，希尔伯特方案是他对当时的数学基础危机的回应。希尔伯特提出他的数学基础研究方案的目的是消除布劳维尔的直觉主义对当时的数学家们的影响，拯救今天已经成为经典数学的数学实践规范。他的策略是要用可靠的、本身是无可置疑的数学方法，非常严格地证明，使用经典数学可以帮助我们得出关于现实世界中的有限具体事物的真理。希尔伯特主要在1925年左右提出他的比较成熟的方案。今天学者们都承认，希尔伯特方案在严格的意义上并没有成功，因为，在1931年哥德尔发现并证明了不完全性定理，从而对希尔伯特方案作了致命的打击。 自然主义（naturalism）在这里指的是由笔者本人提出的一种数学哲学理论。它认为，真实存在的就是这个现实的、物质性的宇宙，没有任何其它的东西，而人类是这个物质宇宙的一部分；在人类的数学实践中，真正存在的是有限的人类大脑中的数学构造与推理活动（以及大脑控制身体产生的相关的语言文字符号等等），还有大脑与环境中的物质性的事物之间在人类的数学应用活动中的相互作用；不存在所谓抽象数学对象，尤其是没有所谓无穷的对象，甚至没有所谓的潜无穷，有的只是大脑对所谓潜无穷的想象活动。所以这是唯名论的、物理主义（即唯物主义）的数学哲学。这种自然主义数学哲学的一些基本观念与希尔伯特的形式主义数学哲学在许多方面有相通之处，比如，在拒绝无穷及抽象对象方面。 本文将从自然主义的角度对希尔伯特方案及哥德尔不完全性定理的意义作一些分析。我们希望能够说明，虽然哥德尔不完全性定理证明了希尔伯特方案的技术性策略不能成功，但那是由于希尔伯特方案的技术性策略是基于一个过高的期望，即期望一揽子地证明整个经典数学的可应用性。我们相信，希尔伯特的一些基本思想还是有意义的，是与自然主义的想法相通的，而且，如果我们不是希望一揽子地证明整个经典数学的可应用性，而是可以作更细致的逻辑分析工作来分析那些实际应用中的经典数学，那么还是可以证明希尔伯特的一些基本思想的正确性，还是可以在严格的有穷主义的基础上从逻辑上解释经典数学的可应用性，而哥德尔的第二不完全性定理不影响这个策略。我们还希望能够说明，哥德尔的第一不完全性定理不能蕴涵实在论，也不与自然主义数学哲学相冲突。 2、对希尔伯特方案的一种表述 既然已经有了第二不完全性定理，为了分析希尔伯特方案与第二不完全性定理的意义，有必要更仔细地表述希尔伯特方案，以突出希尔伯特的想法中不受第二不完全性定理影响的部分。一般认为，希尔伯特的有穷主义数学可以形式化为无量词的原始递归算术PRA。PRA中的语句可以解释为关于有限具体事物判断，因此是有真实内容的。假设T是皮亚诺算术PA，或二阶算术Z2，或集合论ZFC等经典数学或经典数学的片断，而且是PRA的递归扩张。T中超出有穷主义的系统PRA的东西称为“理想元”。在希尔伯特看来，包含理想元的语句自身没有真实的内容，它们只是帮助我们推导出超出有穷主义的系统PRA中的语句的工具。希尔伯特方案的最终目的是要证明，利用这些理想元证明出的有穷主义数学PRA中的语句，原则上也可以不利用理想元被证明，也就是说，包含理想元的经典数学系统T相对于有穷主义系统PRA是保守的。 为此，希尔伯特指出，我们只需要用有穷主义数学的系统PRA证明经典数学的系统T的一致性。更具体地说，在哥德尔的第二不完全性定理的证明中我们知道，选择T的适当的公理及适当的哥德尔编码以后，我们可以假设T的证明谓词 ProofT(m, n) ( “自然数m是编码为自然数n的公式在T中的证明的编码” 是一个原始递归关系，因此可以用PRA的一个原子公式ProofT(y, x)表示。这样，系统T的一致性可以用PRA的一个含自由变元的（无量词）公式 (ProofT(y, #(0=S0)) 表示，其中#(0=S0)是矛盾公式0=S0的哥德尔编码，它是一个数字，而 #(0=S0)是表示这个数字的PRA的形如S…S(0)的项。（一般地，对任何自然数n，n表示含n个S的项S…S(0)。）这样，希尔伯特方案的第一个目标就是要证明 PRA|( (ProofT(y, #(0=S0))。 由于哥德尔的第二不完全性定理，我们知道这是做不到的，但希尔伯特