请用最简单的例子解释一下哥德尔不完全性定理谢谢

题目详情

▼优质解答

答案和解析

哥德尔不完全性定理哥德尔是德国著名数学家,不完备性定理是他在1931年提出来的.这一理论使数学基础研究发生了划时代的变化,更是现代逻辑史上很重要的一座里程碑.该定理与塔斯基的形式语言的真理论,图灵机和判定问题,被赞誉为现代逻辑科学在哲学方面的三大成果.哥德尔证明了任何一个形式体系,只要包括了简单的初等数论描述,而且是一致的,它必定包含某些体系内所允许的方法既不能证明也不能正伪的命题.
哥德尔第一不完全定理
　　设系统S包含有一阶谓词逻辑与初等数论,如果S是一致的,则下文的T与非T在S中均不可证.
哥德尔第二不完全定理
　　如果系统S含有初等数论,当S无矛盾时,它的无矛盾性不可能在S内证明.
第一不完备性定理
　　任意一个包含算术系统在内的形式系统中,都存在一个命题,它在这个系统中既不能被证明也不能被否定.
第二不完备性定理
　　任意一个包含算术系统的形式系统自身不能证明它本身的无矛盾性.

看了请用最简单的例子解释一下哥德...的网友还看了以下：

反比例函数图像解析式在一,三象限,要满足什么条件大哥速度谢谢! 　2020-04-08 …

在正方体ABCD中,EF分别是AB、BC的中点,求异面直线EF与AD1所成的角的大小考试呢,哥哥姐　2020-05-16 …

姐姐哥哥,一道数学题,好的加分,谢了已知2的2n+1次方+4n次方=48,求n的值要求过程与答案。　2020-06-07 …

从下面人物中挑选一位,仿照例句写一段话,要求句式相同.王熙凤林黛玉贾宝玉祥林嫂桑迪亚哥如题谢例：祥　2020-06-17 …

观音阁求的签今天妈妈去观音阁给我求了一签由于时间太紧没有去问意思有哪位有才的大哥大姐帮我解释解释海　2020-06-28 …

孰视之,自以为不如A．①孰视之，自以为不如②君言多务，孰若孤请问各位大哥，这两句中的“孰”字该怎样　2020-07-11 …

给同学写一封信作文是本班的,还没有分开,写的内容可以是写他的优点,缺点,建议,意见,劝戒.就只能写这　2020-11-03 …

哥德巴赫猜想.偶数形式：任何不小于4的偶数都可以写成两个质数相加的形式（举几个例子）奇数形式：任何不　2020-11-28 …

关于孤独的寓言故事至少5例谢谢哥哥姐姐了啊　2020-11-28 …

宫妇左右莫不私王A．宫妇左右莫不私王B不宜偏私，使内外异法也请问各位大哥，这两句中的“私”字该如何解　2020-12-01 …

相关搜索：请用最简单的例子解释一下哥德尔不完全性定理谢谢