爱看小说网

手机浏览器扫描二维码访问

第733章 追不上的乌龟(第1页)

连续统的基数不是阿列夫一。

阿基里斯回忆着之前那张纸上列举着超图灵机力量层次的图灵度层级,表情疑惑地问道:

“可是,之前在那张图表上,你不是在无限时间图灵机的下方划了一条线,并且写下了实数连续统吗?”

在那张图灵度层级的图表上,所有的超图灵机都属于可数无限的层次,唯有最末尾的实数连续统是不可数无限。

这样看来,康托尔的连续统假设在这个世界里应该是成立的。

自然数集合的幂集,全体实数构成的集合,全体可数序数构成的集合,三者的基数都是不可数无限?1。

“不,等等,我好像明白了!”

阿基里斯看了眼自己脑袋上顶着的那个日光圆环散发的白光,突然反应了过来。

“你在那张纸上写的是实数连续统,而不是连续统。”

“你的意思是说,在这个世界里,即使是所有的实数,依然无法填满整条数轴?”

李恒点点头道:

“不错。”

“其实这也不难想到,第二次数学危机就是实无限和潜无限的混乱带来的危机——更准确的说,是无穷小量和0之间的矛盾。”

“莱布尼茨就在自己的微积分中使用了实无穷小,这也是贝克莱主教攻击微积分理论基础的主要方向。”

“从本体论上看,莱布尼茨将无穷小量看作是万物由此组成的不可再分的最小的原子,它是绝对值小于任何实数的实无穷小。”

“柯西和魏尔斯特拉斯的极限概念,戴德金分割用有理数对连续的直线进行切割,康托尔用有理数序列表示十进制无限小数的方法,这三者彼此都是等价的。”

“它们都定义了一个稠密、连续、完备的实数模型。”

“但是,以上这些理论都只属于标准分析的范围。”

“有标准分析,自然就有非标准分析。”

就像既有局限于平面上的欧氏几何,也有扩展到高维空间的非欧几何一样。

在欧氏几何中成立的结论,在非欧几何中却不一定成立。

两者并非是简单的谁对谁错的问题。

作为一切推理证明前提的公理都改变了,后续得到的定理和结论自然就会完全不同。

欧氏几何中不证自明的平行公理不再是整个理论的基础,它只是非欧几何中一种特殊的情况。

这种集合论公理的增加与删改并非随意而为的。

如无必要,勿增实体。

最好的集合论公理系统就是能以最少的公理得到最多的结论。

如果能从定义自然数的皮亚诺公理出发解决一切问题,自然就用不着多此一举地去改动最基础的公理。

但因为哥德尔不完备定理,一切数学体系都存在自身内部不能证明的命题。

在这种情况下,为了能研究这些不可证的问题,只能增加更多的公理,将系统扩张为更大的体系。

非标准分析继承了莱布尼茨的想法,将实无限的思想从有限大的无理数扩展到那些真正无限的数。

任何科学理论都有它的研究对象,这些对象构成一个不空的集合,称为论域。

『紧挨着1的下一个数是什么?』

这个问题放在十进制自然数的范围内,答案是2。

放在二进制自然数的范围内,答案是10。

但扩展到有理数的范围内,思想有限的人类就无法找到紧挨着1的下一个数。

显而易见的,同一个问题的答案会因为研究范围的不同而发生改变。

在此之前,李恒和阿基里斯讨论的一切都在标准分析规定的实数范围内。

实数域是最大的阿基米德有序域,具备阿基米德性质。

大梦王  游历万界的永生者  摘星手记  我真不想修行啊  重生我的老婆是天后  穿越之直上青云  山村大闲人  我媳妇是医圣传人  恶魔天使  大乾佛主  奥特曼之黑暗星纹  诡秘世界我能逢凶化吉  五浔之外  七零之重组家庭的小女儿  狙击战神  殡葬异事录  分开后偏执大佬缠上我了  我的室友不对劲  特种兵:我成了全球特战教父  开局人间体  

热门小说推荐
上门狂婿

上门狂婿

被丈母娘为难,被女神老婆嫌弃!都说我是一无是处的上门女婿!突然,家族电话通知我继承亿万家财,其实我是一个级富二代...

极品仙师

极品仙师

市一高新丁黄景耀因得罪骨干教师被恶意针对,不堪受辱辞职后意外得到仙家至宝。重新执教县一高,左手录运簿册掌天下文章,可查看每一个学生学习天赋,提升天赋。右手文昌大印掌考场气运,财富官运。教师以教育水平和升学率为本,黄景耀渐渐发现他的本钱雄厚的有些令人发指,一次次撼动整个教育界,又远不止单一的教育界。...

超强神龙进化系统

超强神龙进化系统

从小在孤儿院长大的敖问,一次意外死亡,重生为蛇,但是上天赐予他神龙进化系统这系统可以穿越万界,可以帮助他蜕蛇成龙!从此敖问为了不想平凡过完一生,开始了轰轰烈烈的进化之路。敖问可以跟人类结婚生子吗?系统你自己试试看,不就知道了吗?黑暗流无敌流装逼流微度PS胆小慈悲心勿进。...

功夫皇帝逍遥游(功夫皇帝艳福星)

功夫皇帝逍遥游(功夫皇帝艳福星)

一个落魄的大学生阴差阳错地灵魂穿越到了古代,稀里糊涂地做了皇子,又发动政变赶走太子当上了皇帝,从此便过上了锦衣玉食声色犬马的生活。但他却不满足,他要做一个全能型的功夫皇帝因此,他拜武林宗师学习武功,又向江湖术士讨取御女秘方,美艳绝伦的妃子欲望强烈的宫女温婉恬静的皇后妖艳迷人的异族美女野性十足的江湖侠女,各种类型的美女纷纷被他男人的功夫征服金钱权利和美女一个都不能少!想爽的,还等什么呢?本书保证精彩,敬请放心收藏,推荐!...

修真聊天群

修真聊天群

某天,宋书航意外加入了一个仙侠中二病资深患者的交流群,里面的群友们都以‘道友’相称,群名片都是各种府主洞主真人天师。连群主走失的宠物犬都称为大妖犬离家出走。整天聊的是炼丹闯秘境炼功经验啥的。突然有一天,潜水良久的他突然发现群里每一个群员,竟然全部是修真者,能移山倒海长生千年的那种!啊啊啊啊,世界观在...

重生最强妖兽

重生最强妖兽

系统流爽文古有黑蟒,百年后化腾蛇,千年后变蛟,万年后化龙,可遨游九天十地,统领六合八荒。三千年前,人族仙尊林昊斩妖无数,却遭逆徒暗算,被人族围攻致死。三千年后,林昊重生于一条黑蟒身上,以妖证道,开启了一段逆天化龙之路。书友群565412325...

每日热搜小说推荐