手机浏览器扫描二维码访问
第733章 追不上的乌龟（第1页）
连续统的基数不是阿列夫一。
阿基里斯回忆着之前那张纸上列举着超图灵机力量层次的图灵度层级，表情疑惑地问道：
“可是，之前在那张图表上，你不是在无限时间图灵机的下方划了一条线，并且写下了实数连续统吗？”
在那张图灵度层级的图表上，所有的超图灵机都属于可数无限的层次，唯有最末尾的实数连续统是不可数无限。
这样看来，康托尔的连续统假设在这个世界里应该是成立的。
自然数集合的幂集，全体实数构成的集合，全体可数序数构成的集合，三者的基数都是不可数无限?1。
“不，等等，我好像明白了！”
阿基里斯看了眼自己脑袋上顶着的那个日光圆环散发的白光，突然反应了过来。
“你在那张纸上写的是实数连续统，而不是连续统。”
“你的意思是说，在这个世界里，即使是所有的实数，依然无法填满整条数轴？”
李恒点点头道：
“不错。”
“其实这也不难想到，第二次数学危机就是实无限和潜无限的混乱带来的危机——更准确的说，是无穷小量和0之间的矛盾。”
“莱布尼茨就在自己的微积分中使用了实无穷小，这也是贝克莱主教攻击微积分理论基础的主要方向。”
“从本体论上看，莱布尼茨将无穷小量看作是万物由此组成的不可再分的最小的原子，它是绝对值小于任何实数的实无穷小。”
“柯西和魏尔斯特拉斯的极限概念，戴德金分割用有理数对连续的直线进行切割，康托尔用有理数序列表示十进制无限小数的方法，这三者彼此都是等价的。”
“它们都定义了一个稠密、连续、完备的实数模型。”
“但是，以上这些理论都只属于标准分析的范围。”
“有标准分析，自然就有非标准分析。”
就像既有局限于平面上的欧氏几何，也有扩展到高维空间的非欧几何一样。
在欧氏几何中成立的结论，在非欧几何中却不一定成立。
两者并非是简单的谁对谁错的问题。
作为一切推理证明前提的公理都改变了，后续得到的定理和结论自然就会完全不同。
欧氏几何中不证自明的平行公理不再是整个理论的基础，它只是非欧几何中一种特殊的情况。
这种集合论公理的增加与删改并非随意而为的。
如无必要，勿增实体。
最好的集合论公理系统就是能以最少的公理得到最多的结论。
如果能从定义自然数的皮亚诺公理出发解决一切问题，自然就用不着多此一举地去改动最基础的公理。
但因为哥德尔不完备定理，一切数学体系都存在自身内部不能证明的命题。
在这种情况下，为了能研究这些不可证的问题，只能增加更多的公理，将系统扩张为更大的体系。
非标准分析继承了莱布尼茨的想法，将实无限的思想从有限大的无理数扩展到那些真正无限的数。
任何科学理论都有它的研究对象，这些对象构成一个不空的集合，称为论域。
『紧挨着1的下一个数是什么？』
这个问题放在十进制自然数的范围内，答案是2。
放在二进制自然数的范围内，答案是10。
但扩展到有理数的范围内，思想有限的人类就无法找到紧挨着1的下一个数。
显而易见的，同一个问题的答案会因为研究范围的不同而发生改变。
在此之前，李恒和阿基里斯讨论的一切都在标准分析规定的实数范围内。
实数域是最大的阿基米德有序域，具备阿基米德性质。
五浔之外 摘星手记 山村大闲人 狙击战神 我真不想修行啊 殡葬异事录 穿越之直上青云 恶魔天使 特种兵：我成了全球特战教父 大梦王 游历万界的永生者 诡秘世界我能逢凶化吉 重生我的老婆是天后 大乾佛主 七零之重组家庭的小女儿 分开后偏执大佬缠上我了 我媳妇是医圣传人 我的室友不对劲 奥特曼之黑暗星纹 开局人间体
六零俏佳人
新书我家夫人又败家了已发求收藏，古代美食文，么么哒前世，盛夏怨恨家人的无情抛弃，为贺家人那群白眼狼付出所有，最后却落了个草席一裹，抛尸荒山的下场！重生回到悲剧尚未开始，盛夏发誓今生不会再将真心错付！哪怕吃树皮啃草根，她也要留在家人身边，同甘共苦！改写命运！一家人同心协力，走上致富的康庄大道！携手冷面男神...
开挂
不牛逼不拉风的低端业余玩家甄浪，被班花拒绝后，偶然得到一块来历神秘的智能芯片。从此，一个游戏界的传奇诞生了。那神一样的操作妖一样的走位魔一样的意识，令无数高端玩家失声惊呼挂了吧？事实证明，甄浪注定是泡不到班花的男人。因为，千姿百态的系花院花校花，风情各异的美女老师女神主播，纷纷闯进了他的生活火爆...
新风领地
...
快穿：炮灰打脸攻略
炮灰是什么？雪兰告诉你，炮灰是用来打别人脸的。凭什么炮灰就要为男女主的感情添砖加瓦，凭什么炮灰就要任人践踏？凭什么炮灰就要为男女主献上膝盖？凭什么炮灰就要成为垫脚石？炮灰不哭，站起来撸！本文男女主身心干净，秉持着宠宠宠的打脸原则，男主始终是一个人哦！...
修罗天帝
八年前，雷霆古城一夜惊变，少城主秦命押入青云宗为仆，二十万民众赶进大青山为奴。八年后，淬灵入武，修罗觉醒，不屈少年逆天崛起。给我一柄刀，可破苍穹，给我一柄剑，可指霄汉。金麟岂是池中物，一遇风云便化龙。当修罗子不死王雷霆战尊古海蛮皇等等一个个封号落在秦命身上，这个一身傲骨的少年踏天而行，带领一众挚友红颜，傲战八...
真香实录
作为一个无节操无底线无尺度的三无大龄少女，男人于她而言不过是解决生理需求的生活用品，所以她并不在意他们视她如玩物，将她介绍给别人，搂着名门千金假装不认识她，故意贬低她否认与她的情史，利用她欺骗她甚至当众羞辱她。她很懒，懒得跟无所谓的人计较太多。但，等她识趣地走人了还指望她乖乖躺回他们身下？他们以为全世界的男人只有他们才长了根能用的东西？她只想说，呵呵。Nph文，6个男主，有处有非处，伪骨科。已完结～感谢所有妹子们！...