00:00/00:00
外链地址
https://www.eemp3.com/audiofile/cbd0820c151060aab5dee6970b0c5340.mp3
点击复制
本字幕由TME AI技术生成
欢迎收听由懒人听书出品的走进修仙作者
吾道长不孤演播
沈阳第四百七十五集
合外尔是算主最有成就的弟子
算主的不少弟子都尊称他为师兄
但是何科这种更加年长的
则称之为师弟
希柏澈露出了头疼的表情
哎呀 外尔啊
那家伙信了连宗之后就变了
他说什么了
呃
我探过他的口风
事情似乎真的很不妙
嗯
看起来算君还是有些本事的呀
算主点点头
不以为意
我理论的漏洞很多
他若是能够帮我找出一两样
我倒是感激不尽
哼 只不过啊
应该不限于思考这个领域吧
哼
何科咬咬牙
啊
还有冯先生
冯先生也知道
只是他们都挺担心您挺不过去啊
哼
我说我这老朋友最近怎么鬼鬼祟祟的
原来是这样啊
希柏澈表情有些凝重了
哎呀
看起来真的是大问题呀
能有多基础呢
我到底是哪里
呵
可心中一片冰凉
到现在
老师的思路都没有往完备性上考
他根本不怀疑算学的完备性
老师
我们还有退路的
我们还是能够通过超群归纳法
从系统外证明系统的完备性啊
何科没有说太久
算主的眼睛盯着他
那黑色的眸子似乎有无边的魄力
很快
他就说不下去了
过了好一会儿
算主才将目光拉回到那个自己已经停滞了许久的证明
他仿佛想要沿着这个证明
看到算学的彼岸
我们必须知道
我们必将知道
他轻声呢喃
总而言之
我最近的思路了
王崎一脸平淡的对着冯落衣汇报了自己的思路
所谓的思路
有些时候是需要藏着掖着
但是有些时候说出来也无妨
黄崎的这个思路
对于冯落衣来说就是这样
冯落衣已经是颠顶的修士了
不论命还是利
他都没有更高的要求了
这位大算家心中所想的
无非就是求得大道
另外还有摆脱那个所谓的终极图景
除此之外
再也没有什么利益能够打动他了
倒不如说
为了实现他的理想
王崎这种有天分的后辈越多越好
从这个层面来讲
冯落衣对王崎的支持
当真可以说是不遗余力
这也是那些已经登顶的家伙
不吝啬于提携后辈的原因
冯落衣则在脑海当中思考王崎的思路
他想到
呃
看你这态势
竟好似要杀穿这个二十三问呢
呃
不敢不敢
黄岐要有二十三问
何其可怕
就算在地球
这二十三个问题当中
依旧有数问是悬而未决的
他就算有信心独立解决其中的一两问
也不敢说能够解决所有
冯落衣摇摇头
哎呀
以后的事情谁知道呢
五六年前吧
我就没看出来
你居然能够循着那个完备性
一举击穿第二问
第十问
呃
说不定还要再添上第一问呢
呃 不过
冯落衣的眼神突然锐利起来
你好像总是很喜欢走弯路啊
弯路亡其错愕力迫法才是完美解决连续统假设问题的不二之选呢
为什么是弯路呢
呃
我最近看到了一个思路
很奇特
很有趣儿
冯落衣盯着王琦的眼睛
道 呃
将所有可建立集合同合成一个系统
在无限中比较无限的大小
王琦错愕
嗯
有人想出来了吗
这就是当初哥德尔证明连续统假设的思路
在zf 公理允许的范围之内做推做证明
若是zf 公理系统具有一致性
则连续统假设为真
在zf 公理体系之内
连续统假设无法被证伪
对于二十三位来说
这应该已经算是一个完美的答案了
但是不能证伪并不代表实证
沿着这个思路
人们同样可以证出
在zf 公理系统之内
连续统假设不能证实
换句话说
连续统问题在集合论的范畴之内
是一个具备了不可判定性的问题
如果这个不能证实也不能证伪的结论再早一点
那么不用严格证明第十问
这就是对可判定性的一个绝对反例
只有在现有公理体系之外
才能证明
力迫法就是冲出原有公理体系的束缚
自开体系
自定道路
但是
若是集合论现有公理系统为基石
那么这个自创的系统又应该怎么算呢
基石之外
算学之内吗
这也是力迫法重大意义的来源
听到王琦的惊呼
冯落衣眼光一闪
嗯
这个思路你也想到过是吧
啊
隐约想到过
但是不太喜欢
王琦只能这么说
若论理论论证过程的简明流畅程度
科恩的破例法远远不及哥德尔的思路
除非是傻了疯了
不然一般人都不会在前方还有的时候去闯出这条路的
要是没有根据的直觉吗
冯落衣摇摇头
罕见的没有训斥王琦
只是感叹
哎呀
数年之前
似乎也发生过这种事啊
你避开了一般人觉得正常的道路
走了歪路
直到前些日子里
抛出不全之律
破了那些完全之念
哼
我才发现
原来你前几年绕的远路
才是唯一的正路啊
冯落衣所指的
乃是王爵获得道种赏钱后用超限归纳法证明算术系统一致性的道路
按照一般人所想
他应该根据自己证明的一阶谓则逻辑系统完备出发
从一阶推向高级
但是王琦当时选择的却是一条无比远的路
在系统外证明系统内无矛盾
众人会奇怪
明明有一条通天坦途
你偏不走
非要到系统外绕一圈
这不是傻吗
当时只有王琦明白
这个系统是做不到不假外求的
他绕的那一圈才是必须的
不过这一次就不大一样了
哥德尔的那个证明思路
只不过没有力迫法那样意义大
没有力迫法那样无可辩驳的力度
实际上
这依旧是一条正路
他只能说道
啊
这真的只是个人喜好的问题
那个思路应当是没有错的
哦
冯落衣点点头
也不知听没听进去
哦 对了 老师
王杰突然有些好奇了
哎
那个思路的提出者到底是谁呀
到底是哪来的奇葩
居然可以独立思考出和哥德尔大神一模一样的思路呢
冯落衣笑道
你应该也认识
万法门真传苏君宇苏师兄嘛
他的领域包括逻辑吗
王崎错愕
印象当中
苏君那个家伙学习的领域非常杂
好像什么都有
主要是概率和几何
哦
这么想来的话
他好像也不是没有接触逻辑这一块的可能性啊
如果他哪一天脑子一抽
跑去学习逻辑
非常有可能吗
不过
这还真是奇妙的重合之处啊
王崎想到
力破法的创始者科恩
研究领域就不是算学逻辑
他最开始只是单纯对第一问感兴趣
所以想要跨领域去参一脚
他本人其实不能理解力破法的巨大意义
苏君宇估计也是这样想的吧
想要在第一问的领域参一脚
结果这一脚参出了大成就
王崎此次来见冯落衣
在是来汇报自己的最近工作的
再伟大的想法也不是无迹可循
纯粹由一个灵感推动的证明也需要酝酿
哥德尔不完备定理就是灵感思财的典型
但是他也得先证出作为前置的哥德尔完备性定理
最近一两年
王杰始终保持着一到两个月和冯落衣汇报一次的习惯
顺便的
他还会与这位当世最强之一的算家做交流
在汇报完之后
王崎起身便要走
这个时候
冯落衣叫住了他
呃 王崎
我问你啊
要你估计的话
你做出这第一问的证明
需要多久呢
呃
需要数年吧
总而言之
苏师兄不出意外就可以拿到解决第一问的荣誉了
王崎的模棱两可
这可不同于抄论文
他前世是个物理学家
不是数学家
毕佛法他也只知道名字
什么时候能够抛出来
也不是他能够控制的
哎呀
看起来是赶不上喽
冯落衣脸色有些阴沉
呃
然后我问你啊
按照现在的进度
谪仙苟大宝需要多久才能完成结丹呢
呃
两个月左右
王杰估算道
我虽然消去了他对算学的抵触
但是想要将他从古法之道拉到正道上来
非是一日之功了
筑基的部分
我打算结合人造法基的手段
一半外来植入
为他铸成完美身基
然后经过一段时间的适应之后
再让他结丹
呃
这个过程我也会辅佐以一键结丹的手段
这至少需要两个月
两个月
冯落衣摇摇头
又问道
你还主持了什么项目吗
非得你不可的那种啊
王吉思损片刻
道 呃
这个倒没有
推广万象卦文
推广数据化修法
这就是我社学之外主要做的事儿了
呃 那么
你就在三个月后出发吧
冯洛伊道
西海龙王不知道是一个什么情况
梅歌牧也是生死不知
现在每拖一天
都是危险呐
王崎点头
应试石贯大山当中
他算是体验过了谪仙手段
甚至人外有人天外有天
仙人这个阶级
能够超然宇宙间
不是没有道理的
现在我问你好了
你打算从什么门路进入古法仙门呢
冯落允许问道
现在我手里有两个路子
一在落尘剑宫
一在天书楼
天书楼
落尘剑宫
王崎对这两个门派的名次都有印象
他和这两个门派的修士都战斗过
也熟知这两个门派的修行之法
他问道
呃
这落尘剑宫如何
呃
天书楼又如何呀
各有优势
冯落衣依旧是召唤出那个海外古法仙门的地图
指点道
天书楼本名法宝天书册
手段繁多
几乎没人知道他们能够使出什么
在斗法之中
你使出什么样的法度
都不足为奇呀
对于有金法仙道之称
又得了仙刀樊树冈的你来说
天书楼还能发挥自己的实力
但是
天书楼乃是圣帝尊的心腹
呃
最高修为乃是合体圆满
而且位置非常接近黄极猎天道
接近大成西的谪仙圣帝尊
呃
你在哪的行事
处处受掣肘啊
而落尘剑宫就不同了
他们是建修门派
专精剑道
你的手段在那儿大受限制
可是他们的优势也很明显
落尘剑宫的三位太上长老
都没有到合体期
比天书楼的高手弱上不少
王崎想也没想
直接说道
啊
弟子就选落尘剑宫
哦
为什么这么选呢
规避风险本身就是利益啊
王杰回答道
这次啊
是要面对谪仙的最终目标
也是大成其圆满境界的圣帝尊
面对这种对手
再如何小心都不为过的
看梅歌牧战前破鲸
而且还能靠着心念硬生生压服原本无解的心魔大咒
如果不是原英境界关乎他以后生命层次的提升
那说不定就要将元英境界也一同给破了
冯落衣道
啊
那我再给你加一条情报好了
我们在天书楼的内线
修为不俗
分神圆满
真挚合体
而我们在落尘剑宫的内线
则连原因都没有啊
还是落尘剑宫
王崎笃定道
我是去防毒的
十分咒法和心魔大咒
都是在人多的地方才好使啊
冯落衣点点头
嗯
如此我明白了
冯落衣收起了面前的地图
又招出两本书
呃
这一本乃是落尘剑宫的心法
大自在拂心
奥妙真解
而另外一本
则是落尘剑宫的剑术
片雪不染诀
你有两个月的时间去熟悉
王崎笑嘻嘻道
嘿嘿 不必
两个月
顷刻可成
他的数据化修法
调整虚一重的修行
再简单不过了
冯落衣却笑道
要我看呢
两个月未必够
你不能用今法的眼光去看
而要纯作古法修持
今法修和古法修
在很多观念上就有着天壤之别
许多相似的法度使出来也有明显差异
王崎若是由着自己的性子
魔改落尘剑宫的剑法
或许可以瞒过低阶修士
但是高阶修士铁定瞒不过
不仅如此
咱们万法门的剑架子
你也得扔掉
二位
用那最为古朴的架势
冯落衣这个要求
王崎倒是可以理解
今法那种剑术拆解成每一个细节的习惯
对于古法修来说
同样属于歪门邪道
他去使剑
同样会显露出一丝差异
这一丝差异
在一般人看来算不上什么
可是落尘剑宫
乃是剑修大派
其中长者个个修得剑心通明
除非王崎真的能够以算学通剑技
直接将剑术提升到那几个建修千年万年的老怪物之上
千年万年积累出的经验公式
也是不可小视的
呃
若是明白的话
那么三日之后
便亲自到朗德分坛一趟吧
那里有几个小物什可以助你
三日之后
朗德分坛
王崎再一次见了刘毅
这位宗师见面就施礼笑道
哈哈 呃 小老弟
又见面了
最近见的可勤快呀
王崎笑了笑
拱拱手
这位刘宗师
现在就是一尊在任务前送出关键剧情道具的npc
哎
我倒是觉得
我还是少看见你比较好啊
刘毅大笑道
嘿
你一见到我
就说明神州的哪个地方出了点什么事儿
又需要你或者我出生入死了
哎 这话也是
王崎笑道
哎呀
为了神州安宁
也为了自个小命
咱们呢
最好再也不见呢