手机浏览器扫描二维码访问
第733章 追不上的乌龟（第1页）
连续统的基数不是阿列夫一。
阿基里斯回忆着之前那张纸上列举着图灵机力量层次的图灵度层级，表情疑惑地问道
“可是，之前在那张图表上，你不是在无限时间图灵机的下方划了一条线，并且写下了实数连续统吗？”
在那张图灵度层级的图表上，所有的图灵机都属于可数无限的层次，唯有最末尾的实数连续统是不可数无限。
这样看来，康托尔的连续统假设在这个世界里应该是成立的。
自然数集合的幂集，全体实数构成的集合，全体可数序数构成的集合，三者的基数都是不可数无限?1。
“不，等等，我好像明白了！”
阿基里斯看了眼自己脑袋上顶着的那个日光圆环散的白光，突然反应了过来。
“你在那张纸上写的是实数连续统，而不是连续统。”
“你的意思是说，在这个世界里，即使是所有的实数，依然无法填满整条数轴？”
李恒点点头道
“不错。”
“其实这也不难想到，第二次数学危机就是实无限和潜无限的混乱带来的危机——更准确的说，是无穷小量和o之间的矛盾。”
“莱布尼茨就在自己的微积分中使用了实无穷小，这也是贝克莱主教攻击微积分理论基础的主要方向。”
“从本体论上看，莱布尼茨将无穷小量看作是万物由此组成的不可再分的最小的原子，它是绝对值小于任何实数的实无穷小。”
“柯西和魏尔斯特拉斯的极限概念，戴德金分割用有理数对连续的直线进行切割，康托尔用有理数序列表示十进制无限小数的方法，这三者彼此都是等价的。”
“它们都定义了一个稠密、连续、完备的实数模型。”
“但是，以上这些理论都只属于标准分析的范围。”
“有标准分析，自然就有非标准分析。”
就像既有局限于平面上的欧氏几何，也有扩展到高维空间的非欧几何一样。
在欧氏几何中成立的结论，在非欧几何中却不一定成立。
两者并非是简单的谁对谁错的问题。
作为一切推理证明前提的公理都改变了，后续得到的定理和结论自然就会完全不同。
欧氏几何中不证自明的平行公理不再是整个理论的基础，它只是非欧几何中一种特殊的情况。
这种集合论公理的增加与删改并非随意而为的。
如无必要，勿增实体。
最好的集合论公理系统就是能以最少的公理得到最多的结论。
如果能从定义自然数的皮亚诺公理出解决一切问题，自然就用不着多此一举地去改动最基础的公理。
但因为哥德尔不完备定理，一切数学体系都存在自身内部不能证明的命题。
在这种情况下，为了能研究这些不可证的问题，只能增加更多的公理，将系统扩张为更大的体系。
非标准分析继承了莱布尼茨的想法，将实无限的思想从有限大的无理数扩展到那些真正无限的数。
任何科学理论都有它的研究对象，这些对象构成一个不空的集合，称为论域。
『紧挨着1的下一个数是什么？』
这个问题放在十进制自然数的范围内，答案是2。
放在二进制自然数的范围内，答案是1o。
但扩展到有理数的范围内，思想有限的人类就无法找到紧挨着1的下一个数。
显而易见的，同一个问题的答案会因为研究范围的不同而生改变。
在此之前，李恒和阿基里斯讨论的一切都在标准分析规定的实数范围内。
悠闲修仙人生
gtp1tgtdivnetkquot1tgtahrefquotbeginquot1t立即阅读gta1t...
食戟之灵，我在菜里下了药
岳小楼努力了一辈子，终于拿到了特技厨师的证书，然而命运和他开了一个玩笑。这个世界的人，对美食趋之若狂。这个世界的人，对手艺好的厨师顶礼膜拜。幸平，你又在菜里下了药？小楼哥，明明是你先的。食戟之灵，我在菜里下了药...
海贼：害怕世界不够暴力！
作品简介海贼害怕世界不够暴力！最新的章节由橘子与大海编写，本站提供免费在线阅读，保证无弹窗广告干扰，并提供海贼害怕世界不够暴力！txt电子书阅读服务。...
无极神灵
手握乾坤之力，方夺苍穹之光，逆转轮回神镜，剑斩龙凤神躯，且看少年热血沸腾的传奇之路大6之中，激烈爆战！大6之中，修炼成神！大6之中，最强星灵！无极神灵...
盛世权宠
文案世人皆道，凉国丞相爱极了一人。为了她，他竟夺了自己君王之妻。世人皆言，昭国太子宠极了一人。为了她，他竟颠覆了凉聿二国。可最后，他眼睁睁看着她死在自己面前，而她对他说的最后一句话却是若有来世，愿永不相见。她爱极了他，亦恨极了他。宋清欢觉得自己的人生像开了挂。执行任务身亡，睁开眼却发现自己穿越成了一国帝姬。虽然这帝姬并不受宠，但好歹吃穿不愁，比起之前熗林弹雨的生活可好过多了。只是，这样惬意的日子没过多久，就被人盯上了。和亲也就罢了，为何那个当初替他家君王来求亲的丞相，却巴巴看上了自己？敢和一国之君抢女人，岂不是找死？谁想到，这个丞相的身份还不一般，摇身一变成了别国太子。只可惜，过往有多深情，现实就有多凉薄。最后，她容色决然，在他得胜归来那一日，当着他的面，从高高的城墙上纵身一跃，化作了盛开在血泊中的彼岸花。君殊，人人都说我是你的软肋，若是要伤到你，大概，只能先伤我自己了。可都这样了，她还没死！竟又重生回到了与他相遇的三年前。重活一世，她只有一个心愿离他远远的，有多远跑多远！只是归来的，不仅是她，还有他。前世因种种误会纠葛失去了她，这一世，他必宠她爱她如珍宝，许她一世清欢，护她长乐无忧。万里江山，都抵不过她如花笑靥。宋清欢想，用前世深情，换今生荣宠，这笔买卖算下来，她大抵，也不亏了。1男主前世对女主病态宠，这一世，病态又病娇，只是隐藏得更好了！不虐不虐不虐，重要的事情说三遍。2男女主两世都是双洁，放心入坑。3背景架空，涉及四国，权谋为辅，言情为主。标签权谋宠文重生杀伐果断...
恶毒女配是我，怎么，不满意？
作为古早玛丽苏文中纯纯没脑子一心只想陷害女主的恶毒女配，在被男主家人朋友狠虐无数次轮回后。女配终于长出了脑子！于是女配掀桌不干了！意外死亡的林念可为维护小说世界正常运转，穿成古早玛丽苏文中罢工的恶毒女配。只有完成恶毒女配的心愿才能回家。恶毒女配我要亲情爱情友情事事圆满！林念可什么都要只会害了你。为了回家，林念可恶毒女配是我，怎么，不满意？...