手机浏览器扫描二维码访问
王崎感觉到了自己的状况。他的命火只剩一线,生命垂危。但是,他手中的笔还没有停下来。
因为他已经做好的准备、留下后手了。
王崎手上的戒指“数学”,肩膀上的肩甲“离散”依次亮起,然后,贾维斯将一篇新的法诀输入到王崎体内。
——“因为不完备,我们永远无法证明一个公理系统无矛盾”,这同样是对哥德尔不完备定理的误读。
哥德尔不完备定理否决的,是“在一个系统的内部来证明该系统的一致性”的可能性,这个证明过程说起来复杂,但是其核心思想是运用了所谓的“自指”。
——这个陈述陈述了自己。
——这个集合包含了自己。
这也是逻辑学当中许多悖论的来源。地球的“理发师悖论”、神州的“炼丹师悖论”,归根结底都是“一个集合究竟应不应该包括自身”的疑问所引发的。
而这一条不完备定律,是可以绕过的。
不能在系统之内证明系统的完备性,但是可以从系统之外证明。
我们不能根据系统本身证明这个系统,但是可以通过另一个系统来证明它。
王崎在五六年前就做过相关的理论研究。
正是,布尔巴基学派的思想!
从外部证明!
布尔巴基学派,本就是地球的数学界在被哥德尔不完备定理狠狠洗过之后,重新衍生出来的东西。若是按照神州的分类法,同样属于离宗一系。而按照布尔巴基学派理论推演出的修法,也正好能够支撑因为不完备律而崩散的法力系统。
贾维斯给出的支援,正在重新导正王崎体内崩散的法力。
与此同时,王崎的论文也接近了尾声。
“结论……由此,我可以证明,对于任意的算学系统,如果其中包含了算术系统的话,那么这个系统不可能同时满足完备性和一致性。对于任意的算术系统,如果其中包含了算术系统的话,那么我们不能在这个系统的内部来证明它的一致性……”
——完备性和一致性不可得兼,这个系统要么自相矛盾,要么存在着既不能证明也不能证伪的命题!
轰隆!
王崎脑海中如有一道雷光炸响。他感觉到神清气爽,从来就没有这么清醒过。
而另一方面,他的法力系统崩散又重聚,几乎等于是经历了一次涅槃。他的修为依旧是结丹初期,但是修法本质却隐有升华。
啪啪啪啪啪……
空气当中传来了一连串脆响,如同裂帛。那是王崎无意识中逸散的法力对周围的搅扰。
他站了起来,然后又坐下,想了想。重新拿起一张纸,写了一个附录,再次声明哥德尔不完备定律的本质,并附上他这几年断断续续做的,有关于“超限归纳法”“算术公理化”的论文。
就连他本人,在写这篇论文的时候,遭遇了修法的大崩溃,若是其他人,又会怎么样?
所以,必须得附加一点“保险措施”才行。
哥德尔不完备定率虽然在数学史当中占据了及其重要的地位,但是证明过程相对来说比较简单,论文整体很短。以王崎的思维哦速度和手速,整篇论文个把小时就写完了。
他推门出来,陈由嘉突然扑了过来,揪住他的衣领,呵斥道:“你究竟在搞什么鬼?”
“写论文……”
“你差点就死了……”陈由嘉原本淡漠的表情这一刻变得很明显,愤怒和委屈同时出现在她的眼睛里。她用法力束缚住眼角溢出的泪水,咬牙切齿道:“你差一点就死了……你差一点就死了!你这是在写哪门子的论文?”
王崎这才想起,自己光是封住门窗,忘了屏蔽气息。
“当年,开创缥缈之道的蒲前辈就因为发现了不连续而功力散尽。”王崎拍拍陈由嘉的肩膀:“差不多的道理……”
天才高手 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 就想和你在一起 穿成大佬假妹妹 七零空间小娇女 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 封先生的宠爱 穿书之末世娇宠 唐老太的种田生活 贵门妾 人人都爱马文才 周一见 九子登云的作品武裂苍穹 武裂苍穹秦天青儿百度云 武裂苍穹秦天青儿全集免费阅读 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 一觉醒来怀了崽 神道丹帝叶尘苏傲雪全本免费阅读 玄学大佬在现代
王楚天魂穿大周王朝下附属国成为一个小贵族之子。人神妖鬼并存,刀剑与道法交相辉映,人族水族精怪异人妖魔争相出世,大周王朝风雨欲来的王朝末年光景下,正是建功立业之时。多年后,坐在直入云霄的黄金树下,王楚天昭告四方,登基为帝。曰自古天子自称皇帝,乃告诫子孙后代皇为文治,帝为武功,坐天下要堂皇之道,霸...
幽冥末班车简介emspemsp关于幽冥末班车三流大学毕业的刘唐,进入地铁部门成为一名夜班乘务员。可等他工作后才发现,这里诡异重重!不存在的保洁员,多出一站的站点,忽然出现又消失的纸人,这趟地铁究竟要开往何处?深陷旋涡的刘唐,不得不深入其中,查询这背后的真相,可当真相浮出水面的时候,谁是人?谁又是鬼??!...
穿越到女尊世界,有一个双目失明的姐姐需要照顾,江泠看着用了十年时间辛辛苦苦激活的系统作为社会主义接班人,我绝不可能为了区区小利出卖自己的灵魂!系统啊啊啊!系统,你是不是私吞了我的奖励?我辛辛苦苦演了那么久TT双洁女尊,有一点点虐,单女主,大家看清楚在入坑哦!...
替嫁娇妻甜又飒简介emspemsp关于替嫁娇妻甜又飒生父不爱,继母算计,她忍辱负重,替妹嫁人。传说,君家三少,行事神秘,无人见过真容,性情阴冷怪戾难相处君衍看脸,是要付出代价的!当他摘下面具救命之恩,无以为报,那就以身相许吧!...
丧尸异能卡牌宠物非战斗人员请撤离萧升刚成为一名制卡师不久,全球灾变。技能卡冰锥术,雷击万钧,死亡凝视道具卡钢刀,寒霜匕首,储物空间召唤卡封印万物为自己的属下,丧尸,变异动物,高冷美女别人还在为一口面包争抢的时候,萧升大口吃着炸鸡,甚至配了一杯冰啤。别人还在为一个安全的庇护所大打出手的时候,萧升奴役数万丧尸为自己巡逻。培养一个老婆当首领,自己只要掌管所有物资,当好后勤部长就好了。这个末世,他只想混一个好日子,顺便成为一名优秀的制卡师。定个小目标,把脚下这颗星球制成卡牌!如果您喜欢全球灾变我把世界制成了卡牌,别忘记分享给朋友...
太子爷高调宠妻简介emspemsp关于太子爷高调宠妻毒手圣医的传人孟倾,一不小心穿越成南祁国丞相家的三小姐,被薄情的老爹替代自己的大姐去北冥国和亲。他喜怒无常,嗜血残忍,杀你没原因,护你无缘由。她妙手回春,绝色倾城,踩你没道理...