手机浏览器扫描二维码访问
连续统的基数不是阿列夫一。
阿基里斯回忆着之前那张纸上列举着超图灵机力量层次的图灵度层级,表情疑惑地问道:
“可是,之前在那张图表上,你不是在无限时间图灵机的下方划了一条线,并且写下了实数连续统吗?”
在那张图灵度层级的图表上,所有的超图灵机都属于可数无限的层次,唯有最末尾的实数连续统是不可数无限。
这样看来,康托尔的连续统假设在这个世界里应该是成立的。
自然数集合的幂集,全体实数构成的集合,全体可数序数构成的集合,三者的基数都是不可数无限?1。
“不,等等,我好像明白了!”
阿基里斯看了眼自己脑袋上顶着的那个日光圆环散发的白光,突然反应了过来。
“你在那张纸上写的是实数连续统,而不是连续统。”
“你的意思是说,在这个世界里,即使是所有的实数,依然无法填满整条数轴?”
李恒点点头道:
“不错。”
“其实这也不难想到,第二次数学危机就是实无限和潜无限的混乱带来的危机——更准确的说,是无穷小量和0之间的矛盾。”
“莱布尼茨就在自己的微积分中使用了实无穷小,这也是贝克莱主教攻击微积分理论基础的主要方向。”
“从本体论上看,莱布尼茨将无穷小量看作是万物由此组成的不可再分的最小的原子,它是绝对值小于任何实数的实无穷小。”
“柯西和魏尔斯特拉斯的极限概念,戴德金分割用有理数对连续的直线进行切割,康托尔用有理数序列表示十进制无限小数的方法,这三者彼此都是等价的。”
“它们都定义了一个稠密、连续、完备的实数模型。”
“但是,以上这些理论都只属于标准分析的范围。”
“有标准分析,自然就有非标准分析。”
就像既有局限于平面上的欧氏几何,也有扩展到高维空间的非欧几何一样。
在欧氏几何中成立的结论,在非欧几何中却不一定成立。
两者并非是简单的谁对谁错的问题。
作为一切推理证明前提的公理都改变了,后续得到的定理和结论自然就会完全不同。
欧氏几何中不证自明的平行公理不再是整个理论的基础,它只是非欧几何中一种特殊的情况。
这种集合论公理的增加与删改并非随意而为的。
如无必要,勿增实体。
最好的集合论公理系统就是能以最少的公理得到最多的结论。
如果能从定义自然数的皮亚诺公理出发解决一切问题,自然就用不着多此一举地去改动最基础的公理。
但因为哥德尔不完备定理,一切数学体系都存在自身内部不能证明的命题。
在这种情况下,为了能研究这些不可证的问题,只能增加更多的公理,将系统扩张为更大的体系。
非标准分析继承了莱布尼茨的想法,将实无限的思想从有限大的无理数扩展到那些真正无限的数。
任何科学理论都有它的研究对象,这些对象构成一个不空的集合,称为论域。
『紧挨着1的下一个数是什么?』
这个问题放在十进制自然数的范围内,答案是2。
放在二进制自然数的范围内,答案是10。
但扩展到有理数的范围内,思想有限的人类就无法找到紧挨着1的下一个数。
显而易见的,同一个问题的答案会因为研究范围的不同而发生改变。
在此之前,李恒和阿基里斯讨论的一切都在标准分析规定的实数范围内。
实数域是最大的阿基米德有序域,具备阿基米德性质。
我真不想修行啊 开局人间体 恶魔天使 殡葬异事录 山村大闲人 大梦王 重生我的老婆是天后 特种兵:我成了全球特战教父 游历万界的永生者 大乾佛主 分开后偏执大佬缠上我了 七零之重组家庭的小女儿 我的室友不对劲 狙击战神 五浔之外 诡秘世界我能逢凶化吉 我媳妇是医圣传人 奥特曼之黑暗星纹 穿越之直上青云 摘星手记
刚发现自己会被裴聿城的意识附身时,林烟是拒绝的。明明在酒吧蹦迪,一醒来,躺在了荒郊野岭。明明在家里打游戏,一醒来,站在了欧洲大街。明明在跟男神烛光晚餐,一醒来,站在了男洗手间。这日子没法过了!后来的林烟大佬求上身,帮我写个作业!大佬求上身帮我考个试!大佬求上身,帮我追个男神!大佬听说生孩子挺疼...
一睁眼回到六零年,上一世是孤儿的明暖这一世拥有了父母家人,在成长的过程中,还有一个他,青梅竹马,咋这么腹黑呢!...
在我心中,曾经有一个梦, 要用歌声让你忘了所有的痛。 灿烂星空,谁是真的英雄, 平凡的人们给我最多感动。 重生平行世界,缔造歌王传奇!...
养父母待她如珠如宝,她却心心念念的想要回到抛弃她待她如糠如草的亲生父母身边儿,犯蠢的后果就是养母死不瞑目,养父断绝来往,她,最终惨死车轮下重来一次,她要待养父母如珠如宝,待亲生父母如糠如草!至于抢她一切的那个亲姐姐,呵,你以为还有机会吗?哎哎哎,那个兵哥哥,我已经定亲了,你咋能硬抢?!哎哎哎...
聚焦巅峰火爆畅销他是世界闻名的巅峰杀手,却被家族逼婚,与美女总裁住在了一起。彼此看不顺眼却又不得不同居,萧凡决定回学校散散心,可是...
神界第一高手,有‘贱神’之称的云飞扬被镇压万载,破土重生,痛定思痛,梦想收尽天下各色美女!泡妞,我是认真的。云飞扬道。姑娘,你愿意嫁给我?清纯可爱邻家女刁蛮任性大小姐成熟妩媚女导师冷若冰山大师姐腹黑毒辣女魔头,这些,统统是我云飞扬的女人!妖孽群529642893...