触手怪的宇宙之旅

橘子汽水西瓜味

首页 >> 触手怪的宇宙之旅 >> 触手怪的宇宙之旅最新章节(目录)
大家在看踏星 末日!别人求生,我游山玩水 快穿之炮灰她选择种田 末世降临:小尸尸我呀囤囤囤囤! 从手搓CPU开始横扫宇宙 末世重生:会瞬移我白嫖亿万物资 我在末世打造女神天团 废土末世,穿成了路人甲女配 全球冰封,我打造了末日安全别墅 末日乐园 
触手怪的宇宙之旅 橘子汽水西瓜味 - 触手怪的宇宙之旅全文阅读 - 触手怪的宇宙之旅txt下载 - 触手怪的宇宙之旅最新章节 - 好看的科幻小说

第727章 理性的边界

上一页书 页下一章阅读记录

“它表明命题逻辑和一阶逻辑具有可靠性和完备性。”

“其中可靠性指可以被证明的一定为真,完备性指一切为真的命题都可以被证明。”

“简单来说就是,至少在有限的范围内,用公理和证明机制足以推导出所有普遍成立的命题。”

“但是一阶谓词逻辑是很弱的,它无法处理无限的概念。”

“最基本的一阶算术系统,用来描述自然数的皮亚诺公理就超出了这条定理的范围。”

“在涉及到实无穷的时候,不完备性出现了。”

哥德尔不完备定理有两条内容。

第一条,任何一致的形式系统,只要蕴含皮亚诺算术公理,就存在一个在系统中不能被证明的真命题。

如果一个命题为真,直觉上总是可以在系统内被证明出来,而不完备性定理否认了这一点。

第二条,任何一致的形式系统,只要蕴涵皮亚诺算术公理,就不能证明其本身的一致性。

也就是说,一个公理系统的自洽性是无法在自身体系内被证明的,必须依赖于更高阶的系统。

在皮亚诺算术公理定义的自然数系统中,古德斯坦定理就是这样一个例子。

它是一条有关于自然数的命题,但在定义这个命题的公理系统内部,却无法证明这个命题。

该定理可以在更高阶的系统下证明为真,但在皮亚诺算术系统内是不可证的。

连续统假设也是这样一个问题。

连续统问题追问的是实数子集的大小,其相关命题以实数子集为概括对象。

每个实数相当于一个自然数子集,连续统问题所谈论的对象就成了全体自然数子集所构成的集合的子集。

将直接概括自然数的算术称为一阶算术,以自然数子集或者实数为概括对象的算术为二阶算术。

那么连续统问题就属于三阶算术。

康托尔是在由戴德金分割定义的实数系中发现的连续统假设,但这个问题在实数模型内部却是不可判定的。

哥德尔形式证明了连续统假设的一般形式与ZFC公理是一致的。

如果把连续统假设作为公理加入集合论的这些公理中,不会产生任何逻辑矛盾。

科恩证明了一般的连续统假设的否定命题也可以加入ZFC中而不产生矛盾。

因此,连续统假设与标准的集合论公理是互相独立的。

它类似于平行公理相对于欧几里得几何的其他公理的地位,集合论的标准公理既不能证明也不能否定它。

根据连续统假设是否成立,可以像是欧几里得几何与非欧几何一样,构造出不同的集合论系统。

这就是康托尔失败的原因。

连续统假设的逻辑独立性就意味着它既不为真又不为假。

集合论中乱成一团的悖论和不可证性可以说是允许非构造的概念——尤其是实无穷,进入数学的自然后果。

喜欢触手怪的宇宙之旅请大家收藏:(m.shuhaige.net)触手怪的宇宙之旅书海阁小说网更新速度全网最快。

上一页目 录下一章存书签
站内强推十日终焉 封总,太太想跟你离婚很久了 魔道祖师 剑道第一仙 诸神愚戏 四合院:垂钓诸天万物 异兽迷城 诡舍 重生60带空间 仕途人生 宦海红颜香 全球冰封:我打造了末日安全屋 小师妹明明超强却过分沙雕 我在天牢,长生不死 跳龙门 网游:我把刺客玩成狙击手 收录一群废妃犯妇,我不无敌行吗 攀高枝 犯罪心理 官路之谁与争锋 
经典收藏天灾第十年跟我去种田 末世:开局我夺取了SSS级异能 盗墓笔记 深海余烬 最终神职 我在绝地求生捡碎片 末世多子多福,我一天捡一个女神 十天一天赋,成为吸血鬼的我太BUG了 末世:洗劫岛国物资米国零元购 全球灾变:开局获得3级文明! 末世:女人消耗的物资,万倍返还 末世降临我疯狂薅羊毛囤货百万吨 天灾后我靠异能种田发家 星际第一菜农 隐秘死角 我只想安安静静的钓鱼 末世:美女大厦,我觉醒多子多福 影视世界从匆匆那年开始 无尽杀戮:我的火球有bug! 电磁暴君 
最近更新末世模拟器之开局釜山行 分身分身闭上嘴,让我来说你是谁 纵横末日:我为食物链顶端 拥有治疗系的我打穿了世界 丧尸:什么叫做空中炮艇正在部署 截胡S级房车,我在逃亡中收美女 全民求生,获得D级人员模拟器 量子跃迁 末世降临:拿下邻妻和她闺蜜! 开局丧尸末世,觉醒神级卡牌天赋 终末:灾变异闻录 末世重生:天灾囤几十亿物资 我要吃掉整个世界 星际兽世:凶猛兽夫心思有点野 狂撩绝嗣黑化男主,娇美人被亲哭 冰川纪元:我培养了绝世女皇 快穿好孕:绝嗣反派掐腰吻娇娇 恶雌身娇体弱,四个兽夫轮流喂养 女扮男装上军校,我被变态包围了 末日,人类生存 
触手怪的宇宙之旅 橘子汽水西瓜味 - 触手怪的宇宙之旅txt下载 - 触手怪的宇宙之旅最新章节 - 触手怪的宇宙之旅全文阅读 - 好看的科幻小说