哥德尔不完全性定理的科学推理意义.PDFVIP

哥德尔不完全性定理的科学推理意义 郭金彬 　黄长平 (厦门大学哲学系 ,福建厦门　361005) 摘 　要 :哥德尔不完全性定理在科学推理 ,特别是在通过有限步骤的手段而达到对无限的认识和把握 中 ,具有重要的方法论意义 ,它启示人们对前提条件进行考察时讲究改进情景 ,通过转换形式 ,从不同系统 着手 ,探索真理 。 关键词 :不完全性定理 　证明推理 　有限步骤 　无限 ( ) 〔中图分类号〕N 09 　 〔文献标识码〕A 　 〔文章编号〕1000 - 0763 2010 02 - 0015 - 06 ( ) 哥德尔 Kurt Gdel ,1906 - 1978 是美国著名数学家 ,他于 1931 年发表了形式数论系统的不完全性定理 ( Gdel ’s incompleteness theorem) 。它包括第一定理 :形式数论系统和它的任意协调的扩充系统里 ,都有不含 ( ) ┐ 自由变元的公式 即闭公式 A 使得 A 和它的否定式 A 都不是定理 ;第二定理 :形式数论系统的协调性的证 明不可能在形式数论系统中实现 。或把它描述为 :如果对 自然数理论形式化而获得的系统是相容的 ,则该 ┐ 系统必包含一逻辑公式 A ,使得 A 和它的否定 A 在系统中都不能证明。这个定理不仅表明 ,作为 自然数理 论的公理而言 ,通常的公理系统是不完全的 ,而且在有穷观点下表明对 自然数理论的形式化系统 ,在相容性 范围内无论怎样添加公理 ,它仍然是不完全的。哥德尔不完全性定理的发表 ,立即震惊了世界数坛 ,其中尤 其要提到伟大数学家冯 ·诺意曼的反应 。冯 ·诺意曼在 20 世纪 20 年代后期 ,参与了希尔伯特的元数学计划 , 发表了几篇关于证明部分数学公理无矛盾性的论文 。哥德尔不完全性定理发表后 ,冯 ·诺意曼中止了这方 面的研究 。他几次亲自验证了这条定理 ,对哥德尔出色的成就表示完全折服 ,在 1931 年秋季普林斯顿讨论 班上 ,冯 ·诺意曼本该报告自己的重要工作 ,但他却没有这样做 ,他利用此机会认真介绍了哥德尔的这个成 果 ,大力加以肯定和赞扬 ,哥德尔不完全性定理是很有份量的 ,它开辟了数理逻辑的新纪元 ,使数理逻辑形 成一门独立的科学 。 我们知道 ,所谓形式系统 ,即用形式符号对直观数学系统的模拟 。为了使证明严格化 ,为了使数学对象 能够概括更多的模型 ,人们力图机械地判定哪些合式公式串是证明 ,哪些不是 ,这就要用到形式系统 , 因为 它有公理集和由包括公理在内的已知定理产生新定理的推理规则集 , 因而形式系统的完全性说明其中的形 式推理完全地反映了通常的演绎推理 ,这就决定了形式系统的推理价值 。哥德尔定理揭示了形式系统最重 要的特性 ———抽象性 、协调性和完全性的内在机理 ,也给人们用推理作为工具来认识“无限”带来了深层次 的思考和提供了一些很有意义的思路 。 一 哥德尔获得不完全性定理是有精湛的数学技巧的 ,他证明了不完全性定理并深刻地研究了所用的推 理方法 。 我们知道 ,数学家最关心的事之一就是公理系统的无矛盾性和完全性 。所谓的完全性就是 ,如果在每 〔收稿 日期〕2008 年 12 月 30 日 ( ) 〔作者简介〕郭金彬 1947 - 男 ,福建莆田人 ,厦门大学哲学系教授 ,研究方向为科学思想史和科学哲学 。 ( ) 黄长平 1964 - 男 ,安徽人 ,厦门大学哲学系博士生 ,研究方向为科技思想史和科学哲学 。 15 © 1994-2010 China Academic Journal Electronic Publishing House. All rights reserved. 个结