小说620

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

第438章(第1页)

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

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

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

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

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

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

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

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

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

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

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

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

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

从外部证明!

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

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

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

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

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

轰隆!

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

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

啪啪啪啪啪……

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

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

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

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

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

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

“写论文……”

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

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

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

天才高手  替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续  就想和你在一起  穿成大佬假妹妹  七零空间小娇女  替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新  封先生的宠爱  穿书之末世娇宠  唐老太的种田生活  贵门妾  人人都爱马文才  周一见  九子登云的作品武裂苍穹  武裂苍穹秦天青儿百度云  武裂苍穹秦天青儿全集免费阅读  替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外  替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版  一觉醒来怀了崽  神道丹帝叶尘苏傲雪全本免费阅读  玄学大佬在现代  

热门小说推荐
黄金王朝:从殴打愚蠢的弟弟开始

黄金王朝:从殴打愚蠢的弟弟开始

王楚天魂穿大周王朝下附属国成为一个小贵族之子。人神妖鬼并存,刀剑与道法交相辉映,人族水族精怪异人妖魔争相出世,大周王朝风雨欲来的王朝末年光景下,正是建功立业之时。多年后,坐在直入云霄的黄金树下,王楚天昭告四方,登基为帝。曰自古天子自称皇帝,乃告诫子孙后代皇为文治,帝为武功,坐天下要堂皇之道,霸...

幽冥末班车

幽冥末班车

幽冥末班车简介emspemsp关于幽冥末班车三流大学毕业的刘唐,进入地铁部门成为一名夜班乘务员。可等他工作后才发现,这里诡异重重!不存在的保洁员,多出一站的站点,忽然出现又消失的纸人,这趟地铁究竟要开往何处?深陷旋涡的刘唐,不得不深入其中,查询这背后的真相,可当真相浮出水面的时候,谁是人?谁又是鬼??!...

女尊之我真不想当绿茶

女尊之我真不想当绿茶

穿越到女尊世界,有一个双目失明的姐姐需要照顾,江泠看着用了十年时间辛辛苦苦激活的系统作为社会主义接班人,我绝不可能为了区区小利出卖自己的灵魂!系统啊啊啊!系统,你是不是私吞了我的奖励?我辛辛苦苦演了那么久TT双洁女尊,有一点点虐,单女主,大家看清楚在入坑哦!...

替嫁娇妻甜又飒

替嫁娇妻甜又飒

替嫁娇妻甜又飒简介emspemsp关于替嫁娇妻甜又飒生父不爱,继母算计,她忍辱负重,替妹嫁人。传说,君家三少,行事神秘,无人见过真容,性情阴冷怪戾难相处君衍看脸,是要付出代价的!当他摘下面具救命之恩,无以为报,那就以身相许吧!...

全球灾变:我把世界制成了卡牌

全球灾变:我把世界制成了卡牌

丧尸异能卡牌宠物非战斗人员请撤离萧升刚成为一名制卡师不久,全球灾变。技能卡冰锥术,雷击万钧,死亡凝视道具卡钢刀,寒霜匕首,储物空间召唤卡封印万物为自己的属下,丧尸,变异动物,高冷美女别人还在为一口面包争抢的时候,萧升大口吃着炸鸡,甚至配了一杯冰啤。别人还在为一个安全的庇护所大打出手的时候,萧升奴役数万丧尸为自己巡逻。培养一个老婆当首领,自己只要掌管所有物资,当好后勤部长就好了。这个末世,他只想混一个好日子,顺便成为一名优秀的制卡师。定个小目标,把脚下这颗星球制成卡牌!如果您喜欢全球灾变我把世界制成了卡牌,别忘记分享给朋友...

太子爷高调宠妻

太子爷高调宠妻

太子爷高调宠妻简介emspemsp关于太子爷高调宠妻毒手圣医的传人孟倾,一不小心穿越成南祁国丞相家的三小姐,被薄情的老爹替代自己的大姐去北冥国和亲。他喜怒无常,嗜血残忍,杀你没原因,护你无缘由。她妙手回春,绝色倾城,踩你没道理...

每日热搜小说推荐