魔天记小说网

手机浏览器扫描二维码访问

第438章(第1页)

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

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

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

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

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

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

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

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

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

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

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

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

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

从外部证明!

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

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

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

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

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

轰隆!

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

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

啪啪啪啪啪……

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

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

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

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

哥德尔不完备定率虽然在数学史当中占据了及其重要的地位,但是证明过程相对来说比较简单,论文整体很短。以王崎的思维哦速度和手速,整篇论文个把小时就写完了。

他推门出来,陈由嘉突然扑了过来,揪住他的衣领,呵斥道:“你究竟在搞什么鬼?”

“写论文……”

“你差点就死了……”陈由嘉原本淡漠的表情这一刻变得很明显,愤怒和委屈同时出现在她的眼睛里。她用法力束缚住眼角溢出的泪水,咬牙切齿道:“你差一点就死了……你差一点就死了!你这是在写哪门子的论文?”

王崎这才想起,自己光是封住门窗,忘了屏蔽气息。

“当年,开创缥缈之道的蒲前辈就因为发现了不连续而功力散尽。”王崎拍拍陈由嘉的肩膀:“差不多的道理……”

赌妃在上,王爷在下  神偷长公主  我是狠人大帝的同乡  废材重生:邪王独宠悍王妃  大明孤狼  娱乐超级奶爸  捡到病娇太子之后(重生)  时光请善待我的她  直播和男神同居的日子  扛着boss拼下限(末世)  一爱到底之顾少毒妻  穿越之弃子国师  悍妻[医道]  眼镜兄撞上恶魔王子  天地炼成  系统之娇宠孕妻  断神  天黑请开眼  最强除妖师  烈火燃情:高冷总裁滚远点  

热门小说推荐
医路繁花

医路繁花

这是一个巫医为尊,医者为卑的世界。这是一个中医大夫穿越异界,想要救死扶伤,证明自我的故事。舒沄以为只要小心谨慎,必然是能好好地活下去的。可是,危险的漩涡其实一直都没有停过,只等着把她吞噬下去。—如果您喜欢医路繁花,别忘记分享给朋友...

影视:从让子弹飞开始

影视:从让子弹飞开始

在让子弹飞中是穷鬼。在敦刻尔克的海滩上当炮灰,在枪火中是烂仔。在毒枭中是街头巡警。在银翼杀手2049是毫无存在感的复制人。系统,我什么时候才能充当主角或者大佬,哪怕是配角?哪怕只有几句台词的小角色?系统如果您喜欢影视从让子弹飞开始,别忘记分享给朋友...

常理不存在的轮回

常理不存在的轮回

当你发现自己在睡眠之中被室友套上了女装会怎么想?当你发现自己在女装的时候还得到了一个可以帮助你女装的系统会怎么想?当你发现自己女装的时候还能获得各种各样的技能会怎么想?总之,作为一个健康的大学生,女装什么的绝对是真香定律如果您喜欢常理不存在的轮回,别忘记分享给朋友...

莫满

莫满

六年后,她事业有成,家庭美满六年后,他终于等来了恋人回归。本来离了婚不该再有交集的两个人,却为了一桩桩隐秘的往事的真相,纠缠相杀。他曾将她带到悬崖的边缘,她随即纵身一跃。所以,他们彼此,是谁心狠呢?不过是一丘之貉罢了!如果您喜欢莫满,别忘记分享给朋友...

想活命的我只好走柴刀流了

想活命的我只好走柴刀流了

转世后,东悠一直在好好读书。人生的目标是法政大,毕业后自己在神奈川开一家律师事务所,除暴安良,建立和谐互助社会。用正义的姿态来养活自己,可以的话,想把资本主义打趴下。1表白初吻等行为能够进行当前少女存感22对象好感降低至0,则清除当前对象已获取存感3对象好感将至负时,将等额扣除存感4存在感将至0时,角色人物将死亡忽然出现的系统提示,如果不去当柴刀男,存感就会归零,死亡接踵而来。「我想如果是雾岛同学的话,不需要任何手段,只需要给我狂风鄹雨般的热吻就好,这是最有效率的办法」「作为青梅的北条惠里在我心中地位不凡,但是对我来说,今天的和香学姐来的更加重要」「如果交往的对象是东悠的话,那我也没有办法,毕竟不管是外形条件还是温柔都是神奈第一吧?说不定是全东瀛最好的男生了吧」「就算我有男朋友了,这么看来喜欢上东悠不也是很正常的事情吗?」××××东悠不断地告诫自己和少女有一定程度上的好感,但不想推进关系,无论是积极还是消极,都需要为双方留有余地,以后不管朝着哪个方向发展都有明显的回头路但自己真的不是渣男。如果您喜欢想活命的我只好走柴刀流了,别忘记分享给朋友...

双城之我在皮城造机甲

双城之我在皮城造机甲

李林穿越到了瓦罗兰大陆的皮尔特沃夫,原本以为自己这辈子就这么碌碌无为的过去了,直至他成为吉拉曼恩家族的打工仔时,却发现自己竟然拥有机械师系统。在这个战乱纷争的魔法世界,深知符文之地命运的李林并不满足于自行车机械手表发电机等已然给他带来名誉和数不清财富的小发明。为了应对符文之地未来的危机,他很清楚,自己必须做些什么!从简单的外骨骼动力装置开始,到钢铁侠般的全自动源计划装甲从量产型的蒸汽机器人造起,到可以应对世界危机的战地与霸天系列机甲通过研究星界魔法与符文魔法,他甚至发明出魔法与科技结合,足以称霸世界的王国机神!然而拥有了如此力量的李林,在联合各国组建英雄联盟的大会上,面对众多英雄时却表示我自始至终的愿望只有一个,那就是世界和平。如果您喜欢双城之我在皮城造机甲,别忘记分享给朋友...

每日热搜小说推荐