手机浏览器扫描二维码访问
因为假定以自身为元素的集合存在,所以出现了不满足排中律的自我矛盾的命题。
ZF公理系统解决这个矛盾的办法是使用正则性公理。
它禁止将一个集合作为其自身的元素,禁止了诸如“所有集合的集合”和“所有序数的集合”这样的陈述。
另一个nBg公理系统,这里的g就是哥德尔。
它将“所有集合的集合”称为“真类”,将类与集合分离,从而避免出现自指悖论。
“接下来是不是就是那个很着名的哥德尔不完备定理了?”
阿基里斯靠在壁炉旁低声问道。
房间里的温度已经被火焰加热到近似于炎炎夏日的温度,很难想象那个64岁的干瘦老人是如何在这样的环境中裹着厚厚的毛衣还会感到冷。
“比起广为流传的哥德尔不完备定理,先要提起的是哥德尔完备性定理。”
“从这个定理上,能看出自我指涉问题是如何与实无穷扯上联系的。”
“哥德尔完全性定理研究的内容是一阶谓词逻辑,或者说是有限函数演算。”
“它表明命题逻辑和一阶逻辑具有可靠性和完备性。”
“其中可靠性指可以被证明的一定为真,完备性指一切为真的命题都可以被证明。”
“简单来说就是,至少在有限的范围内,用公理和证明机制足以推导出所有普遍成立的命题。”
“但是一阶谓词逻辑是很弱的,它无法处理无限的概念。”
“最基本的一阶算术系统,用来描述自然数的皮亚诺公理就出了这条定理的范围。”
“在涉及到实无穷的时候,不完备性出现了。”
哥德尔不完备定理有两条内容。
第一条,任何一致的形式系统,只要蕴含皮亚诺算术公理,就存在一个在系统中不能被证明的真命题。
如果一个命题为真,直觉上总是可以在系统内被证明出来,而不完备性定理否认了这一点。
第二条,任何一致的形式系统,只要蕴涵皮亚诺算术公理,就不能证明其本身的一致性。
也就是说,一个公理系统的自洽性是无法在自身体系内被证明的,必须依赖于更高阶的系统。
在皮亚诺算术公理定义的自然数系统中,古德斯坦定理就是这样一个例子。
它是一条有关于自然数的命题,但在定义这个命题的公理系统内部,却无法证明这个命题。
该定理可以在更高阶的系统下证明为真,但在皮亚诺算术系统内是不可证的。
连续统假设也是这样一个问题。
连续统问题追问的是实数子集的大小,其相关命题以实数子集为概括对象。
每个实数相当于一个自然数子集,连续统问题所谈论的对象就成了全体自然数子集所构成的集合的子集。
将直接概括自然数的算术称为一阶算术,以自然数子集或者实数为概括对象的算术为二阶算术。
那么连续统问题就属于三阶算术。
康托尔是在由戴德金分割定义的实数系中现的连续统假设,但这个问题在实数模型内部却是不可判定的。
哥德尔形式证明了连续统假设的一般形式与ZFc公理是一致的。
如果把连续统假设作为公理加入集合论的这些公理中,不会产生任何逻辑矛盾。
科恩证明了一般的连续统假设的否定命题也可以加入ZFc中而不产生矛盾。
因此,连续统假设与标准的集合论公理是互相独立的。
它类似于平行公理相对于欧几里得几何的其他公理的地位,集合论的标准公理既不能证明也不能否定它。
根据连续统假设是否成立,可以像是欧几里得几何与非欧几何一样,构造出不同的集合论系统。
这就是康托尔失败的原因。
连续统假设的逻辑独立性就意味着它既不为真又不为假。
集合论中乱成一团的悖论和不可证性可以说是允许非构造的概念——尤其是实无穷,进入数学的自然后果。
喜欢触手怪的宇宙之旅请大家收藏触手怪的宇宙之旅本站更新度全网最快。
简介关于诡异复苏我代神明行走人间诡异复苏,天庭地府却早已消失不见。安稳繁华的表象下隐藏的是即将到来的绝望,人类沦为血食。曾几何时护佑人族的天庭众神只残留下财神的名号,勉力庇护一地。张羽开着穿越者专属外挂,在一路碾压中揭开一道道隐藏在黑暗中的真相,点燃一座座神道丰碑。守护世界守护我的世界我张羽能有今天的成就全靠自己的努力!系统,请九天应元雷声普化天尊临凡诛邪!...
简介关于官场分手不久,省长女儿爱上我上一世,被妻子戴帽,被岳父害死,被岳母逼死父母。这一世,林辰开局就打脸那个贱女人,打脸贱女人的爹,省组部的大佬,却因此被配到最穷市的最穷县的最穷乡。重生就是金手指,而且多多,且看林辰如何在困境中杀出一条血路,报上一世的仇怨,补上一世的不甘,圆上一世的梦想...
母亲三婚的大喜之日,余暮夕被没有任何血缘关系的三哥洛挽风掳走。洛挽风欺她上了瘾,却又在不知不觉中爱上了她。余暮夕恨他入骨,不得不在他的威严之下苟活着。传闻,余暮夕被欺负得很惨,日子过得生不如死,只要洛挽风说113,她绝不敢说2。某天,某客厅内,一大一小的两人跪着键盘,面壁思过。爸,你今天犯什么错了?出门太错爱情深,洛少放肆宠...
林知夏被养父母设计嫁入顾家冲喜,新婚夜植物人老公顾凌笙醒来,厌恶地把她赶回家,林知夏毫不犹豫抬腿便走。然而她一走,顾凌笙便晕倒了,林知夏又被顾家请了回去。顾凌笙数次想要赶走林知夏,不料非但不成功,反而将两人的关系越拉越近,最后将自己陷了进去,开始了漫长的追妻之旅。顾凌笙老婆,我爱你!林知夏谁是你老婆?我们冲喜之后,顾总让我滚...
昭国有朝抚,幼年继位,貌美倾城!摄政当政,却引敌国皇长子倒插门?国库空虚,却得五国富入宫为君?兵力稀缺,却让敌国将军带兵下嫁?民不聊生,却有天才丞相宫中辅助?天灾人祸,却是青年国师说来就来?他们围在她身边,面色不悦。陛下还去找别的男子吗?还喝人家的茶吗?她拼命晃着脑袋不敢了不敢了,有你们就够了!真的!伸朝抚女帝...
简介关于原来的我一个艰难生存在社会底层的草根,一个各种原因把自己耽搁的老单身世事沉浮负重前行拨云见日,我是不是还是原来的我?...