【哥德尔的的核心问题】哥德尔不完备定理动摇了数学的基础吗?

2019-10-28 - 哥德尔

我对数理逻辑及其历史并不是很熟。下面如果有说错的欢迎指出来。

首先哥德尔不完备性定理有两条。我直接把维基百科的原文贴上来。

第一条的意思大致是说:包含算术系统的公理体系(也就是说可以定义自然数的公理体系)都是不完备的,即在这个体系下可以写出一条命题,他既不能在这个体系内证明,也不能在这个体系内被证伪。这个事情听起来挺玄乎的,其实你仔细想想,比如选择公理是可以在ZF公理下表述,但是ZF不能证明也不能证伪选择公理;这个定理无非是说,对足够复杂、能定义自然数的公理体系,他里面总存在“新的公理”而已;你不可能通过添加有限多条公理来达到完备——即所有的命题要么被证明,要么被证伪;总有一个角落你够不着。

哥德尔的的核心问题

第二条就是题主提到的一致性的问题了。这个表述更吊诡:一个包含算术系统的公理体系,即使他是一致的,他也不能在其内部证明他自身的一致性。是不是挺绕口的。。什么意思呢?比如我们还是拿ZFC公理举例,“ZFC不一致”这个命题我们用 来表示,其实也不一定要用0=1,随便一个什么假命题都可以,只是0=1这个写起来最简单而已。

哥德尔的的核心问题

如果我们证明了ZFC内部能够证明0=1,那不就出矛盾了,就乱套了嘛——在一个有矛盾的公理体系内部,真假是没有意义的,所有命题都同时为真同时又为假。

那么不一致的反面就是一致,也就是 ,这个命题可以用形式语言写成ZFC内部的一个命题。这个绕口的定理是说,我们不能在ZFC的内部证明ZFC的一致性,但是可以在ZFC的外部(引入新公理)来证明ZFC的一致性。

哥德尔的的核心问题

好吧,我自己对一致性理解也不是很好,上面说得我自己都有点困惑了。。希望学逻辑的老师同学来给出更清晰的解释。

但无论如何,第二条定理是说,我们不能排除ZFC不一致的可能性,但不代表我们已经发现了ZFC内部存在矛盾。这两条定理某种意义是说形式语言表述能力的有限性,你不能指望一个足够复杂的有限的形式系统能够完美地做到你期望他做到的一切事情,有时候不可避免地要加新公理。

哥德尔的的核心问题
相关阅读
哥德尔人工智能【哥德尔人工智能】关于哥德尔定理与人工智能的问题...

Q1这个解释不太对。应该是如果G是假的,那么在PM中必然存在G的一个证明,然后导出G是真的,因为PM是一致的所以这种情况不可能发生,所以G是真的。那么根据G自己的陈述,就有G在PM中不可证明的结论。Q2可以这样说。

哥德尔的生平【哥德尔的生平】哥德尔对卡尔纳普的批判

摘要哥德尔被看作维也纳学派共同体值得骄傲的成员,生前从未发表过批判逻辑实证主义的文字。本文通过新近公布的一些文献,从哥德尔对卡尔纳普语言约定论的批判中考察他与维也纳学派观点的重大分歧。关键词哥德尔维也纳学派逻辑实证主义卡尔纳普语言约定论哥德尔一向被看作维也纳学派值得骄傲的成员。

哥德尔证明神的存在【哥德尔证明神的存在】如何评价哥德尔对上帝存在的本体论证明?

应黄集攀的邀请,逐项点评、分析哥德尔证明。逐步补充,未必能一口气完成。首先黄集攀对模态逻辑的理解和哥德尔证明步骤的翻译没有严重的技术性问题(有一些地方仍然不够准确,但这些地方大多都要理解了这个证明才能讲透)。

哥德尔不完备定理证明【哥德尔不完备定理证明】如何通俗的理解哥德尔不完备定理?

假如你试图用一些很强的公理构造出一个数学系统,当你试图用这些公理在这个系统内推导出命题的时候,就会发现这些公理之间自相矛盾。朴素集合论就属于这种情况,所以有Russell悖论。举个形象的例子,假如你既要假设依法治国。

哥德尔定律【哥德尔定律】哥德尔的定理是如何玩坏数学的!

但是,仅仅因为我能说出一个语句,并不意味着我可以证明它为真或者假。大多数情况下,那个语句是难以证明的,所以你不知道如何证明它。可是,还有一种可能,存在既不能证明为真,也不能证明为假的语句。这种语句,我们称为不可证明的语句。

推荐阅读
哥德尔不完备定理证明【哥德尔不完备定理证明】如何通俗的理解哥德尔不完备定理?
哥德尔证明神的存在【哥德尔证明神的存在】如何评价哥德尔对上帝存在的本体论证明?
梦想中国黄鑫【梦想中国黄鑫】黄鑫奚大野助阵《梦想中国》新书签售会(组图)
阿娜尔罕石榴熟了【阿娜尔罕石榴熟了】叨叨阿娜尔罕关系怎么样 两人曾合作过《石榴熟了》
孙伊萍老公是谁孙伊萍老公是谁 中粮地产成都总经理孙伊萍任蒙牛总裁
刘雨欣整容前照片刘雨欣整容前照片 刘雨欣承认整容 刘雨欣整容前后照片对比
阿基米德名言阿基米德名言