手机浏览器扫描二维码访问
因为假定以自身为元素的集合存在,所以出现了不满足排中律的自我矛盾的命题。
ZF公理系统解决这个矛盾的办法是使用正则性公理。
它禁止将一个集合作为其自身的元素,禁止了诸如“所有集合的集合”和“所有序数的集合”这样的陈述。
另一个nBg公理系统,这里的g就是哥德尔。
它将“所有集合的集合”称为“真类”,将类与集合分离,从而避免出现自指悖论。
“接下来是不是就是那个很着名的哥德尔不完备定理了?”
阿基里斯靠在壁炉旁低声问道。
房间里的温度已经被火焰加热到近似于炎炎夏日的温度,很难想象那个64岁的干瘦老人是如何在这样的环境中裹着厚厚的毛衣还会感到冷。
“比起广为流传的哥德尔不完备定理,先要提起的是哥德尔完备性定理。”
“从这个定理上,能看出自我指涉问题是如何与实无穷扯上联系的。”
“哥德尔完全性定理研究的内容是一阶谓词逻辑,或者说是有限函数演算。”
“它表明命题逻辑和一阶逻辑具有可靠性和完备性。”
“其中可靠性指可以被证明的一定为真,完备性指一切为真的命题都可以被证明。”
“简单来说就是,至少在有限的范围内,用公理和证明机制足以推导出所有普遍成立的命题。”
“但是一阶谓词逻辑是很弱的,它无法处理无限的概念。”
“最基本的一阶算术系统,用来描述自然数的皮亚诺公理就出了这条定理的范围。”
“在涉及到实无穷的时候,不完备性出现了。”
哥德尔不完备定理有两条内容。
第一条,任何一致的形式系统,只要蕴含皮亚诺算术公理,就存在一个在系统中不能被证明的真命题。
如果一个命题为真,直觉上总是可以在系统内被证明出来,而不完备性定理否认了这一点。
第二条,任何一致的形式系统,只要蕴涵皮亚诺算术公理,就不能证明其本身的一致性。
也就是说,一个公理系统的自洽性是无法在自身体系内被证明的,必须依赖于更高阶的系统。
在皮亚诺算术公理定义的自然数系统中,古德斯坦定理就是这样一个例子。
它是一条有关于自然数的命题,但在定义这个命题的公理系统内部,却无法证明这个命题。
该定理可以在更高阶的系统下证明为真,但在皮亚诺算术系统内是不可证的。
连续统假设也是这样一个问题。
连续统问题追问的是实数子集的大小,其相关命题以实数子集为概括对象。
每个实数相当于一个自然数子集,连续统问题所谈论的对象就成了全体自然数子集所构成的集合的子集。
将直接概括自然数的算术称为一阶算术,以自然数子集或者实数为概括对象的算术为二阶算术。
那么连续统问题就属于三阶算术。
康托尔是在由戴德金分割定义的实数系中现的连续统假设,但这个问题在实数模型内部却是不可判定的。
哥德尔形式证明了连续统假设的一般形式与ZFc公理是一致的。
如果把连续统假设作为公理加入集合论的这些公理中,不会产生任何逻辑矛盾。
科恩证明了一般的连续统假设的否定命题也可以加入ZFc中而不产生矛盾。
因此,连续统假设与标准的集合论公理是互相独立的。
它类似于平行公理相对于欧几里得几何的其他公理的地位,集合论的标准公理既不能证明也不能否定它。
根据连续统假设是否成立,可以像是欧几里得几何与非欧几何一样,构造出不同的集合论系统。
这就是康托尔失败的原因。
连续统假设的逻辑独立性就意味着它既不为真又不为假。
集合论中乱成一团的悖论和不可证性可以说是允许非构造的概念——尤其是实无穷,进入数学的自然后果。
喜欢触手怪的宇宙之旅请大家收藏触手怪的宇宙之旅本站更新度全网最快。
2o18王者荣耀文学大赛征文参赛作品莫小缇的菜鸟逆袭,从一场坑爹的游戏失败后开始。莫小缇,女!职业学生!王者智商低低级!莫小缇听着闪耀系统的播报,抽了抽嘴角,王者低低级,是个什么鬼?菜鸟逆袭之王者闪耀...
简介关于穿成荒年小农女,我有空间爽麻了程冉死在最后的任务里。再睁眼,穿越到一个架空朝代,成了个瘦弱的农家女。十年荒年,颗粒无收,人人都饿疯了。她正要被跟着进山的樵夫,杀了吃肉。程冉拼命回到家中,现没人问她为什么一身伤,亲娘还因为她没找到食物,要暴打她。这家人,不要也罢!程冉强势和家人断绝关系,一家人都等着她暴尸街头。不想程冉一个人也能把日子过得风生水起,食物吃不完,绸缎穿不完,还有了个气质卓绝对她极好的夫婿啃树皮的程家人坐不住了,纷纷来套近乎,程冉理都不理。程家人气急败坏,开始造夫婿的谣。别看那小白脸长得好看,就是个杀人犯!程冉还不把他举报到衙门,这是包庇罪!还带着里正冲到程冉家里,要把他们小两口就地正法。程冉呵呵一笑,给大家介绍一下,这小白脸,太子。我,太子妃。...
汉昭烈帝,玄幻,爽文,系统,剑道,双修,多女主本书又名合欢宗为什么不能是第一宗门?,女宗主跪着求我,我感觉你好香啊宋霆作为一名合欢宗杂役弟子,差点就死在妖女床上,好在他开启了修改器系统。把一品丹药改成九品丹药!把下等功法改成仙法!把死人改成活人!把这个改成名器,这个也改大一点温柔师姐隋满盈宋霆,今天我们一起做晚操吧。清纯少女姜清我已经是师兄的形状了。妖媚宗主6玉枝阳光进不去的地方,你可以进去。呆萌药师温月颀宋霆,棒棒糖真得好吃吗?多年之后,宋霆笑对天下合欢不仅仅是合男女之欢,更合天下之欢!...
两年前,父亲被人醉驾撞死,凶手逍遥法外,他亦被诬入狱,面对世间不公,他无力改变!两年后,他获得无上传承,医术济世,武道除魔!害我者,血债血偿!欺我者,求死不能!...
当灭霸带着他的外星大军侵入地球,他们即将面临的是,来自地狱的裁决。无意间穿越到漫威宇宙,陈启成为了第四代恶灵骑士,并觉醒了诸天裁决系统。至此他走上了在诸天万界惩戒恶人的道路。ps这本书讲的是恶灵骑士在各个世界里教训恶人的故事,本书是无限流,主宇宙是漫威。当前世界,已过哈利波特人皮灯笼(建议跳过)黑衣人恶灵骑士的诸天裁决...
大唐帝国与阿拉伯帝国的一场大战中成为敌方战俘的贵族纨绔子弟杜环,流落阿拉伯帝国东罗马帝国法兰克王国非洲等,亲历八世纪下半叶着名世界历史事件,与当时历史上的各色人物斗智斗勇。故事内容有时诙谐幽默,有时紧张严肃,有时神秘莫测,情节波澜起伏,涤荡激昂。浪子列国历险记...