哥德尔不完全性定理的推广形式及其哲学影响

摘要：

本文主要有五方面内容:一是将哥德尔不完全性定理涉及的一致性、语法完全性、ω-一致性、相对于N的可靠性、相对于N的完全性、可定义性等元理论性质推广成更一般的形式,并对其性质进行深入研究;二是简要回顾Salehi和Seraji所证推广的哥德尔第一不完全性定理,并就其关键定理给出更简洁易读的新证明,同时额外证明2组推广的哥德尔第一不完全性定理:任给n>0,如果T是包含罗宾森算术的、Σn+1-可定义的(Πn-可定义的)、Πn+1-可靠的算术理论,那么T不是Πn+1-决定的;三是简要回顾Seraji和本文作者所证推广的哥德尔第二不完全性定理,并给出新证明,同时额外证明2组推广的哥德尔第二不完全性定理:任给n>0,如果T是包含皮亚诺算术的、Σn+1-可定义的(Πn-可定义的)、Πn+1-可靠的算术理论,那么T不能证明自身Πn+1-可靠性;四是用两种方法再证明4组与一致性相关的推广的哥德尔第二不完全性定理:任给n>0,如果T是包含皮亚诺算术的、一致的、Σn+1-可定义的(Πn-可定义的)、Σn+1-完全的(Πn-完全的)算术理论,那么T不能证明自身一致性,同时给出2组可证自身一致性的算术理论;五是基于推广的哥德尔不完全性定理,从对形式化方法局限的反驳、对反机械主义的支持、对数学家地位的维护等三个方面重新审视哥德尔不完全性定理所产生的哲学影响.

关键词：不完全性、非递归可枚举理论、一致性、Γ-一致性、Γ-可靠性、Γ-完全性、Γ-可定义性、哲学影响

所属期刊栏目：13

分类号：B81(逻辑学(论理学))

资助基金：本成果受到中国人民大学2020年度"中央高校建设世界一流大学学科和特色发展引导专项资金"支持

在线出版日期：2020-06-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共24页

页码：87-110