走进修仙

第一百六十一章 呵斥,未来

略更小说网 www. LueGeng.com,走进修仙无错无删减全文免费阅读!

对于地球的数学家来说,被某一个定理弄得精神崩溃,最多是发疯。∮∮,在精神病院呆过的数学家,数量仅比在精神病院呆过的文学家少。

而对神州的修士来说,道心被破,就有可能带来物理性的死亡。

因此,哥德尔不完备定理,对于神州的修士是非常危险的。

即使对于王崎这种上辈子就知晓这一定理,然后这辈子又亲自将之推导出的人,都遇到了危险。

但是,王崎知晓,这应该不会是生命危险。

对了以防万一,他预先就预估出十种可能的状态,做出十二种预案。

其中,“状况乙”就是指他现在的状态。

崩溃确实发生了,很严重,一切手段都无法遏制。但是,到了最后的关头,崩溃就会自动停止,为王崎留出一线生命。

“所有的公理系统都是不完备的”这一观点,只是一般人对哥德尔不完备定律的误读。实际上,人类已知的完备系统是存在的。就比如说欧式几何,它就可以被公理化为一个完备的系统。另外,王崎在数年之前抛出的哥德尔完备定理【在神州,它叫做‘王氏完备律’】,也说明了一切一阶逻辑系统的完备性。

崩溃不是无止境的。至少王崎的修法当中,还存在“不完备”也不能怀疑、不能颠覆的东西。

王崎感觉到了自己的状况。他的命火只剩一线,生命垂危。但是,他手中的笔还没有停下来。

因为他已经做好的准备、留下后手了。

王崎手上的戒指“数学”。肩膀上的肩甲“离散”依次亮起。然后。贾维斯将一篇新的法诀输入到王崎体内。

——“因为不完备,我们永远无法证明一个公理系统无矛盾”,这同样是对哥德尔不完备定理的误读。

哥德尔不完备定理否决的,是“在一个系统的内部来证明该系统的一致性”的可能性,这个证明过程说起来复杂,但是其核心思想是运用了所谓的“自指”。

——这个陈述陈述了自己。

——这个集合包含了自己。

这也是逻辑学当中许多悖论的来源。地球的“理发师悖论”、神州的“炼丹师悖论”,归根结底都是“一个集合究竟应不应该包括自身”的疑问所引发的。

而这一条不完备定律,是可以绕过的。

不能在系统之内证明系统的完备性。但是可以从系统之外证明。

我们不能根据系统本身证明这个系统,但是可以通过另一个系统来证明它。

王崎在五六年前就做过相关的理论研究。

正是,布尔巴基学派的思想!

从外部证明!

布尔巴基学派,本就是地球的数学界在被哥德尔不完备定理狠狠洗过之后,重新衍生出来的东西。若是按照神州的分类法,同样属于离宗一系。而按照布尔巴基学派理论推演出的修法,也正好能够支撑因为不完备律而崩散的法力系统。

贾维斯给出的支援,正在重新导正王崎体内崩散的法力。

与此同时,王崎的论文也接近了尾声。

“结论……由此,我可以证明。对于任意的算学系统,如果其中包含了算术系统的话。那么这个系统不可能同时满足完备性和一致性。对于任意的算术系统,如果其中包含了算术系统的话,那么我们不能在这个系统的内部来证明它的一致性……”

——完备性和一致性不可得兼,这个系统要么自相矛盾,要么存在着既不能证明也不能证伪的命题!

轰隆!

王崎脑海中如有一道雷光炸响。他感觉到神清气爽,从来就没有这么清醒过。

而另一方面,他的法力系统崩散又重聚,几乎等于是经历了一次涅槃。他的修为依旧是结丹初期,但是修法本质却隐有升华。

啪啪啪啪啪……

空气当中传来了一连串脆响,如同裂帛。那是王崎无意识中逸散的法力对周围的搅扰。

他站了起来,然后又坐下,想了想。重新拿起一张纸,写了一个附录,再次声明哥德尔不完备定律的本质,并附上他这几年断断续续做的,有关于“超限归纳法”“算术公理化”的论文。

就连他本人,在写这篇论文的时候,遭遇了修法的大崩溃,若是其他人,又会怎么样?

所以,必须得附加一点“保险措施”才行。

本章未完,点击下一页继续阅读。

人气小说推荐More+

魔法文明与诸神之战
魔法文明与诸神之战
关于魔法文明与诸神之战:魔法科技文明的诞生,与远古诸神的复苏相遇。是属于凡民的科技文明脱颖而出?还是神明对于凡民的重新统治?新生文明与远古旧神的碰撞中。在一片茫然与未知中出现的少年,于新生文明和旧神之间,寻找着属于自己的答案。我是……文明的缔造者?还是……旧神的复兴者?
静望枫雪
综武:拜师李莫愁,师父你轻点
综武:拜师李莫愁,师父你轻点
关于综武:拜师李莫愁,师父你轻点:杨尘身穿综武世界,开局简化金手指,修炼效率可提升一百倍!修炼,简化为挥刀!修炼,简化为走路!修炼速率,一天可顶别人一百天!拜师李莫愁后,杨尘的快活日子来了。杨尘:师父,有我在,你必须是古墓派掌门。当拿下小龙女,霸占活死人墓后。杨尘:师父,古墓派当壮大门庭,扬名江湖。于是,杨尘将木婉清、周芷若、郭芙各种绝色拐来。之后,杨尘再次提议:师父,弟子在,一定助你成为武林盟主
愤怒的荔枝
快穿:宿主走剧情后世界又崩溃了
快穿:宿主走剧情后世界又崩溃了
关于快穿:宿主走剧情后世界又崩溃了:++++这个世界对唐恣来说已经没什么意思,突然闯入的系统007和这个世界格格不入,唐恣以无辜的姿态诱骗系统007签下自己。完成任务?可以啊,只不过,世界线为什么不按照原剧情发展?我不造啊。唐恣无辜的笑,这是男主的锅,和我唐恣有什么关系?世界一:魔教教主vs武林盟主燕南归:所有伤害你的,我都不会放过,你愿意来梦中与我相会吗?世界二:竹马vs竹马庄衡:我的骄傲愚蠢,
一颗月球
大宋狂徒
大宋狂徒
关于大宋狂徒:穿了,一个武侠的类似宋的世界,这里有清纯善解人意的村姑,英气逼人的将门虎女,美丽腹黑的侠女,刁蛮任性的公主。推到她们?不,这不是重点,重点是男人的浪漫是什么?妻妾成群,还是神功无敌?不,男人的浪漫应该是摧敌锋于正锐,挽狂澜于极危,应该是男儿到死心如铁看试手补天裂。
踏浪者追风
遥领九州
遥领九州
关于遥领九州:他为一人马踏江湖,也为一人剑指豪门!他为苍生重拾九州,也为苍生远征四方!他就是他,也不是他!瑶山宗上论道、逍遥楼内品茶,僵尸谷中谈武、幽灵山庄用兵!终成一代无冕之王,遥领九州!
可可渣米渣