当前位置:笔趣阁>修真仙侠>走进修仙> 第一百六十章 决裂?不完备的陈述!
阅读设置(推荐配合 快捷键[F11] 进入全屏沉浸式阅读)

设置X

第一百六十章 决裂?不完备的陈述!(1 / 2)

笔趣阁网 ,最快更新走进修仙最新章节!


为什么从来没有人担心有人会证明“一加一等于三”?


就人类的逻辑来说,没人可以否认一加一等于三的可能性。但是,从来就没有人想过这个。


这个奇异的“现象”,越想就越是让人感觉神奇。


王崎觉得吧,世界上或许存在着两种数学。一种就是与人类无关的,客观的存在于宇宙当中的数学。另外一种则是人类所发现、所建立的数学体系。


人类发现的数学体系,就是在不断接近自然本身的。


因此,数学被算入“科学”这一体系,也是毫无问题的。


而人类发现的数学,师从自然,贴合自然,因此恰好能够用作表现物理层面的规律。


人类不担心“一加一等于三”,或许正是因为他们认识世界几万、几十万年以来,从来没有感受过“一加一等于三”的客观事实。


“不管怎么说,算学本身就超越了人的思维,它近道,乃是道化之物,与天地同在”王崎再一次站起身,对着苟大宝说道:“我们从不谈玄,因为‘玄之又玄’也无法讲清它里面的道理。想要顺着这一条路逼近天道,就智能沿着它本身走。”


言罢,王崎转身,离开了这个秘地。


意识顺着万仙幻境的网络奔流,归位。王崎睁开眼睛,然后离开了算器。


不知为何,他总觉得有一点压抑。


“呼……感觉还真是有点紧张啊。”王崎踢了踢地板,然后走回他的书房,拿起了一张纸。想要动笔写一点什么。不知为何。笔却停住了。


陈由嘉出现,轻轻抱住他:“又在准备你要给那个谪仙讲的东西了吗?”


“不,论文。”王崎觉得自己嗓子有些发涩。


陈由嘉察觉到王崎的脸色不太对,问道:“你怎么了?想不出来吗?”


她不太理解。之前王崎不管写什么论文,都很少卡顿的。据说,当年他发表完备律的那一篇论文也是一气呵成,没有半分滞涩。这样的人,居然也会无法落笔?


“呐。要不要我们出去走走?说不定就有灵感了……”


王崎摇摇头,看着陈由嘉:“有些犹豫罢了。”


“犹豫?”陈由嘉皱眉:“你在犹豫什么?”


“总觉得这样不大地道啊……算了,没什么。”王崎摇摇头:“被自己吓住了。”


“什么啊?”


“做一件不厚道的事。”王崎微微一笑,推开陈由嘉:“好了好了,你不要再在这里看了,我等下要写的东西可是非常非常惊世骇俗,吓到小嘉嘉你就不好啦!”


“不许叫我小嘉嘉!”陈由嘉大怒:“我还非要看看,你在写什么。”


“不行不行,绝对不能给你看。”王崎运用法力,将陈由嘉退出了房门。然后用符封住门窗,低声道:“我都不知道这一下会害多少修士看了之后走火入魔呢。不先找人试一下,怎么能给你看呢?”


然后,他提起笔,在纸上写下了这几个大字


《试论卷一算术篇中形式上不可判定之陈述及相关系统》


这篇论文的题目,就有一种特别的攻击性。在懂的人眼里,它就是一把尖刀。


一把直指算主之非的尖刀!


对于王崎来说,这篇论文的发表,几乎就可以代表他和歌庭派、和冯落衣之间友好关系的终结。


不不不,或许在他与苟大宝说那些“道理”的时候,他就已经在和歌庭派决裂了吧?


即使无法无天如他,也有一瞬间的犹疑。


在地球,学术地位就只是学术地位。但是在这里,学术地位和更多的东西挂钩。有些争端,只会比地球上更加激烈。


他要面对的,不是某一个权威,而是一个顶尖学派,包含两位最巅顶者的众多逍遥,几乎占据万法门半壁江山的人物。


但是,那又怎样?


仙盟终究是一个学术组织,而非宗教组织。只要“那个定律”还在这个世界成立,那么,它的地位就无可撼动!


“也该出现在这个世界了。”王崎深吸一口气:“哥德尔不完备定律……”


哥德尔不完备定律,在地球那个世界,击碎所有数学家幻想、打破人类数学神圣性的东西。


曾经的数学家,都有着这样的梦“在保证数学一致性这个前提之下,如果又有了数学的完备性,也就是说任何一个数学命题都可以被证明或者被证伪”。对于任意一个数学猜想,不管它有多难,只要假以时日,通过一代又一代人的努力,总是可以知道这个猜想对不对,并且证明或证伪它。


换句话说,在数学中,通过逻辑,人们能够知道任何事情,这只不过是个时间问题。


即使那个目标是“道”,是“终极”。


这也就是所谓的“我们必须知道,我们必将知道”。


但是现在,王崎将要写出的两道理论,将会击碎这个尚存于神州的美梦。


我们永远无法证明,一个超过一阶的、复杂的集合论规则是自洽的。【偷香http:///4_4056/】


任何相容的形式体系,都无法证实自身的相容性。


这就是哥德尔的两条不完备定律。


人类的逻辑,实际上是不自洽的。


请收藏:https://m.biquzz.com

(温馨提示:请关闭畅读或阅读模式,否则内容无法正常显示)

上一章 目录 +书签 下一页