手机浏览器扫描二维码访问
王崎感觉到了自己的状况。他的命火只剩一线,生命垂危。但是,他手中的笔还没有停下来。
因为他已经做好的准备、留下后手了。
王崎手上的戒指“数学”,肩膀上的肩甲“离散”依次亮起,然后,贾维斯将一篇新的法诀输入到王崎体内。
——“因为不完备,我们永远无法证明一个公理系统无矛盾”,这同样是对哥德尔不完备定理的误读。
哥德尔不完备定理否决的,是“在一个系统的内部来证明该系统的一致性”的可能性,这个证明过程说起来复杂,但是其核心思想是运用了所谓的“自指”。
——这个陈述陈述了自己。
——这个集合包含了自己。
这也是逻辑学当中许多悖论的来源。地球的“理发师悖论”、神州的“炼丹师悖论”,归根结底都是“一个集合究竟应不应该包括自身”的疑问所引发的。
而这一条不完备定律,是可以绕过的。
不能在系统之内证明系统的完备性,但是可以从系统之外证明。
我们不能根据系统本身证明这个系统,但是可以通过另一个系统来证明它。
王崎在五六年前就做过相关的理论研究。
正是,布尔巴基学派的思想!
从外部证明!
布尔巴基学派,本就是地球的数学界在被哥德尔不完备定理狠狠洗过之后,重新衍生出来的东西。若是按照神州的分类法,同样属于离宗一系。而按照布尔巴基学派理论推演出的修法,也正好能够支撑因为不完备律而崩散的法力系统。
贾维斯给出的支援,正在重新导正王崎体内崩散的法力。
与此同时,王崎的论文也接近了尾声。
“结论……由此,我可以证明,对于任意的算学系统,如果其中包含了算术系统的话,那么这个系统不可能同时满足完备性和一致性。对于任意的算术系统,如果其中包含了算术系统的话,那么我们不能在这个系统的内部来证明它的一致性……”
——完备性和一致性不可得兼,这个系统要么自相矛盾,要么存在着既不能证明也不能证伪的命题!
轰隆!
王崎脑海中如有一道雷光炸响。他感觉到神清气爽,从来就没有这么清醒过。
而另一方面,他的法力系统崩散又重聚,几乎等于是经历了一次涅槃。他的修为依旧是结丹初期,但是修法本质却隐有升华。
啪啪啪啪啪……
空气当中传来了一连串脆响,如同裂帛。那是王崎无意识中逸散的法力对周围的搅扰。
他站了起来,然后又坐下,想了想。重新拿起一张纸,写了一个附录,再次声明哥德尔不完备定律的本质,并附上他这几年断断续续做的,有关于“超限归纳法”“算术公理化”的论文。
就连他本人,在写这篇论文的时候,遭遇了修法的大崩溃,若是其他人,又会怎么样?
所以,必须得附加一点“保险措施”才行。
哥德尔不完备定率虽然在数学史当中占据了及其重要的地位,但是证明过程相对来说比较简单,论文整体很短。以王崎的思维哦速度和手速,整篇论文个把小时就写完了。
他推门出来,陈由嘉突然扑了过来,揪住他的衣领,呵斥道:“你究竟在搞什么鬼?”
“写论文……”
“你差点就死了……”陈由嘉原本淡漠的表情这一刻变得很明显,愤怒和委屈同时出现在她的眼睛里。她用法力束缚住眼角溢出的泪水,咬牙切齿道:“你差一点就死了……你差一点就死了!你这是在写哪门子的论文?”
王崎这才想起,自己光是封住门窗,忘了屏蔽气息。
“当年,开创缥缈之道的蒲前辈就因为发现了不连续而功力散尽。”王崎拍拍陈由嘉的肩膀:“差不多的道理……”
重生之做个好军嫂 离婚后诈死,傅总拿着孕检单疯了 七零年代炮灰吃瓜日常 让你透视鉴宝,你特么一直乱看 地狱诱宠:闪婚老公是冥王 万春街 趁雪下 修仙:我真没想当舔狗! 神敌 嫁给疯批太子冲喜后 穿越荒年,我靠做二道贩子发家致富 神魂颠倒 橘子汽水 凶奶奶是年代文真千金 斩气界 往生之摘星之旅 重回八零:我靠练摊暴富了 乱臣 九天纹线 修仙从神秘小鼎开始
关于人在木叶生性纯良的我被系统逼上了邪路穿越火影世界,开局觉醒系统!呦,生性纯良的宿主呦!作为一个正常的男人,你怎么能眼睁睁的看着宇智波富岳那个混蛋老牛吃嫩草!一向宇智波美琴表白,俘获佳人芳心奖励S级忍术一门(随机)二生性纯良的宿主呦!只有愚蠢的人才会做选择,强夺一血奖励写轮眼三门忍术熟练度提升一级(随即)望着远处自己下属那纯真的神情,藤原哲也看着水中自己的倒影陷入了沉思。这一血,自己究竟是要,还是不要?...
林风穿越到了一个诡异的世界,成了凌虚观的一名小道士。但这世界原本的规则早已破碎,破碎的仙道流落到各种生物手中,滋生出无数邪仙异教。林风在机缘巧合下,被疯子师父血肉附体,还换上了一颗恶鬼的心脏,变成一个半人半鬼的怪物。红月,血雨,尸林倒挂,白蜡油翻滚中人祭,万人朝拜的黄金树,连绵不断的尸垛,不死癫狂的难民,佛世净土中...
关于林家有女整治家风种田宅斗大女主无金手指无cp脾气暴躁一言不合就咬人村中有四霸恶狗公羊大鹅和林三丫林瑶睁开眼就目睹了家徒四壁,那叫一个寒酸。再睁眼又目睹了泼妇骂街,得不想动嘴打一顿就好了。从此林家三丫性情大变一言不合就开撕。重男轻女的偏心祖母,心思深沉祖父,独木难支的后娘,软弱无能的亲爹。上有两个任人欺辱的姐姐,下有两个后娘生的弟妹,更有恶毒叔伯一窝好吃懒做筛子精,真真是极品凑了一堆。从此...
关于万里追狼白龙,它不是龙,也不是马,它是一条白色的狗,是60年代华北地区某村的一条狗王。在那个狼灾泛滥的时代,白龙在主人福哥的照料下,历经坎坷,从一条小狗崽成长为一条勇猛的狗王,并和村里的狗一起担负起守卫村庄的责任。由此与村庄周围的狼群结仇,几番恶战,斗智斗勇。。。...
关于异能学校之遇上恋爱脑大佬选修课总是遇到女主被迫恋爱脑的魔修大佬vs表面小白实则腹黑爱玩的欧皇新生!简介一高考后准备报考的褚星禾,某天突然接到电话请问是褚星禾同学吗?这里是关山岭职业技术专修学院考生你好,这里是玄天宗职业技法大学招生办褚同学你好,这里是魔神机械设计学院招生办这不妥妥的诈骗电话吗?什么妖魔鬼怪的野鸡学校都打电话过来招生。听听这名字,褚星禾能信吗?当然不能!!!然而她还是被迫入学了。没人告诉她还有入学考试,怎么还有人上学带刀枪剑炮水晶球啊?这都算了!为什么入学考试是闯鬼屋?躲丧尸?跳大神越来越离谱了,得亏褚星禾从小见惯妖魔鬼怪,不然真得被创飞。简介二通识实践课就跟着魔修大佬一起选!结课巨快!为什么?他每个副本都得杀妻证道,主打就是一个大道无情!你进去老公还没喊出来,人就噶掉了!嘎嘎快。还有这种好事?褚星禾第一个冲了!然而她遇到的怎么不太一样?谁能来告诉她,为什么这个魔修大佬只会哭唧唧找老婆,甩都甩不开?...
关于诸天带着随身空间到了四合院世界陈琦莫名穿越,来到一片湖心岛,发现拥有空间之后,并感应到世界种子,按其要求吸收物质供给小世界之种,然后就被排斥到四合院世界,开局城门口,因为衣服新颖而被误认为富家公子而被放行,进入城内遇到还在卖包子的未成年何雨柱,阻止了他被人骗,改变了他获得外号的命运,从而改变了主角的命运从其身上获得了气运,得到了一定的庇护避免了被四合院世界排斥而赶出世界。之后陈琦靠着何雨柱的帮助进入了四合院租了院子安定下来,靠着小世界的养殖种植能力,通过何大清介绍给丰泽园供应食材,之后开肉铺,接手杂货铺,开商行,买地,生意越做越大,于是很多事情很多人也纷至沓来,蝴蝶效应直接造成何大清成了丰泽园二厨,并再娶了。而陈琦只想收集这个世界的各种动植物然后去诸天寻找永生。持续的获取气运使得小世界内开始出现了生成中的四合院世界的信标传送门,完成之后就可以在离开这个世界之后就可以随时回到四合院世界。现在开启了荒野大镖客2救赎的第一幕第一个世界,四合院,第1章124章第二世界,荒野西部大镖客2125章第三世界,港综第四个世界待定。...