基于直觉主义对哥德尔不完全性定理的评论.PDFVIP

( ) 2008 年第 2 期 　　　　　　　　　　　厦门大学学报 哲学社会科学版 　　　　　 　　　　　　　　No . 2 2008 ( ) ( ) 总第 187 期 　 　　　　　JOURNAL OF XIAMEN UNIVERSITY Arts Social Sciences 　　 　　General Serial No . 187 基于直觉主义对哥德尔不完全性定理的评论 ———从维特根斯坦的评论开始 庄朝晖 (厦门大学 信息科学与技术学院 ,福建 厦门 361005) 摘 　要 :维特根斯坦对哥德尔定理的评论一向为人们所诟病 。基于直觉主义 ,维特根斯坦的 评论可以得到更好的理解 。在直觉主义者看来 ,康托尔的对角线证明方法是不适当的 , 因为在证 明中基于可数集定义的康托尔数是一直处于构造之中的 ,而且可数集与康托尔数的展开是相互追 随的。证明中的矛盾不是来自前提错误 ,而是来 自不正当的对康托尔数的定义和使用 。同样 ,哥 德尔定理证明中得到的矛盾是来源于哥德尔对哥德尔公式的不正当定义和使用 。这一结论还可 以推广到递归函数和图灵机这些等价的计算模型 。 关键词 :哥德尔不完全性定理 ;对角线方法 ;直觉主义 ;维特根斯坦 ( ) 中图分类号 :O14 　　文献标识码 :A 　　文章编号 :0438 - 0460 2008 02 - 0077 - 08 引　言 哥德尔不完全性定理是 20 世纪最重要的定理之一 ,在逻辑学 、计算机科学 、数学和哲学领域都 有广泛的影响 。递归函数和图灵机的不可计算性理论都与哥德尔定理有密切的关系 。 ( ) ( ) 哥德尔在罗素系统 PM 系统 上构造了一个封闭公式 以下也称为哥德尔语句 ,证明了哥德尔 第一不完全性定理 :如果罗素系统是一致的 ,那么这个公式在罗素系统中不可证明 ,这个公式的否 [ 1] 定在罗素系统中也不可证明的。 哥德尔的这个定理具有相当的一般性 ,在包含一阶算术的形式系 统中都适用 。在《数学家的逻辑》这本书中 ,基于一阶算术 ,也给出了哥德尔不完全性定理的证明过 [2 ] 程 。 基于罗素系统还是基于后来的一阶算术来讨论哥德尔不完全性定理 ,效果都是一样的。 根据哥德尔第一不完全性定理 ,一阶算术如果是相容的 ,则一阶算术是不完全的 ,那么一阶算 术至少有两个实质不同的模型 。也就是说一阶算术除了自然数系统之外 ,还可能有第二个模型 。 如果把自然数系统称为一阶算术的标准模型 ,那么一阶算术还可能有非标准模型 。对于形式主义 者 ,基于不完全性定理之上 ,当把一阶算术的模型指定为 自然数系统时 ,又可以推出一阶算术在 自 然数系统上的不完备性 。形式主义者对于哥德尔不完全性定理的解读 ,往往针对的是自然数系统 , 收稿 日期 :2007 - 10 - 16 ( ) 作者简介 :庄朝晖 1976 - ,男 ,福建南安人 ,厦门大学信息科学与技术学院讲师 。 ·77 · © 1994-2009 Ch