触手怪的宇宙之旅

橘子汽水西瓜味

首页 >> 触手怪的宇宙之旅 >> 触手怪的宇宙之旅最新章节(目录)
大家在看踏星 末世:开局我夺取了SSS级异能 末日!别人求生,我游山玩水 学霸的军工科研系统 气运男主要绝嗣,好孕女配来生崽 开局一艘列车,我掠夺诸天文明 废土种田,人类幼崽饲养手册 丧尸专列 废土末世,穿成了路人甲女配 末世:想要变强?唯有囤积女神! 
触手怪的宇宙之旅 橘子汽水西瓜味 - 触手怪的宇宙之旅全文阅读 - 触手怪的宇宙之旅txt下载 - 触手怪的宇宙之旅最新章节 - 好看的科幻小说

第727章 理性的边界

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

上一页目 录下一章存书签
站内强推龙族 十日终焉 重生60带空间 全职法师 大奉打更人 烟雨楼 全球冰封:我打造了末日安全屋 轮回乐园 史上最强炼气期 天渊 疯批小师叔她五行缺德 官场之绝对权力 重生官场:从京都下基层权利巅峰 八岁小娃,搬空渣爹库房跟着外祖一家去流放 青云仕途 重生96:权力之巅 大明暴君,我为大明续运三百年 全民巨鱼求生:我能听到巨鱼心声 官狱 攀高枝 
经典收藏天灾第十年跟我去种田 末世:开局我夺取了SSS级异能 科技:打造巅峰华夏,从横推鹰酱开始 系统怕我末日死,开局签到火种源 开局一艘列车,我掠夺诸天文明 十天一天赋,成为吸血鬼的我太BUG了 我在绝地求生捡碎片 快穿:有怨气?疯批老祖帮你逆袭 末世:开局青龙果实 天灾降临:我靠捡破烂当大佬 末日:我能自选异能强点正常吧 从手搓CPU开始横扫宇宙 重回天灾末世,开局我选择发疯 全民转职:让你当死灵法师,没让你当肝帝 黑暗召唤师:调教末世,为所欲为 沙漠直播:开局捡到小耳廓狐 隐秘死角 从太空垃圾佬开始 我只想安安静静的钓鱼 大国军工:我为祖国献核弹 
最近更新我的逆天大哥 末日曙光:异界征途 龙崽六岁半,暴君爹地宠翻全星际 末世之异能纪元 我的末日基地全是高能玩家 重生末世,我靠系统打造无敌庇护所 全球灾荒,我靠种地成为国宝 丧尸狂澜之逆转绝境 末世爆肝抽卡带着女团杀穿尸潮 高中的我,参与群神会议 小雌性超香软,开局治愈五大恶兽 蓝星文明的星际征程 星际:我的金手指机械族贤夫 每天人的性格 末世重生:打造最强大堡垒 星海霸业 重生搞笑都市 从龙虎山走出来的镇国大天师 天灾末世降临我养了一亿只仓鼠 末世:女神校花团,我的打工军团 
触手怪的宇宙之旅 橘子汽水西瓜味 - 触手怪的宇宙之旅txt下载 - 触手怪的宇宙之旅最新章节 - 触手怪的宇宙之旅全文阅读 - 好看的科幻小说