正确理解哥德尔不完全性定理  

On Correct Understanding of the Godel's Incompleteness Theorem

作　　者：陈慕泽[1] 

机构地区：[1]中国人民大学哲学系,北京100872

出　　处：《湖南科技大学学报（社会科学版）》2008年第2期27-30,共4页Journal of Hunan University of Science and Technology(Social Science Edition)

摘　　要：借澄清对哥德尔不完全性定理若干误解的机会,以直观与简明的方式阐述哥德尔不完全定理的内容、意义及哥德尔的相关工作。哥德尔不完全性定理包括两个内容:第一,一个不弱于初等数论的形式系统,如果一致,则不完全;第二,这样的形式系统如果一致,则这种一致性在系统内不可证。With the chance to clarify some misunderstandings of the Codel＇s Incompleteness Theorem, this paper attempts to explain the theorem in a compendious way so as to let general readers follow. The author holds that two main contents are included in the Godel＇ s Incompleteness Theorem.

关 键 词：哥德尔不完全性定理 不可判定公式 可证 真 

分 类 号：O141.1[理学—数学] B712.59[理学—基础数学]