手机浏览器扫描二维码访问
李恒从地上直起身来,那棵光秃秃的枣树也在这时又一次长满了红枣。
“康托尔的故事到此为止,但有关于连续统的问题还远远没有结束。”
“下一个想要解答这个问题的人是希尔伯特,连续统问题就是着名的希尔伯特第一问。”
时空变换,精神病院消失不见,取而代之的是一条清澈的小河,河边的草地上伫立着一块墓碑。
“墓碑?”
阿基里斯看着墓碑上的黑白照片,心中略微有些无语。
毕达哥拉斯在追寻无穷之路上变成了一只怪物,康托尔成了精神病院里的躺平老头。
希尔伯特更惨,只剩下了一块墓碑和一张黑白照片,墓穴里空空荡荡什么都没有。
“嗯,墓碑。”
李恒走到墓碑前,将手中那片从康托尔的枣树上取下的绿叶放到墓碑前。
阿基里斯微微眯起眼睛,她现绿叶上写着两句新的文字。
『我们必须知道,我们必将知道。』
这是希尔伯特的名言,以此作为对那些信奉不可知论之人的反击。
他认为每一个确定的数学问题必定能得到一个准确的回答
或者给所提问题以实际的肯定答案;或者证明问题是不可能的,因此所有企图证明它成立的努力必然失败。
所有的数学问题或者为真,或者为假,不存在其他情况。
李恒看向阿基里斯肩膀上写着“排中律”字样的小便签。
“在数学中有两种证明,一种叫做构造性证明,它会给出具体的例证。”
“另一种则叫做非构造性证明,或者称作存在性证明,它所使用的规则就是排中律。”
“希尔伯特就是非构造性证明的大师。”
“利用排中律和反证法,即使并不知道具体的对象到底是什么,也能证明它存在。”
“连续统问题的本质就与排中律有关。”
“戴德金分割用有理数分割定义实数,并没有给定一些得以构造出集合a和B的数学规则。”
“『如果数轴可以划分为a和B』,却没有给出任何可以实际构造出这些集合的方法或程序,”
“无论如何,这些集合实际上是不可构造或验证的。”
“不仅如此,康托尔证明实数集c、自然数集的幂集?1等等集合是不可数无穷时使用的也是反证法,依赖于排中律。”
阿基里斯从那写着“我们必须知道,我们必将知道”的叶片上收回目光,看向自己肩膀上贴着的便签。
“排中律有问题?”
在不可数无穷上遇到的困难似乎就是源于排中律。
一个数学命题为真,或者为假,这应该是理所当然的。
“没错,排中律就是第三次数学危机的源头。”
“更深入的说,是排中律隐藏着的人类最基础的逻辑问题。”
李恒抬手敲了敲墓碑上的黑白照片道
“说谎者悖论、上帝全能悖论、理师悖论等等。”
“所有这些悖论的本质都是自我指涉问题。”
“『我说的这句话是谎话』,这句话是真是假?”
如果说的是真话,这句话就是谎话。
如果这句话是谎话,那么这句话就是真话。
这个古老的逻辑悖论就是第三次数学危机的根源。
它在康托尔的朴素集合论中被放大,成为了一个必须解决的问题。
喜欢触手怪的宇宙之旅请大家收藏触手怪的宇宙之旅本站更新度全网最快。
2o18王者荣耀文学大赛征文参赛作品莫小缇的菜鸟逆袭,从一场坑爹的游戏失败后开始。莫小缇,女!职业学生!王者智商低低级!莫小缇听着闪耀系统的播报,抽了抽嘴角,王者低低级,是个什么鬼?菜鸟逆袭之王者闪耀...
简介关于穿成荒年小农女,我有空间爽麻了程冉死在最后的任务里。再睁眼,穿越到一个架空朝代,成了个瘦弱的农家女。十年荒年,颗粒无收,人人都饿疯了。她正要被跟着进山的樵夫,杀了吃肉。程冉拼命回到家中,现没人问她为什么一身伤,亲娘还因为她没找到食物,要暴打她。这家人,不要也罢!程冉强势和家人断绝关系,一家人都等着她暴尸街头。不想程冉一个人也能把日子过得风生水起,食物吃不完,绸缎穿不完,还有了个气质卓绝对她极好的夫婿啃树皮的程家人坐不住了,纷纷来套近乎,程冉理都不理。程家人气急败坏,开始造夫婿的谣。别看那小白脸长得好看,就是个杀人犯!程冉还不把他举报到衙门,这是包庇罪!还带着里正冲到程冉家里,要把他们小两口就地正法。程冉呵呵一笑,给大家介绍一下,这小白脸,太子。我,太子妃。...
汉昭烈帝,玄幻,爽文,系统,剑道,双修,多女主本书又名合欢宗为什么不能是第一宗门?,女宗主跪着求我,我感觉你好香啊宋霆作为一名合欢宗杂役弟子,差点就死在妖女床上,好在他开启了修改器系统。把一品丹药改成九品丹药!把下等功法改成仙法!把死人改成活人!把这个改成名器,这个也改大一点温柔师姐隋满盈宋霆,今天我们一起做晚操吧。清纯少女姜清我已经是师兄的形状了。妖媚宗主6玉枝阳光进不去的地方,你可以进去。呆萌药师温月颀宋霆,棒棒糖真得好吃吗?多年之后,宋霆笑对天下合欢不仅仅是合男女之欢,更合天下之欢!...
两年前,父亲被人醉驾撞死,凶手逍遥法外,他亦被诬入狱,面对世间不公,他无力改变!两年后,他获得无上传承,医术济世,武道除魔!害我者,血债血偿!欺我者,求死不能!...
当灭霸带着他的外星大军侵入地球,他们即将面临的是,来自地狱的裁决。无意间穿越到漫威宇宙,陈启成为了第四代恶灵骑士,并觉醒了诸天裁决系统。至此他走上了在诸天万界惩戒恶人的道路。ps这本书讲的是恶灵骑士在各个世界里教训恶人的故事,本书是无限流,主宇宙是漫威。当前世界,已过哈利波特人皮灯笼(建议跳过)黑衣人恶灵骑士的诸天裁决...
大唐帝国与阿拉伯帝国的一场大战中成为敌方战俘的贵族纨绔子弟杜环,流落阿拉伯帝国东罗马帝国法兰克王国非洲等,亲历八世纪下半叶着名世界历史事件,与当时历史上的各色人物斗智斗勇。故事内容有时诙谐幽默,有时紧张严肃,有时神秘莫测,情节波澜起伏,涤荡激昂。浪子列国历险记...