哥德尔不完全性定理的证明是无效的.PDF

哥德尔不完全性定理的证明是无效的 杨六省 （陕西省长安师范学校，西安，710100 ） 摘要: 目的 讨论哥德尔不完全性定理论证的有效性问题。方法 以一条叫做逻辑先后律的思维原则为剖 析工具。结果 发现不完全性和说谎者悖论的证明，均由于违反逻辑先后律而犯有“偷换概念”的错误。结论 哥德尔的证明是无效的。 关键词:ω−相容性；哥德尔不完全性定理；哥德尔数；逻辑先后律；说谎者悖论；可表达性；自指代 中图分类号 O14 1.引言 哥德尔（Kurt Gödel ）不完全性定理自发表以来，获得了数学乃至整个学界的公认和普遍赞誉：称哥 德尔为“20 世纪最有意义的数学真理的发现者”[1] ，称他“横扫了《数学原理》这座堡垒，使之轰然倒塌变 成了一堆瓦砾” [2] ，该定理也“被认为是对数学基础的根本贡献”[3]146 。但作为一个基础命题，却要通过一 种细节艰深且极富技巧性的论证才能得出，这本身就是可疑的。尤其是，在一个系统内，一个不是公理的 真命题，但却不可证，即不能给出一个其必然为真的理由，这在逻辑上是难以说通的。哥德尔认为，不完 全性定理与说谎者悖论密切相关。后者并不涉及艰深和具有高度技巧性的论证过程，但历经 20 多个世纪， 其推理过程到底存在什么谬误，却难以给出一个令人信服的理由。因此，有理由假设，两个疑难的根源， 均与某个一般性的原则有关；并且借助于该原则，上述疑难能够获得消解。事实上，我们将会看到，情况 确实如此。这个原则强调，概念的发生是有逻辑次序的，而不是先验地一揽子地同时并存（例如，“非自 谓的（impredicable ）”这个形容词与普通形容词就并非是同时并存的，将它们视为同时并存，就会提出不 合理的问题，从而导致悖论的发生）。本文将利用逻辑先后律以揭示，哥德尔的证明是无效的。 2. 讨论及结论 2.1 一条解悖原则——逻辑先后律 笔者曾提出了一条平淡无奇似乎并无新意的消解悖论的思维原则。这条原则说的是：在处理概念之间 的关系时，逻辑上属后的东西不得与逻辑上在先的东西相混淆，我们不妨称之为逻辑先后不得混淆原则， 简称逻辑先后律。该原则要求所提问题及论证过程的论域的正当性[4] 。（注：其实早在亚里士多德，就已 把“逻辑在先”与“时间在先” 明确地加以区别了[5]17-18 。但根据逻辑先后律，亚里士多德关于上帝的有名的 规定——“思想的思想”[5]23 ，这前一个“思想”与后一个“思想”就并非是同一的。） 没有新意，也永远不会过时，那说明它是永恒的，它一直就深藏于人们的常识中。不要指望能够提出 “全新” 的原则，以解决科学的根本难题。即使是笛卡尔提出的坐标思想，也不能说就是“全新” 的。事实上， 2 杨六省论文 2012-07-07 Email: yangls728@163.com 古人早就在应用诸如“朝南走多少距离，再朝西走多少距离”或“ 向东南走多少距离（极坐标思想）” 的说法 来表示位置。在初中平面几何的教学中，老师就有意识地教导学生，要以公理和此前已获证的结论作为其 后所要证明的结论的论据，这就是逻辑先后律的思想。问题的关键不在于提出的原则是否“全新”，而在于 是否自觉地意识到了科学的根本难题与这种常识思想之间的联系，从而把这常识思想明确地用原则的形式 确立下来。下面的引语说得好：“公理就是要平淡无奇，这样我们就能认为它们为真，而不用去证明它们， [3]90 让其他的都根据它们得出来” 。 2.2 对密切相关的说谎者悖论的澄清 哥德尔关于自己的不完全性证明，这样写道：“这个证明表面看来与理查德悖论很相似，它与‘说谎者 悖论’也密切相关” [6] 。关于这2 个悖论，笔者已在文[4]中发表过看法，在那里已对A.塔尔斯基(A. Tarski) 给出的说谎者悖论的论证表述做过解析。但考虑到哥德尔证明中存在着与说谎者悖论相同的逻辑问题，而 说谎者悖论关系单纯，故对说谎者悖论的最为常见的表述形式进行较为详尽的解析，就显得是必要的。 美国数学家、逻辑学家 S.C.克林在为《大英百科全书》[1980]撰写的《数学基础》一文中关于说谎者 悖论曾这样写道：“这句话，如真，即假；如假，则真。至今没有一个人能够使大家信服地明确提出悖论 的推理中有任何谬误，从而解除悖论。” 国际知名女学者哈克（S