第八十九章 万法门乱象【第二更】
路小茜在极微之子的恒星上呆了相当长的一段时间。
在这一段时间里，极微之子的普通集群们，已经死了二三十代了。
这个时间确实比路小茜最初预计得要长很多。她原本以为这些在仙人之中也堪称强大的极微牧者会随意的回答他几个问题。
她来之前确实没想到，自己会带上一两个月。
但是，大牧首却是以一种异常认真的态度，去面对她的这个问题。大牧首以及其他七位极微牧者，直接分出化身，让化身去修炼这一门火之民个性种的左道修法。
要知道，大牧首……不，是整个极微之子，都没有诞生过这样的左道修法。
这种燃命燃灵之道，只会将他们原本就不长的寿命瞬间完全燃烧。
所以，这些强大仙人，修炼这样一门功法，竟也费了些许功夫，才成功入门。
在这之前，他们就手滑烧掉了好多化身了。
这期间，路小茜自己也尝试兼修这一门功法。
不同于王崎将之嫁接在自身就有的天熵诀变化上，路小茜只能在体内另辟蹊径，重塑经脉，容纳这一团全新的法力。
她如今也是元神期修士了，调整功体要困难许多，又不似王崎那样，元神本身就是千变万化的类型。
所幸这个过程之中，大牧首一直都在对她进行指点，直接引导她那微弱的法力完成入门。
只可惜的是，或许是因为她是土之民，又或者她先天的主观感知将新的感觉汇入了原本的五听之中而不自觉，总之，她没有任何新的感知。
大牧首倒是有所得。但是，他最终也只能提供诸如“冰面之下的洋流”这类似是而非的比喻。
这还是因为大牧首在岩质行星上生活过很长一段时间的缘故。
实际上，其他的极微牧者，给出的比喻就像是“温柔的黑子”、“耀斑的前奏”之类，不明觉厉的东西。
“相互理解”真的是一个很难的事情。
那龙族长生者就在这颗恒星的大气外侧晒着太阳打这盹。
等到路小茜确认已经达成目标之后，他才下来，问道：“已经结束了吗？”
“已经完成了。”路小茜点点头。此时她神采飞扬。尽管极微牧者给出的东西都很模糊，但是，她确实从这些诗意的描述之中寻到了一些灵感
下面，就是回去将之转化为今法仙道的语言了。
龙族长生者清啸一声，对极微牧者告别。、
而这一刻，在金属大地的边缘，七色的霞光，如同七彩莲花一样绽放。
这是这些火之民的礼仪。
路小茜之前已经与大牧首他们告别过了。龙族长生者伸出尾巴，用灵活的尾鳍卷住路小茜，然后化作一团光。
路小茜感觉，自己面前的星空被套上了蓝紫色的滤镜。
而身后的恒星，则瞬间变成血红。
这是她在这片大日疆域见到的最后一幕。
然后，缥缈宫首席意识断线，假死过去。
……………………………………………………………………………………
路小茜回到神州的时候，已经快要到宇历二年了。
让她有些可惜的是……她错过赵清潭的那一档“儿童节目”了。
虽然可以去找资源补，但是吧，光是追看就怪让人不好意思了，现在特地去看……显得更加幼稚了一点。
所以，她专门在闭关的静室上加了一圈符篆。
这一年年末，终于有连宗的炼虚期修士忍不住怒火，要与赵清潭做过一场。
只是，赵清潭如今已经不是当初刚刚回到神州的赵清潭了。
他也在高速成长期中。或者说，基派的所有修士，都处在高速成长期之中包括王崎。
随着基派理论的进一步完善，基派修士也在以“天”为单位变强。
赵清潭拔剑怒挑一十三名连宗炼虚，终于因为体力不支而惜败于第一十四名。
但经过之前的造势，这并没有损害到基派上升的势头。
相反，连宗反而有了“辩不过就打，打不过还车轮战”的负面名声。
这让贴着膏药的赵清潭在苏君宇面前笑了许久。
“该！”苏君宇狠狠的说道。
他是基派在神州的唯一核心成员，并且与外界的诸多事务，都要落到他身上。
基派光荣的时候，他也能一并获益。但在这种连宗攻讦、门内暗流汹涌的时候，许多压力就得他一个人抗下了。
虽然早有觉悟，但是那些在他看来简直疯狂的连宗弟子，真的是有病。
不，不只是连宗弟子。
不周之算的客观存在，使得很多离宗弟子，其实都不大待见基派。
有一段时间，基派几乎成为连宗离宗的公敌了。
而赵清潭此举，算是让他出了口恶气。
只不过，连宗也知晓这样不善，所以收敛了很多。
但相对的，又有几篇沿着“切断自我指涉”这一条路绕过“不完备定理”的论文被甩了出来。
“形势严峻，形势严峻呀！”苏君宇如此说着，似乎有些坐卧不安。
“你急什么？皇帝不急的……”赵清潭摇摇头：“我再过个把月就要回他乡了，有什么事到时候再说。咱们先把这个新年安安稳稳的过了。”
“也是，也是。”苏君宇立刻露出笑容来：“赵师兄想来也是好几年没有回家乡了吧？我就不打扰赵师兄了。明日我就去焚金谷拜访一二。”
“真是……重色轻友。”赵清潭笑骂一句：“滚去焚金谷吧！”
这几日，两人都算舒心。
赵清潭的一系列举动，确实在凡人之中掀起了风潮。毫不夸张的说，他在凡人中间的知名度，就已经仅次于万法门当代门主陈景云了。陈景云亦是可以算离宗修士。而在这一点上，竟没几个连宗修士可以与之相比。
如果不出意外的话，下一代万法门修士当中，离宗比例，会高出不少。
其中也必然会有相当数量情感上天然偏向基派。
这就是很好的结果了。
而他也确实在万法门的结丹期弟子当中，挖掘出了十多个有天分的孩子，苏君宇也推荐了几个元神期修士。这些修士，都原因跟他去他乡，拜入王崎门下。
这次“买面粉”，算得上是“圆满成功”了。
只要接下来没有太大的问题，他们就可以安安心心过个好年了。
嗯，只要没有太大的问题。
没有太大问题。
数日之后，歌庭派众逍遥联名发表了第一篇论文。
《试论直觉命题演算》
光看标题，很难想象这是一片出自于离宗弟子之手的论文。
“直觉主义”的扛旗者，一直都是算君。而算君就是连宗的代表人物。
很少有离宗弟子对“直觉论”提出看法的。
如果他们在论文之中写直觉论，那么基本就是“直斥其非”了。
或者说直接一点，这就是要开战的节奏。
这一篇论文，点明了歌庭派接下来的研究方向。
他们想要证明，在某种意义上，直觉主义算术，和集合论是等价的。
直觉主义算术同样可以被不周之算否定掉！
连宗同样逃不过不周之算的魔咒！
这一篇论文一出，整个万法门都震动了起来。
所有连宗弟子都开始显得惴惴不安。数年之前，那半个万法门沦陷、神州仙盟近乎瘫痪的灾难性现场，还历历在目。上一次的时候，他们在幸灾乐祸的拍手。
这一次，轮到他们了吗？
而与此同时，离宗修士的眼神之中，却出现了一丝快意的光芒。
“不周之劫”中首创越重的离宗算家，脸上的这种表情就越明显。
就算我不能活，也得拉着你一起死！
而在这个时候，已经和歌庭派渐行渐远的冯落衣，居然抛出了全新的论文。
他接过了连宗对“切断自我指涉”的研究，运用算器的思想，去研究良基集。
并且还取得了相当的成果。
这令万法门内下巴碎了一地。
自从执掌万仙幻境之后，冯落衣就很少进行算理的研究了，与歌庭派的来往也逐渐减少。很多新一代修士都将他视为是中立的应用类算家。
但那些老一辈修士都还记得一点。
算器理论，始终是建立在离宗算理之上的。
歌庭派与冯落衣是在两个方向上对连宗进行攻击。
从思路上看，他们一方秉持着算主“相对一致”的思路，另一方则遵循了算主“切断自指”的思路。而从目的上看，他们一方是要证明排中律的安全性，另一方则是要证明无穷公理的安全性。
这简直就是釜底抽薪，从根底上打击连宗。
而且他们还使用了连宗修士的部分研究成果。
这使得离宗修士好像打了鸡血一样振奋。
但是，新年刚过，到了宇历二年的年初，远在他乡的王崎，又发表了篇全新的论文。
《字问题，及一个案例关于半群字问题的不可判定性》。
由于“形式语言学”之前在神州铺路，所以这一门新学问，已经为人们所知晓。
而判定性问题，则牵涉到最近论战的核心。
所以，这一篇论文，确实引发了广泛关注。
但这却让许多离宗修士一口血吐了出来。
第九十章 怪现象【第三更】
半群字问题的不可判定性，是人类发现的第一个并非有数学家制造，而是天然存在的不可判定性问题。
它也就意味着另一重真实。
“不可判定性，并不仅仅是局限于纯粹算理之中那么简单”。
它就好像是在强调“不可判定性”这个概念的客观性一样。
无数连宗修士如丧考妣。他们实在是无法相信，构成自己思维的语言，居然也蕴含着“不可判定性”的危险。
但是，一时之间，他们甚至都找不到反驳的由头。
因为，在“语言学”这一块上，王崎就占据着垄断地位，他使用算理与逻辑来处理文字问题。
这毫无疑问，就是一个离宗的领域。
连宗甚至找不到施展拳脚的点，无从发力。
“这……冯落衣，王崎，这一对师徒，是要联手灭门吗？”
有连宗修士惊恐的喊道。
但是，相比于连宗，离宗也同样难受。
这一篇论文，可是再一次强调了“不可判定性”的地位。
“这家伙，为了鼓吹自己，所以就拿我们来下手吗？”
有离宗修士也是恨得咬牙切齿。
王崎这一篇论文，无疑就是一记重拳，狠狠砸在离宗修士的脊梁骨上。
这一下，无论是离宗还是连宗，都没有讨到好处。
但是，很快，就有连宗逍遥做出回应了。
多位连宗逍遥已经结束了自己在征天司的现阶段任务，专心准备这一场论战。
现在，连宗内部，居然渐渐出现了新的方向。
他们居然尝试学习离宗的“逻辑”，吸收离宗的知识，用离宗的理论反击离宗。
这应当算是对冯落衣利用连宗“切断自指”的研究成果，进而开始研究排除自指集的做法进行反击。
而出乎意料的是，一向与世无争的雪国派，此时此刻，居然也流露出下场的意图。
雪国派现任领袖，“雪国主”柯寞歌【安德列柯尔莫哥洛夫】也发表了新论文。
他对名为“可实现性”的理论，进行了全新的叙述。
雪国派也是连宗典范，也从属于“直觉派”，同样会对算君执弟子礼。
但是，雪国派的“直觉”，和算君的“直觉”，又有微妙的差异。
实际上，关于“直觉”的构造，不同的连宗修士也有不同的想法。
雪国主的论文指示出了一个奇异的事实。对于任意命题，存在对应的非命题，其非命题成立的则意味着该命题的荒谬。某非命题的证明，是把该命题的证明变换成荒谬的证明的函数。
荒谬的标准例子可以在算术中找到。假定0=1，并进行数学归纳法：0=0通过等同公理得到；（归纳假设）如果0等于特定自然数n，则1将等于n+1，但是因为0=1，所以0也等于n+1；通过归纳，0等于任何数，所以任何两个自然数都是相等的。
这显然是荒谬的。
或许用自然语言来叙述，这就是一个低等的笑话？但是在算理上，它确实是存在着重要的地位。
而几乎是同时，另一位连宗逍遥修士，也独立完成了类似的成果。
他用一种离宗修士看来有些怪异的形式，重写了离宗的重要成就算术公理。
这一下子，整个万法门都开始变得一片混沌了。
所有用研究算学理论的修士都陷入了对三个问题的思考之中。
我是哪边的？是连宗还是离宗？
我在研究什么？朝哪个方向？
我的队友是谁？歌庭派？冯落衣？基派？雪国派？还是少黎派？
这是前所未有的大混乱。
尽管历史上，连宗会吸收离宗的成就，离宗会吸收连宗的成就，但那都是基于“转化到一个算学基础上”所完成的。
以几何融合算术，以分析容纳几何，这样。
但现在，全乱了，离宗和连宗从没有这样相互争夺一个领域过。他们几乎是在以接力跑的形式进行研究。
你研究一段之后，我在你的基础上继续研究一段，紧接着你再在我的成就上进行研究。
中古数家离宗连宗分裂之后，四万年来，头一次出现这样混乱的景象。
离宗和连宗的分割依旧异常明显，但是，研究上却打成一团。
可以说，他们就纯然是乱战了。
尤其是向来超然与争斗之外的雪国派，以及虽然新近成立，却始终气势汹汹的基派，都是不可忽视的力量。
同为连宗，雪国派与少黎派之间也存在分歧。
同为离宗，基派与歌庭派之间关系也不融洽。
大家彼此都杀成了一团。
甚至有些极端的弟子，终于开始不再区分离宗连宗了。
凡是与我方不同的万法门弟子，都可以算是“敌人”！
随着理论层面的混战，万法门门内也终于渐渐失去稳定。
甚至连维护门规的执律使，都没办法保持纯粹的重力。
门主陈景云不得不紧急从其他门派调来了一批执律使，保持万法门内部基本安定。
见到此情此景，赵清潭有些迷惘：“我只是来买面粉的……我只想好好过个年啊！”
“还过个屁的年啊！”苏君宇咬牙切齿：“这是欺负我们基派无人……欺负我们离宗无人啊！”
“……不，我觉得歌庭派的支持者，也不是很喜欢基派来着。”
“这不重要！”苏君宇挥挥手：“现在，最值得注意的，应该是那个叫做海霆【阿兰德海廷】的连宗逍遥了。”
海霆虽然也是逍遥，但大抵就属于那种声名不显的个体。他是在十数年前证得逍遥的。彼时，正是算主如日中天，在全万法门推行元算之算的之后。海霆这一代连宗修士的光辉，几乎都被算主盖过去了。
不，就算没有算主，他也不会太过耀目的。只要算君还在，那么其余所有直觉派连宗修士，都只能算星辰了而算君就是皓月一般。
但是，现在，这位名不见经传的逍遥，居然就与雪国主分别独立完成了相似的内容，甚至重写了算术公理。
尽管在不完备与不可判定的基础上，算术公理也存在着隐患，不似画天公理【欧几里得几何公理】那样确定而完备，但这在过去，却是离宗的荣耀。
他作为连宗，吸收离宗的逻辑吸收得太成功了，几乎开辟出新路来了。
“那你要怎么做？也下场吗？”赵清潭反问：“王崎对这一层论战，应该已经失去兴趣了，发那篇论文也只是恰逢其会而已。基派是不会深入到这一场论战之中去的。”
他太清楚王崎的研究思路了。基派，就只是专注于“根基”而已。那一篇论文，是更大部分的组成拼图，而非为论战而抛出。
“嗯，我很明白这一点。”苏君宇点了点头，看了看自己的手。
尽管只是通过信函与论文交流，但是，这些年里，他也逐渐意识到了一些事情。
王崎已经将目光放到了更加高远的区域里。对于他来说，“不周之算”已经是过去式了。他想要超越这些东西，去到更高的境界，去看那算学上更广阔的美景。
不只是基础算学，这个物质的世界也是一样。
王崎在地下所完成的那个图景，终归是需要一个无比惊奇又无比优美的算学理论去支撑。
虽然这么说有点古怪吧……这一点上，他与算君倒是有点类似.
“也算是完成我的一点执念吧？”苏君宇笑了：“最近看了歌庭派还有冯前辈的论文，我确实又有一些想法……这些年完善基派算理，我的水平也已经起来了嘛？”
“喂，你想要干什么？”赵清潭微微皱眉：“就算海霆真人比较边缘吧，那也是逍遥之尊！你想要和逍遥期修士怼吗？”
苏君宇嘴角扯了扯：“我干嘛要专门去怼一个逍遥期修士呢？”
赵清潭正要松口气，苏君宇就继续说道：“当然是怼连宗啦！”
“你……”
“虽然不如王崎那家伙，但是我小时候，也确实被人认为是有逍遥级数的天资吧？”苏君宇笑道：“而且，这一混战，源头还在好几年前，咱们领袖的不周之算呢？我作为基派的一份子，来做个结尾，也算是师出有名吧？”
赵清潭不再言语。
于是，在年还没过完的情况下，苏君宇便开始了研究。
而他却是沿着算主给出的“相对一致性”的思路，寻找与歌庭派不一样的方向，继续攀升。
转眼之间，就到了新一般开往他乡的星舰启航的时候。
赵清潭带着一种弟子，来到神京。
看着身后已经重新熟悉起来的故乡城市，赵清潭有些恍惚。
这一次，苏君宇没有出来相送。
临走前，他只是托赵清潭，将一些草稿带上。这是他最近一些日子的成果。
赵清潭感觉那些稿纸异常的沉重。
不知道等待苏师弟的，是怎样的未来。
他带着那些新加入基派的万法门弟子，上了星舰。
他便回到了他乡。
在为那些新加入的修士开了欢迎宴之后，赵清潭单独找上王崎，报告了这半年的成就。
并且，呈上了苏君宇的那些文稿。
王崎粗粗一读，便是一惊：“啧啧，居然是……这个啊？”
第九十一章 连续统，以及我的学派【第四更】
“居然是这个啊……”
王崎喃喃低语。
说实话，这其实是他好多年前想要去做的东西来着。
希门二十三问第一问，连续统假设问题的后续。
也就是“无限”与“无限”的差异问题。
是以无限为研究对象的纯粹算学。
王崎确实是记得的，在自己前往灵凰岛之前，通过《银翼刺客》的形式将“自我指涉”的概念普及开去，然后苏君宇就借着那一次东风，完成了连续统假设的基本证明。
这可是实打实的逍遥级成就。
也正是因为如此，苏君宇才有了继续深入离宗领域，与王崎合作推广万象卦文的资本。
这大约可以算是一条线上的东西了。
如果不是当初“不周之算”更加耀眼，苏君宇必定会成为这代弟子的首席。
不过，王崎却是知道，这连续统假设的后续，存在着几个顶了不起的成就。
他当初还信誓旦旦的想要去做了来着。
不过……
王崎尴尬的发现，就算是有修士的记忆力，也架不住事情太多。
他确实将这些东西抛在脑后了。
原因……
“是不是因为当时金丹斩大乘，心气儿上去了，就膨胀了，然后就给忘了啊……”
王崎嘀咕到。
反正都是那些古法猴子的错！
“什么？”赵清潭有些疑惑。
王崎摇了摇头，思索片刻。
不开玩笑的说，他确实是有将之抛在脑后的理由的。
原因就是基派。
他斩完灵凰岛、根绝古法传承，大概花了一年的时间。他确实没想到，在这一年的时间里，不完备定理让他的声名膨胀到了这样的程度，以至于他几乎可以自开一派了。
所以，他就真的自开一派了。
他更喜欢布尔巴基学派及其延伸，仅此而已。
单单是这一点，就足以成为“理由”了吧，毕竟，千金难买我乐意。、
而且，这也不是单纯任性而为的决定。
实际上，布尔巴基学派和它之前的东西，就不像是一个时代的存在。
连续统假设后续，有再多的荣耀，也只是属于“集合论”的过去。
然后，就到此为止了。
他知道，这一条线路也就到这里了，不会攀得更高了。
而布尔巴基学派则是指向未来。
从集合到结构，从结构到范畴，这些都是指向未来的东西。
光是这一点，他就有理由抛下自己结刚刚结丹时订下的计划了。
而且，他也是有资格将之抛在脑后了。
布尔巴基学派和其他学派有很大的不同。它不热衷于攻克什么难题，也不是以什么问题作为纲领。
它就是基础。
或许在不晓得厉害的凡人来看，没有解决过多少有名问题的布尔巴基学派，并不怎么厉害。
但是算学家都清楚，王崎争夺的，是“正统”，是“天下”。
这是整个算学领域的“传国玉玺”！
“天下”和“一隅”，孰轻孰重，不言而喻。
当然，并不是所有理由都是那么光明正大。
实际上，他之所以放下了这条路，还有一点点不那么光彩的想法。
关于“死道友不死贫道”的。
因为，这一系列的后续成就，基本上都是在为形式主义、为集合论、为歌庭派续命的。
如果没有基派，如果没有对“弦论”的一点念想，王崎倒是会坚持走下去。当时还是歌庭派编外成员的他，自然不介意为歌庭续命。
但既然有了基派的“筑基计划”，那么王崎自然会考虑要不要为歌庭派续命了。
从一个算学家的角度来说，为歌庭续命，也不过是为旧势力输血而已。集合论已经看到其上限，形式主义注定没落，歌庭派的现任领袖何外尔，也是一个连宗修士。
每年会加入万法门的弟子，其实是有限的。其中有能力且有志于高深算学的，就更少了。
或许一年才有那么一两个。
而在算君活得瓷实的基础上，连宗是自带基本盘的。这些“铁粉”是不可能被轻易折服的。
而同为离宗代表的歌庭和基派，就得争夺剩下的种子。
而偏偏基派是新成立的门派。在没有弄起声势之前，根本竞争不过源远流长、传承有序的歌庭派。
所以，王崎就暂时搁置了这些方面。
他并不会阻碍其他人研究这个。如果有人问到他头上，他也不介意出言指点。但是，他自己却暂时不打算涉足。
而且，对于现在的王崎来说，基派的基础算理，确实比那些东西有趣。
不过，他也是没想到，最后去做这件事的，居然还是他们基派的成员。
赵清潭有些忧心：“我觉得，这和基派一贯的作风有些偏离了……”
“苏师兄想做，就让他做呗。”王崎哈哈一笑：“咱们是个学派啊，学派。大家都是为求道而来的。若是加入一个学派，就绝对不能做某件事情了，那这个学派，还有什么意思？加入了又有什么意义？”
赵清潭没想到王崎会这样回答。他思量道：“可是，我们的目标，不是算学的基础吗？”
对于王崎最初的言论，他至今不忘。
王崎点头：“没错，现在我们就是要集中一切力量，为算学打下一个坚实的根基。”
“那苏君宇师弟……”
“但是，这也不意味着我要禁止大家做题啊！”王崎说道：“兴致来了，去做一下细枝末节的东西，换换脑子，也是允许的。这种事情禁止了，这个学派也就变得无趣了啊！”
赵清潭沉默片刻。
如今的王崎，倒也确实有底气说他们争的东西都是“细枝末节”了。
基派的算理，已然是另一个层次了。
“但是苏师弟做的……不是结构的东西？”
“既然是性质来了做的东西，管它是什么！”王崎突然兴奋了起来：“而且，苏师兄做的是算学，没错吧！”
“是啊，没错。”
“既然是算学，那就没关系！”王崎笑了，莫名的开心：“既然是算学，那么我们所追寻的‘根基’之上，就必然有其一个位置有什么算学，不是我们的领域？自信一点！”
赵清潭确实是不大理解王崎这种突如其来的兴奋。
但王崎突然感觉自己心中去掉了一层枷锁。
他虽然愿意遵从布尔巴基学派的纲领，但是未必想要一个和前世布尔巴基学派完全一样的基派。
原因很简单，不够有趣。
对于纯粹算理之外的大多数算学家来说，布尔巴基学派的理论，都是美则美矣，但不够有趣。
布尔巴基学派也严格限制了数学的领域。对于布尔巴基学派来说，不是写入他们课本里的东西，都不是数学。
王崎确实可以算是结构主义者，但与布尔巴基学派也不是完全相同。
他也没必要非与布尔巴基学派相同。
他前世确实是水平欠奉，但是今生的诸多历练，却使得他的水平有了本质上的提升。
这不是别人的学派，而是他的学派。
所以他想怎么搞，就可以怎么搞。
他甚至已经有足够的水平，对布尔巴基学派进行自己想象中的调整。
让它更为宽泛，更为……有趣！
基派的范畴，可以比前世的布尔巴基学派更大。
而且，也不用担心这位一项浩繁的工作，会使这些参与者耗费一声。
因为，大家本来就是奔着长生去的。
永恒的生命，配上永不结束的，有趣的征程。
真是再好不过了。
他这样想着，整个人都雀跃了起来。
赵清潭报告完毕之后，就离开了。而王崎则走进自己的书房。
陈由嘉正抱着脑袋，小脸皱起，一副快要急哭了的模样。
王崎伸手，搓了搓陈由嘉的脸个脑袋：“喂，没有灵感就不要坐在我的位置上，让开！”
陈由嘉震惊了：“这个时候的思路难道不是来安慰我吗？”
这些日子，陈由嘉却陷入了困顿之中。
王崎在折腾形式语言学的手，她也一路跟随者，学习着，为研究算器理论做准备。
但是，至今为止，她也就升级了一下万象卦文，开发出了两种平行于万象卦文的全新算器语言。
但也就仅此而已了。
这扔在万法门内，元神境界，也确实算是了不得的成就了。
但是陈由嘉知道，对于王崎的目标来说，不够，远远不够。
王崎是想要弯道超车，覆盖算君的成就。
可就这进度，别说与算君相比了，就算是兽机关集群执行深度学习，都比她来的有效率。
这让她异常的挫败。
“我安慰了你就会不难受了？你不是会更难受吗？所以我索性就……”王崎看了看陈由嘉不善的表情，话头一转，掏出一摞论文来：“喏，慰问品。赵师兄从神州故乡捎来的土特产。”
“什么……论文？”陈由嘉一愣。
“这些都是最新成果吧？我觉得你学习一下也是有好处的？”王崎说道：“这些都与算器理论息息相关……想看哪些，你先看。”
这还真是天大的让步了。
过去王崎非得自己先看不可。
陈由嘉差异的扫了王崎一眼：“你今天好像很高兴啊？”
王崎摸了摸自己的脸颊：“哦，是这样的，上头通知，要来发好东西了，要我们做好准备。”
第九十二章 算君书稿
他乡，天宫法器之中，柯兰荫正畏惧的看着一摞书稿。这一摞书稿只是用黑色的封皮随便一包，缝线都很敷衍。
但是在柯兰荫眼中，这一本薄薄的书稿，甚至比天体都要恐怖。它无时无刻不在散发着诡异的恐怖气息，叫人惊恐的同时，也在诱惑他人伸手翻开。
云中君的喉结动了动，他真的伸出了手。
青年死死盯着这一幕，脸上浮现出一丝喜色。
但是，云中君最终是闭上了眼睛，收回手来。
“心魔难除。”老人喃喃说道。
逍遥修士明明有无限的寿元，但是此时此刻，他身上的暮气居然如此明显。
他确实已经老了。
老到已经没有心气去翻阅这一部书稿了。
青年忍不住劝慰道：“太师叔，就算您看了也不会有什么的。这本就是算君写给他人看的。”
“你不懂啊。”柯兰荫摇了摇头：“你不会懂的。若是没有那境界的人看了，反而不会有什么。但是，我曾经抵达过那种境界，所以看了这书，就会忍不住思考其背后更深一层的原理……”
青年道：“就算思考又怎样？算君也是人啊！”
这一份书稿，正是算君对于兽机关集群的阐释。
柯兰荫摇了摇头：“做不到的。我已经落下很多了……我和算君是同一代的修士。当初我也算是天下第二，觉得自己很了不起。算君就算是天下第一，也只是比我强一线而已。可实际上，从来就没有‘一线’的说法。”
“我之后，希柏澈接手了歌庭。我还记得他成名的那一瞬间那个精妙的解法，以逻辑代替公式的循环套嵌，当时，有着‘不变之王’之称的葛丹都惊为天人，对他赞叹‘几近于玄’。他甚至还安排自己的弟子转投当时的歌庭斋。也就是后来的艾若澈现在那个小女孩都比我强了。”
“之后，冯落衣也是一代天骄……然后就是那个王崎。多么狠毒的一击，就否决了岱威【算主表字】毕生追求的东西。这真的很可怕，我几乎以为他又是一个算君了。虽然他后来自立门户，没有进入歌庭斋，但终归也是离宗的。”
“可是，这些离宗的天才在闪耀的同时，算君的光辉可曾被掩过了？”
柯兰荫的语气之中，透着一种奇异的悲悯：“岱威……我都感觉耀眼的那个天才，他最鼎盛的时候，也不过是和算君分庭抗礼。王崎……王崎都还没到那个时候呢。或许再过个三五十年吧。这还得是……他度得过龙皇预言之中的劫难。但我感觉，到了那个时候，算君依旧还在。”
“可我几乎与他生在同一个时代啊！现在的离宗，还有歌庭派，早就把我落下了吧。元算之算，算器理论，还有现在王崎的那些……”
“而算君呢？现在算君研究出来的东西，仍旧让我后面那些比我更强的离宗天才小心翼翼……”
青年面色一僵，心情也沉重了起来。
“或许你该笑我自大吧？或许我心里还将自己当做是算君一个层次的算家。”柯兰荫摇了摇头：“但我确实没有再面对一次走火入魔、道心崩溃的勇气了。”
青年叹息：“苍生国手……冯前辈也不知道在想什么。居然让算君写这种东西，然后去拿给王崎怕王崎死得不够快吗？”
“这就是他们的心气了。冯落衣并不觉得自己输算君太多，至少在自己的领域不会。而他对王崎则更有信心。王崎……那种少年人，在我们眼中，就跟疯了差不多吧？”柯兰荫摇了摇头：“大约就是这样吧。”
说着，他转身离去，强迫自己不再看那书稿一眼。
“不管怎么说，这书稿分量还是有的。你帮我个忙，亲自走一趟，将之送给王崎吧。”
…………………………………………………………………………………………
陈由嘉这一两天都在苦读论文。
论文这种东西并不是那么好阅读了。除了不周之算那种以逻辑本身对逻辑形成毁灭性打击的论外之外，大多数论文都异常难度。每一个句子，每一个段落，都需要思考。
算主的思路、冯落衣的研究，都是她现在主攻的方向，
基派也是离宗，而冯落衣则是算器理论的开创者，算理逻辑更是算器的基础。
所以陈由嘉觉得，这或许是一个方向。
当然，更多的原因还是……
她实在是没辙了。
现有的算器理论，基派理论，陈由嘉都懂一些。她天赋确实不错。
但是想要结合两者……她根本就没有头绪。
所以，她也只能本着“随便试一试”的心态，沿着冯落衣的思路去想，去钻研，以把握算器理论的发展方向。算主的“两个思路”，就是目前算理领域的大热门。冯落衣，图灵都有意于这一块，那么这一块说不定就与算器理论息息相关。
她也只能从这种程度的资料上推算了。
算主的两个思路当中，苏君宇已经沿着“相对一致性”在走了。那么，与苏君宇同属一派的她，尝试走“断自指”的道路，就可以避免重复研究。
冯落衣确实是王崎的老师，但是说实话，冯落衣对王崎指导，更多的还是在“算器”这一块上。纯粹算学领域，王崎是从“一阶逻辑完备定理”到“不完备定理”再到“结构主义”这样一路走过来，纯以此领域而论，已经超过冯落衣了。
王崎和冯落衣在算学思想上确实有继承与延伸，但是却并不完全相同。
而身为基派成员的陈由嘉，也确实学得很吃力。
“完全不知道怎么办……”
陈由嘉如此对自己说道。
越是学习，她对万象卦文理解得也就越是透彻。
如果将万象卦文推演到更高的层次，或者开发出几个平行的高级算器语言。
但是，也就止于此了。
如果结合王崎的“形式语言学”，说不定可以做得更好吧？
比如说，开发出一门针对高级语言的学问？
但这都不是她的最终目标。
甚至连次一级的目标都达不到。
她感觉自己好像身处黑暗的迷宫之中。尽管摸得到墙壁，但是却根本不知道应该往什么方向走，也不知道什么时候能走不出……不，甚至不知道自己能不能走出去。
“我真的适合做算学吗……”
女孩眨眨眼睛，陷入了自我怀疑之中。
就在这时，王崎突然一阵风一般冲进了房间之中，几乎原地翻了个跟斗。
他脸上是掩饰不住的兴奋，以至于都笑得有点恐怖了。他对陈由嘉说道：“来了来了……终于来了！”
陈由嘉一愣：“什么？”
“这个！”他突然用力将一本黑色封皮的册子甩到桌面上，几乎是吼出声的：“算君新作啊！关于兽机关集群的！”
陈由嘉瞪大了眼睛：“怎么会有这种东西？”
兽机关集群是仙盟最为核心的东西。这种极为机密的存在，也只对密级较高的修士公开。有资格持有的修士非常少，更别说研究了。这种东西，根本就没法在万仙幻境之中公开。
而算君就算写出了相关的论文，也没法随便给别人看。按照常理来说，大部分能看也会来看的，都是离宗弟子。
很难想象算君会做这种事。
王崎咧嘴：“就别管他是为什么要写了……我之前顺便给上面打了个申请，要求让一批人来共同研究，有几个名额。你现在在研究算器理论，是最有理由看的。要不要啊？”
陈由嘉惊了：“这不是明目张胆的公器私用吗？”
也不知她说的是指身为冯落衣弟子的王崎向冯落衣写这种名额的申请，还是王崎将有限的名额安排给她。
王崎咧嘴：“任性啊就问你一句，看不看？”
陈由嘉看向那黑色的封皮，没有来的心中胆怯，脖子缩了缩：“我……想一想吧。”
王崎摇摇头，做作的嫌弃了一下：“怕什么啊？”
陈由嘉摇了摇头。
“好吧，我先找其他人好了。”王崎拿起算器，挨个发灵讯：“赵师兄啊！我这里有个好东西，你有没有兴趣啊？什么？问我是什么东西？总之是好东西啦……魏师兄，我给你看个宝贝啊……戴师兄啊，你有没有空啊？”
数分钟之后，赵清潭、魏沧、戴太冲等几名基派核心，就坐在王崎书房内，在那一本黑色册子边上，围成一圈。
赵清潭喉结动了动：“这就是算君的……新专著……”
魏沧原本沉稳的表情也消失了。现在的他，脸上满是混合着**的恐惧。
戴太冲也无意识的点了点头，手动了动。
其他几人也是这样。
他们想要去拿，但是有不大敢。
王崎双手张开：“这就是今年最大的福利了，道友们。”
他手轻轻向上托举：“算君新作，阐释混沌拓扑网络的全新成果。如果吃透了，说不定你们也能考取操控兽机关的资格。只不过，这是机密文件，我也只申请了三个名额而已。你们谁想看？”
第九十三章 畏之如虎
听了王崎的话之后，书房之内的所有人都有了明显的意动。
兽机关集群有多强？看看现在的王崎就知道了。
王崎现在的本事，有很大程度上，就是靠兽机关集群撑起来的。
从最基础的来说，如果不是有兽机关集群化作黑伞，不停的收集恒星逸散的灵力，他的法力还不至于增长得这样快。
而也正是因为兽机关集群那庞大的规模，才使得他能够如此轻易的驾驭这力量。
不止如此，兽机关还给王崎提供了相当恐怖的战斗力，这种以“千变万化”为卖点的东西，到了王崎这种技能栏多得数不过来的强者手里，发挥出的作用就是无可想象的。
可以说，在未来，兽机关集群就将成为仙盟长生者的标配，使得仙盟长生者，可以快速度过刚刚呈现之后的孱弱时光。
但，话虽如此，有资格操纵兽机关的人，却是不多。
天眷遗族之中，也有类似的法器。他们管这一类法器叫做“儡蛊”。即使是对于天眷遗族而言，“儡蛊”也是出了名的“难操纵”。
当然，人族也是通过算法，极大的降低了这个难度。
但就算如此，现在有资格操纵这东西的仙盟修士，也寥寥无几。
冯落衣，图灵确实是有资格的。他们两个是算器理论的开创者，想要申请到资格不难。只不过，他们两个都属于年轻一代的逍遥，无需原理神州本土，因此也就没有相关申请。
太一天尊也确实是有资格。但是，他手上的兽机关集群，却已经结成了太宇宙光螺这件大杀器。在强大的重力之下，兽机关的微观结构都遭到了不同程度的破坏，早就失去了这样千变万化的能力。
仔细算来，现在有资格操控，也真的成了气候的修士，目前只有两人。
王崎和算君。
若是真的能够申请到操控兽机关集群的资格，不说比肩王崎吧，起码也能在证道之后，就直接一飞冲天。
这可不是一般的待遇！
想到兽机关集群的强大之处，几人呼吸都稍稍乱了一下。
但是，这种力量增长的诱惑，还不至于烧掉他们的理智。
赵清潭举起手：“等一会，师弟，我得先跟你确认一下……这是已经成熟的理论吧？没有什么未解明的东西吧？”
成熟的理论和未解明的问题，自然要做不同的处理。
这么说吧，在很久很久以前，二元一次天元式的通解，都能作为数家门派的不传之秘。
现在的蒙学子弟，在学习二元一次天元组的通解，也就是所谓的“消元法”的时候，自然不会心力交瘁。
但是，证明“消元法”能够应用在所有二元一次的场合，却是一桩艰巨的任务。
历史上，因此耗尽心力而不得门入的修士，不在少数。
如果这手稿，是算君写给别人看的，都是写简洁明了的应用与说明，那么，自然是可以看的。
可若是有一些算君还没想明白的地方，那就……得在考虑考虑了！
王崎皱眉：“至于这样吗？”
赵清潭隐晦的指了指天上。
云中君柯兰荫现在就在他乡的天宫上住着咧。
跟算君飙思路，玩脑力风暴？
真是不要命了。
王崎思忖片刻：“我老师冯落衣说，这是算君写给人看的，所以，应该是用人话写的。不过，兽机关集群，也确实是一种非常前沿的东西。算君也不可能解答一切问题。所以，里面还是会不可避免的出现一些……探讨性的内容？”
所有人都不由自主的后退半步。
王崎扶额：“你们退什么啊？难道这专著会吃人不成？”
“怕废了。”魏沧言简意赅，赢得一片赞同。
“柯前辈那是非要跟算君有来有往啊！也没人逼着你们一定要写论文回写算君，然后等算君再写一篇过来吧？”王崎叹息：“有点出息好不好？”
“事关前程。”赵清潭说道：“我觉得，我专心基派现在就有的领域，就挺好的。”
说着，就转身离去。
只是，在出门的时候，他还是忍不住转过身来，盯着那书稿看了一眼，才下定决心离去。
如果将基派比喻成羊群，那赵清潭一向是基派的领头羊的。尽管王崎是个羊倌，但有的时候，羊倌的号召力就是比不过头羊。
“对啊对啊，我也觉得，现在的一亩三分地，能做好就不错了。”
“我也还有任务呢……算学根基，也不是那么容易的。”
“是啊是啊，王师兄，我们就先离开了。”
王崎心中暗暗叹息。也不知道谁才是穿越的……怎么我想开辟新领域的时候，你们就陷在布尔巴基学派的圈子里不肯出来咧？
走到最后，只剩下陈由嘉和戴太冲两个人。
戴太冲也是最先加入基派的元神期修士，现在是元神期大圆满的修为。他不像赵清潭、魏沧那样早早扛起大梁，也不想苏君宇陈由嘉那样有极高天资，在基派之中声名不显。
当然，注意，是“基派之中”。
扔外面去，那也是旁人不可想象的鬼才一流。
“戴师兄，你感兴趣？”
王崎问道。
戴太冲表情相当耿直：“确实有点，毕竟……兽机关啊，谁不想要呢？”
王崎指了指上面：“想好了？”
“干什么没风险呢？”戴太冲语气之中自有一股豪气。但他很快话头一转，说道：“给我一点时间，让我交代完手里的任务。毕竟，基派也是一个大整体，任务不能落下。”
王崎失笑：“你还真是视死如归……”
“有点追求嘛，总是好的。”戴太冲如此说道。
王崎开始严肃的思考了起来。
布尔巴基学派的风气，确实和万法门现在的风气不大一样了。
不理会那些著名的难题，也不理会实际的基础，专攻“根基”。
说了不起，也确实是了不起。
但是，这个世界，所有的研究者，都必然是修士。
而每一个修士，都得兼任“工程师”的专业技能。
而原先的布尔巴基学派的问题就是……太高山流水了。
这倒不是说“曲高和寡”一类的问题。布尔巴基学派的应和者倒是为数众多。
在二十世纪的后半叶，布尔巴基学派统治着数学界。他们改变了这个世界。几乎没有数学家的工作能够完全绕开这个学派。
哪怕是“被布尔巴基学派忽略的领域”，也会受到布尔巴基学派的影响。
这就是“根基”带来的影响力。
但是，这些纯粹算理，在短时间内，也只能体现在“优化数学工具”，然后修士们再用这些优化过后的数学工具去优化自己的功体。
王崎得自己开辟出一条通向应用的道路，让基派算学，和修法有更紧密的联系。
这才是这个世界正确的升级方式。
但是，他这个人向来小气，自然是不愿意抛弃布尔巴基学派已有的任何一个领域的。
换句话说，他必须做到比布尔巴基学派更强的程度。
比那个布尔巴基学派更强！
比包含格罗滕迪克的布尔巴基学派更强！
如果放在二十年前，王崎恐怕想都不敢想
但现在，他不但敢想，还敢去做。
“既然没人要剩下的名额，那就派给苏师兄好了。”王崎如此说道：“反正连续统也算是算理逻辑的范畴，跟算器理论也是息息相关……写封信去问一问好了。”
说着，他就拿起了那一本册子，自顾自的翻了起来。
极微兽机关是一个别出心裁的造物。它本身是分子级数的东西，利用缥缈宫法门作为狂阶，由千机阁完成设计。
其中，稳固的碳原子，以及活泼的氢原子、氧原子，构成了极微兽机关最核心的计算部分。这个部分，也就一二十个原子大小。
这也就意味着，极微兽机关极限处理能力不会太强。
只有十几个字节而已。
哪怕这些原子都被炼制成了量子比特，单个的兽机关也不会有多强的处理能力。
而兽机关的外围部分，则是金属元素构成的机械臂。利用元磁之法驱动。
单个的兽机关，处理能力非常小，只能预先存储一个很小的指令集。另外，其运动能力、传输能力都非常的有限。
单个的极微兽机关，几乎不能被视作“算器”来处理它最多也就是个微型图灵机罢了。
实际上，单纯的兽机关集群，几乎不可能胜任“算器”的工作。
你见过哪个算器的逻辑门位置是可以呈布朗运动的？
以兽机关拼造算器，让它扮演集成芯片的做法，当然也可以。
但是，这就意味着，兽机关最终也就只能拼成一个炼制手法一般的算器。
而若是将兽机关作为网络节点，编织网络，那问题就更大了。
单个的兽机关，能力实在是太弱了。它们就算能够发送灵犀，也很难被直接检测到，很难接受。很显然，这样微弱的灵犀，一旦距离远了，个体多了，就只会形成噪音。
这样就没办法构建“服务器”一类的中心化结构了。
第九十四章 算君的大招【第三更】
“网络”既然叫做网络，那么就得有个“网”的样子。
准确来说，就是“每个节点都是固定的”。
是，地球的网络，确实是有移动设备。
但是，所有移动设备，都得通过一种叫做“网卡”的链路层组件，获得一个不变的“地址”也就是被称作ip的东西。
在网络层，所有ip都是唯一的东西。
但是，极微兽机关是没办法用这种东西的。
因为，通过就那么几个字节的大小，也没法做出网卡的效果。
这样小的终端面前，“七层协议”实在是太大了，根本没有用武之地。
所以，不管是将兽机关集群，当做一部单独的算器，还是当做一个网络，都是非常失败的。
甚至连“区块链”都不可能适用于这个概念。去中心化的网络，依旧是网络。
就这么说吧，区块链，得是一群遵循相同规则的人共同处理信息。
但是，极微兽机关的个体，实在是太小了，根本就不足以写下那样复杂的“一整套规则”，更别说“共用”了。
研究出“儡蛊”的天眷遗族，大抵也是卡在这一步的。
兽机关这个概念的出现，也只是冯落衣以算学思维建立生物学模型的结果。
补充能量，繁衍。
只要做到这两点，就可以认为是个“生物”了。
冯落衣很早就探讨过，想要做到这两点，最少需要多复杂的结构。
王崎的元胞自动机很形象的解释了这一点。
能够玩俄罗斯方块的像素点，就差不多够了。
千机阁也是在这个基础上，开战了关于“模仿生命的机关最小能做到什么程度”而展开的研究。
甚至可以说，兽机关集群，最初在生物学、工程学上的意义，都大于它在战略上的意义。
毕竟，作为采矿工具的话，大型兽机关，其实也够用了。
在很长一段时间里，这些东西，都是鸡肋一般的待遇，食之无味，弃之可惜。
而算君却将它利用了起来。
每一个兽机关的运动轨迹无法预测，群体的结构混沌莫测，那就干脆不测，转而用一种“非线性”的思路去做。
应当说，算君也是非线性问题的开创者。
也就是“三体问题”。
怎么说呢，很长一段时间里，神州修士都觉得，之所以存在非线性问题，是因为人族的理论不够精深，太过浅薄，计算方式有误。
这种问题很早就暴露了出来。
地球上混沌数学很晚才出现，有很大程度上是因为人脑的计算力不够，他们将“无法预测”归类为“计算量跟不上，算不清楚”。
但是，神州修士的心力极强，计算力堪比超算。
唯一限制他们的，就是“知见障”。
征天司初立，所有逍遥都做出共同的决定，留一部分人在神州，主力远赴星海。
算君从来就是对“用”更感兴趣的。所以，他也蛮愿意去见识一下外面的世界。
而在那个时候，其实他就已经有了关于“混沌”的想法。
只是，算君本人**文的态度，却远不像他看起来那样激进。
他并不是刚刚发现混沌算法，就直接将之公布，而是闭门憋科技。
而也就是在这个时候，他将注意力放到了极微兽机关上。
那个时候，“兽机关”更多是指会自我复制的大型采矿机关兽，而不是极微兽机关。
不过，就算是大型兽机关，其管理也很成问题。
为了避免兽机关太过集中，导致资源开采效率降低，所以它们也是有一定的行动规则的。这套规则决定了他们的行动会受到同族位置的扰动。
而当兽机关数量足够多的时候，这就是一个难以控制的混沌系统。
极微兽机关就更是如此了。物理法则就决定了它的混沌属性。
算君最开始的思路，其实就是这个世界“算器”的起始。
也就是“神经网络”的模拟。
但是，这个努力注定是失败的。
但是，就在这一步，算君居然想出了一个让王崎都感觉惊异的想法。
他并非是将单个的兽机关作为一个整体，而是将多个兽机关视作一个共同运动的整体。
任何一个兽机关，都能与任意的几百个兽机关，组成一个整体。它们通过自身的灵讯机能被联系在一起，共同运动。
就好像凝聚态里经常涉及的“振子”一样，并非是将单个原子，而是将复数的原子视作一个运动的质点。
这一套规则之下，这样的“振子”可以随生随灭。在它运动的过程当中，不断的有极微兽机关掉队，又不断的有极微兽机关补充进来。
当然，这样子，依旧不能解决不可预测的运动，导致信息丢失的问题。
但是，算君解决问题的思路，真的让人拍案叫绝。
既然信息丢失不可避免，那就将这些丢失的量也纳入考量之中，用多组“振子”去传递一段相同的信息。
这也是量子算法所采用的方式。
既然量子比特无法预测，那么就用更多的量子比特来弥补这一点。
简单粗暴，但是确实很好使。
组成“振子”的规则，简短到不可思议的地步。它只占用了单个兽机关一半不到的资源。
很显然，算君在编写协议上，也是超乎想象的强大。
剩下溢出的部分，就是随用随写随擦除的灵活部分。
在这样的网络之中，信息的传递，也确实会是一个非常随机的过程。
但是，就算人类所面对的物质世界是“随机”的，这随机，也得遵循名为“大数定理”的法则。
必然会像统计学理想概率收束。
在这个网络里，信息并不是点对点的传播不存在“节点”，不存在“中心”，更不是什么“p2p”。
而是通过一套基于混沌的算法，像声音那样传递。
在算君眼中，这个传播，是非线性的连续过程。
这样，便是基本上使得兽机关集群，能够自己负担起操作自身所需要的计算资源了。
还有些许结余。
当然，这个结余的量不会太大。就算是覆盖大地的兽机关，计算力也就相当于超算了。
绝大多数来自于兽机关本身的计算力，都被消耗掉了。
应该说，其中真正起作用的，反而是少数。绝大多数的计算力，都因为技术原因，而被不可避免的消耗掉了。
不过，这不并不是“浪费”。
没有这个“浪费”的算法，兽机关也就只能向造太宇宙光螺那样，成为……不错的法器炼材。
正是因为“浪费”了那些计算力，整个集群才能动起来。
而且，这也仅仅是微观层面的。
实际上，只要集群的规模足够庞大，这个集群整体，就会出现个体所不具备的，全新的功能。
这个过程，就叫做“涌现”。
生命，智慧，全都是“涌现”的产物。
更大的群体上，神道，兽群种，天妒种，都是这种现象的产物。
算君将更多的目光，放在了涌现后的功能上。
在这一层，兽机关集群，甚至可以容纳经典的冯氏架构，或者嫁接万仙幻境的高层。
但是，算君其实也只是看在万仙幻境够发达的现状下，赏个脸罢了吧。
“真是可怕的家伙。”王崎喃喃：“类似于量子算法的算法、天物流转之道、混沌算法、网络协议……还有这个……我勒个去，函数编程都出来了。”
函数编程，就算在二十一世纪，也算是高级技能了。
当然，如果将兰姆达演算这种遭遇图灵机的玩意也算上的话，函数编程的历史确实很长。
但是真正要用上，也是九十年代才有的事情。
“不愧是算君一个人憋了几十年的大招，牛逼。”
就算是王崎，也只能表示叹服。
这可是平行于仙盟现有算器理论的技术，而且还有很多超前的概念。
就算扔王崎所知晓的二十一世纪，也一样相当超前。如果将这东西扔到二十一世纪，一样会被全地球所有的计算机专家，当成神仙供奉。
这是什么概念？
这大约就意味着，人类可以扔了所有卫星，所有基站，所有服务器，就凭移动终端，就可以在城市里打造出智能网络来。
也就是功能和现在的网络不一样罢了。
到那时，大概只有人迹罕至的地方需要额外的信号放大设备了。
王崎之前对兽机关集群，也算是有所了解了。借助自己前世那些最前沿的概念，甚至是只存在于科幻小说中的设想，他才面前能够理解这玩意。
而现在，就好像是算君在亲自为他讲解这个东西。
宇宙身处，数道阳炎长河的尾端，一颗纯粹黑色的天体内部，一场蜕变正在展开。
在“外壳”之下，站立在信息层面的虚相功体如同激荡的熔岩一般。而物质层的法力，则经历着天体级别的大陆再造。
但这一切，都是在沉默之中完成的。
整个大日疆域之中，只有柯兰荫心有所感。他抬起头来，看向王崎本体所在。
“居然又有精进吗？后生可畏，后生可畏啊……”
他脸上的表情，混合着欣慰、喜悦、悔恨以及遗憾。
第九十五章 一瞬的灵感【第四更】
之后的几天里，王崎的进步都是飞快的。
在过去，他也不过是利用起了这个兽机关集群宏观层面涌现的部分。
而现在，他已经涉足了兽机关集群的底层。
其实，宏观的层面，就够他玩的了。在之前的战斗之中，王崎还没有见过几个能够超过这个“宏观层面”能力范围的敌人。
他甚至都不怎么需要精密控制。天体妖灵级别的法力储量，实在是太足了。阿露儿、真炎神这种“法”、“术”上强出他好多倍的修士，都被他用“贵的方法”生生砸死。
如果只是为了应付这种层次的敌人，那么他甚至都不需要深入更底层的部分。
浅层就足够用了。
实际上，炼体修士，也不需要知道细胞结构，知道中心法则。他们只需要打熬身体就足够了。
不过，元婴法对生命本质的突破，却始终会深入更微观层面的。
而现在，他突破了藩篱。
这种巨大突破，不亚于从“非长生”突破到长生境界的“登仙”。
如果能够吃透算君这本书的话，那么王崎的实力就会像那些刚刚登仙的修士那样，在现有增长的基础上，实现对数式暴增。
所谓对数式暴增，也就是在某个点后，一开始增长得飞快，快到不可理喻的程度，但是后来越来越慢的那种。
绝大多数修士的修炼，都是线性增长。
大境界的突破，就是对数式暴增了。
不过，王崎倒也不是稀罕这一个“对数式增长”。
就好像“摩尔定律”在触及量子力学之前，是指数式变化。
海神类特征、规避合道极限的秘法……这些因素加起来，使得他王崎的法力，在触及极限之前，也是指数式变化的。
黑色的天体之内，无数的算符随机生灭。
功力每流转一周，王崎的本体就精进一分。
简直爽到不行。
不过，这种“触摸底层”，实际上是有限的。
算君的底层协议，被设置成了物理上的不可改写。
三个碳原子用被固化的键扣住了周围，形成了固定的分子，储存了不可改写的底层协议。
而兽机关集群所有自我复制，都会将这一特征带进去。
整个机关设计得极为巧妙。这部分甚至是兽机关整体最为坚固的部分，也是大框架的关键接合点。如果有仙人想要凭借那深入微观的仙力强行改写，那么兽机关就会直接散架。
所有极微兽机关都是这样的。
在算君之前，千机阁制造的那些不带有这种协议，需要大量万仙真镜子器辅助运行的极微兽机关，也就是“极微兽机关0.xx”版本，全部都被用于制造太宇宙光螺了，被庞大的引力彻底粉碎，连一个个体都没有保留。
现在的“极微兽机关”，全部都是这样的“1.xx”版本，全部带有这个算君研究的底层算法。
也就是组成“振子”的规则。
不过，越是深入了解，王崎就越是意识到一件事情。
这个技术，确实是平行于神州经典的冯氏架构算器没错。
但是，它的内核，也确实没有超出已知算学所容纳的区域。
里面有一些关键的东西，能够在地球的后续发展之中找到。
两个平行的科技树，本质上都是藤本植物，都攀附在名为“数学”的乔木之上。
它们的根基是一致的。
“如果能够将它吃透……不，是必须将它吃透啊！”
王崎如此想着。
他在他乡书房的身体，终于放松下来，将手中的书稿，倒扣在桌面上。
“走得很远……比神州更远，比我更远，甚至在一些方面比二十一世纪的地球更远……”
“而在理论层面上，只要稍微走远一点，效果就会经由‘黑箱’而成百上千倍的放大……”
“当然，不可否认的是，在信息传递的过程中，算君选择灵力作为载体，就很好的运用了灵气‘向有序区域汇聚’的物理特性。就算有同样的算法，地球也开发不出能够将之实现的物理层……这是这个宇宙独有的技术……”
“但是话又说回来，电子计算机，也是运用了半导体与电子的物理特性。”
王崎如此想着，脸上露出了由衷的笑意。
“真是厉害啊。”
“不过，只要将它解析出来，那么，它就会变成我的东西了。”
念及此处，王崎开口问道：“我看了几天了来着？”
“五天，神州日。”陈由嘉面前写废的草稿纸越来越多了。
整个人缩得更小了。
王崎手一挥，一团墨水从瓶中倾泻而出，然后无数张纸腾飞而起。王崎手一挥，那些墨水分散开去，打在纸上，化作无数文字。然后，王崎热力一运，那些墨迹瞬间干了。无数纸张落在他的掌心，分成三摞。
“复印了三本。”王崎点了点头：“话说苏师兄有回应了吗？”
“苏师兄说，他最近一两个月抽不出空，不过名额可以有。他叫我们自己先研究着。”陈由嘉盯着王崎。潜台词是“他分明是叫我们先作这死再说”。
王崎严肃的点了点头：“终于有人敢看了……”
“你脑子是被什么踢了吗？他明明是要看我们看完之后死没死……”
王崎故作惊讶：“这几天你趁我神游天外的时候踢我脑袋了？这可不行？”
陈由嘉脸颊微微鼓起，呲牙。
王崎抬起手，将一本复印本交给陈由嘉：“怎么样？还想不想要？”
陈由嘉看了王崎一眼：“看你蛮有收获的样子？”
“嗯，很得启发。”王崎点了点头：“而且是应用层面的，安全。”
陈由嘉刚刚抬起手。但是，王崎突然手一缩：“不，我仔细想了想，还是别一个人看吧。我毕竟情况特殊，是天才……”
“在认识你之前，我也是百年一遇的天才。”陈由嘉劈手夺过复印本。
王崎却似不放心，叮嘱到：“别一个人的时候偷偷看啊，我的灵识会始终覆盖在这里的。”
“灵识覆盖，不应该是‘放心看’的意思吗？”
“我整体在蜕变之中，这个肉身能够调用的力量有限啊。”王崎说道：“而且，道心崩溃，是外人救不了的。”
陈由嘉挥挥手：“有事就去做。”
王崎拿上另一本复印本，去找戴太冲。他出门还不忘回头：“别冒险啊！”
“去你的吧。”
……………………………………………………………………
几天的时间，也足够戴太冲完成手上事务的交代了。
他也随王崎来到书斋。
“我这几天打算研究研究这个，由嘉呢，未来一段时间都会专心研究算器理论，所以戴师兄，你就暂时在这里。”王崎指了指书房边一张备用书桌：“毕竟，这书，不可否认，也确实存在一定的风险。”
由于算君而道心崩溃的云中君柯兰荫就在他乡，众人自然是不敢不防。
戴太冲点了点头：“理解理解。”
因为新发现与过去的发现有巨大矛盾而道心崩溃，停滞不前，确实是可以理解的。
但是，单纯是因为思路无法跟上对手，而导致道心崩溃，就骇人听闻了。
算君的凶名，可是无数天才堆积起来的。
鼎盛时期的算主，也无法等闲视之。
确认所有研究者都在自己眼皮子底下之后，王崎才让另外两人翻看这一部分内容。
戴太冲看了几行，却是“咦”了一声。
王崎问道：“怎么了？”
“啊，这个公式……”
两人交流片刻之后，王崎一巴掌拍在自己额头上。
算君这个算法的基础，混沌理论，是布尔巴基学派没有涉猎的领域。
换句话说……
现在的基派，一样也没有研究过。
“咱们还是先从混沌说起好了……”
而与戴太冲不同的是，陈由嘉只是看了几页，就沉浸了进去。
不一会，她就有了自己的设想。
由于王崎创建“形式语言学”的过程，她全程有参与的关系，所以，她也学会了某些全新的思维方式。
她能够感觉得到，算君其实也有使用算器语言。
但是算君所使用的语言，跟过去的完全不同。
可那依旧是“语言”，依旧在“形式语言学”的分析范围之内。
她想，或许可以通过从语言、逻辑的层面，来剥离算君在“语言”、“路秩”层面的思想，规避在物质层面的想法。
她看了王崎一眼，发现王崎正忙于将一大摞书扔在戴太冲的面前。陈由嘉觉得现在不是开口的时间，所以打算自己沿着这个思路思考片刻。
真的，只是稍作思考而已。她只是打算稍稍思考一两分钟，然后组织一下语言，在于王崎交流的时候，更有效率。
可灵感偏偏就在这一瞬间击中了她。
她感觉到了那些隐藏在算君的算器理论之下的，那熟悉的东西。
这是她之前几天思索过的东西。
陈由嘉手一翻，取出了冯落衣最新的论文。
语言……逻辑……
无限公理……
自我指涉……
在过去，她独自咬牙在这一片迷宫闯荡。她一次又一次的撞击墙壁。她以为那只是徒劳。
但是，现在，墙裂开了。
她面前的，是一副左右两侧都已经完成的拼图。
第九十六章 世界观碎了一地
陈由嘉醒过来的时候，脑子还是木的。
她感觉自己的脑仁似乎被换成了一个铁疙瘩一般，还在嗡嗡作响。
王崎就坐在她对面，膝盖上还放着一本书。但是他没有看，反而叹息一声：“由嘉啊……你在搞什么啊？”
陈由嘉张开嘴：“我可能……”
“我在那边还在聊着呢，你就直接咣当一下脑袋砸桌子上了。”王崎叹息：“你知不知道啊，戴太冲那家伙，当时给吓得，就直接请假了，说要回去换换脑子……”
陈由嘉张开嘴：“王崎，我……”
“真的是……想不出来就不要强行想好不好？你不觉得累啊？啊？上一个这么做的人，可还在天上看着咱们呢！”
“你让我说……”
“我之前是怎么跟你说的？啊？注意安全。不要想着和我比，我不一样啊。”王崎叹息：“你怎么就是不听呢？”
“给我……”
王崎觉得自己情绪酝酿得差不多了：“你知不知道，我很担心……”
“让我说完！给我纸笔！”
王崎目瞪口呆：“我觉得现在气氛很好的啊……”
陈由嘉咬咬牙，手一挥，三张纸和一杆硬笔自动跃入她的掌心。但只是这个动作，就已经让她脑袋一疼：“唔……”
“我刚才说什么你没有听到吗？”王崎皱眉，是真的有点不高兴了：“唯有生者，可闻大道……”
“我知道了！”陈由嘉开口：“我知道算君的做法了……那个……就是……”
啪的一声，她握断了笔杆。
王崎只得再抽了一杆笔，放在她手心：“别着急，别着急……你到底是想到什么了？”
“算君的思路和我……和你们一开始就不一样。他使用的定义……他对算器语言有一套自己的理解。”
陈由嘉在纸上刷刷的写着，口中则解释道：“他的思路和你，和冯落衣前辈，都不一样。离宗和连宗的差距。”
王崎点头：“确实啊，但是……你找到了差距？”
“两者对比，可以提取出一个全新的概念。就好像你的那个‘形式语言学’一样……对语言……不，不对……”陈由嘉一时之间也找不到合适的词汇去形容这种差距。她也只能默默写着。
王崎却是了然。
陈由嘉刚才莫名其妙昏迷，是因为她猛然触及道了一个“灵感”，然后不住不绝中调用了全部心神，导致脑力消耗过度，过载了。
但是，修士就是这点好。
一瞬间的过载，换来的可是实实在在的成果。
王崎就看着陈由嘉慢慢的写着。
很快，一大圈算符就跃然纸上。
王崎一愣：“你在干什么？”
陈由嘉睁大眼睛，瞪着他：“我刚才触及了算君那成就之中的算理……很模糊的感觉，但是另外一个修士的论文之中，其实有提到……这毫无疑问是连宗思路，只不过有连宗修士用离宗的方式将它表述了出来你看看这个？”
说着，陈由嘉挣扎的从床上爬起，却发现这里已经不是书房了。
“那一摞论文呢？就是那……那……那神州土特产？”
王崎明白，陈由嘉这确实是领悟到了什么。他生怕打断这种状态，直接掏出了论文：“你看，这就是……”
陈由嘉一手将那些论文躲过，然后找出一篇：“嗯，在这里。”她快速的扫了一遍，然后扔给王崎：‘你也看看……他重新定义了逻辑。’
王崎眨眨眼：“海霆……哦。”
主动学习离宗技巧的连宗逍遥。王崎还有印象。
“他和算君同属于连宗，所以这套表述，就很接近算君了虽然，虽然，感觉，就那种感觉，并不是一致的。”陈由嘉平时就不怎么爱说话，现在更是词穷。她只能用手指戳了戳论文：“你看看这个，就这一段……”
“嗯，很有意思……”
“这个，通向算君的成就。”
陈由嘉如此说道：“这个是一篇钥匙，钥匙，指向了……”
她急得跺了跺脚。头疼让她更加难以阻止语言了。
王崎看着那些论文，却渐渐愣住。
他抖了抖另一篇论文：“难道是冯老师这篇？”
“没错，这也是一部，但是不是全部……”陈由嘉接过论文，也扫了一通：“通过良基集的研究，证明无穷公理的安全性……方向……就是，方向……”
陈由嘉拍了拍脑子：“辰风……辰风……辰风……唔，以前听说的，叫什么……叫什么算君那本……算了，暂时先不能看。我记得算君有说过，他最开始的尝试……”
“模拟脑神经系统……”王崎思考片刻，脱口而出：“卷积变天式？【卷积函数】”
在地球上，“人工神经网络”的历史，比计算机还要早。早在一九四三年，就有神经生理学家和数学家合作，研发人工神经网络。但是单个人工神经元甚至无法计算异或。多个人工神经元连接成网络就可以克服无法计算异或的问题。但是对于这样的网络多层感知机网络，当时的人们没有发现训练它的方法。当时的学者认为，这样的网络是没有前途东西。人类无法在这样的网络之上进行工作，或者像今天这样训练他们。
直到他们引入了一种叫做卷积函数的数学工具。
不同卷积函数的组合，可以很好的模拟神经系统的脉冲状况。
只不过，这个过程，在神州是反过来的。
由于灵气带来的巨大技术黑箱，图灵真人第一次尝试，就完成了原始算器模型，然后发现这东西呈现出了卷积函数的特征。
多年之前也算是阳神阁和万法门的交叉部分了。
只不过，现代算器发展之后，这部分的研究就不那么重要了。人们要的不是“像人的算器”，而是“具有特定功能的算器”，或者“像算器的算器”。倒还有人在研究它，但研究者还是阳神阁的居多。
“算君的设计……你还真别说，从这一点上还蛮复古的。”王崎点了点头。
“由于这个，我抓住了算君的思路……所以也看穿了一点。他使用的‘语言’，也是自成一体的。”陈由嘉点了点头。她一辈子都么说得这么快过。她继续指了指冯落衣的论文：“良基集的超穷总体……这是一个思路……这个……”
最后陈由嘉也没有找到合适的词，只是说：“这算是一边。”
然后，她又说道：“你的形式语言学，算君自成一体的语言，然后那个……现有算器理论，是另一边。”
“在冯前辈、海霆前辈的逻辑基础上……我完成了……形式语言学那样，对‘语言’的定义、分类……”
陈由嘉舒了口气，然后继续写下去。
王崎却突然石化了。
“嗯，虽然说……有点怀疑，牡丹石，不会就是‘那个’吧……”
王崎喃喃自语。
很快，陈由嘉就写好了。然后，她才安心的倒在床上。
“我勒个去，不是放下最后一点执念然后升天了吧？”王崎急忙拍了拍陈由嘉的脸。
然后被一巴掌呼开。
“嗯，还好只是累了。”王崎点了点头，然后看了看陈由嘉写下的东西。
咔……咔……
地板无声无息的裂了。
轰。
桌子粉碎。
就连床到垮了。
结果，片刻之后来探望陈由嘉的赵清潭被吓到了：“你们两个，玩得这么粗暴吗……不是我说，师妹刚刚心力耗竭……”
“不，只是我稍稍有些法力外泄而已。”王崎揉了揉自己的脸，手一挥，所有碎片开始还原。
而这个过程当中，陈由嘉还昏睡着。
王崎摇摇头。
“你怎么了？”赵清潭很是好奇。
“如果我说，算器领域，注定是连宗的天下，你信不信？”王崎没头没脑的问了一句。
赵清潭打了个哆嗦：“算君真的如此厉害？”
“不，只是我一时被震惊了，胡言乱语而已。”
王崎扶额。
就在刚才，他突然意识到，自己好像产生了什么根本性的错误认知也就是一重知见障。
他刚刚想起来，地球上计算机科学的支柱，是直觉主义……
直觉主义……
居然是直觉主义啊!
怎么说呢……
由于这个世界，苍生国手冯落衣一直都在，机老图灵一直都在，算器理论算是蓬勃发展了。他也下意识的就认为，这个领域就是离宗的天下。
嗯……
这么想，也不是不对吧。
毕竟，冯诺依曼、阿兰图灵等计算机研究先驱的同位体，在这个世界，确实都是旗帜鲜明的离宗算家。
但是，地球计算机理论的后续发展，跟这个世界，完全不是一路。
除了诞生得更晚，只能说是“偏向连宗”的逼近论外……
计算机科学三大支柱之中的直觉主义、类型论……
按照这个世界的分法，全部都是……
连宗的算理……
没错，虽然形式主义和直觉主义水火不容，而计算机是形式主义数学家鼓捣出来的。
但是，后来计算机发展，却是仰仗了亨利庞加莱的一干徒子徒孙！
第九十七章 灵气宇宙技术史的风格【第二更】
王崎失魂落魄的说道：“想不到啊想不到……平素里，我居然也会产生如此严重的知见障……真是，一刻也放松不得……”
王崎如此说道。
怎么说呢……
地球的数学史上，形式主义与直觉主义的战争，确实是打得惨。
但是，打完之后的故事，就不是那么脍炙人口了。
往后一段，数学史大书特书的就是布尔巴基学派，就是掌握了数学半壁江山的教皇格罗滕迪克，就是朗兰茨纲领。
至于形式主义和直觉主义……准确来说是新形式主义和直觉主义，倒是也是有人在搞。
但终归是边缘了，在历史上也就不那么耀眼了。
嗯，怎么形容呢……
历史系研究清代史的，总比研究南明史的要多一些不是？
明朝在如何“天子守国门，君王死社稷”，南明也只是一条丢了祖上基业的咸鱼，连逐鹿的资格都没有。
史爱好者看到崇祯这儿，也就算了，有多少人还会专门研究南明这条咸鱼呢？
大概就是这样了。
说实话，直觉主义和形式主义的徒子徒孙，在后续也不是没有成就的。
比如后面的递归论，可以算是典型的“离宗成就”了。
但无论是离宗特征明显的递归论，还是连宗特征明显的类型论，它们都有一个共同的特点那就是属于计算机科学的一部分。
或者说，干脆就是依附于计算机科学而活的。
换言之，都是计算机科学麾下的打工仔。
这也确实称得上是凄凄惨惨戚戚了。
在亨利庞加莱晚年的时候，初出现的直觉主义，就好像西周王朝一样，乃是天下共主。
而大卫希尔伯特时代的直觉主义，就好像是东周王朝一样，空有一个“正统”名号，却没人在乎它了。
如果考虑到形式主义、直觉主义和逻辑主义三方混战的场面，或许用“蜀汉”和“东汉”来比喻更为合适？
而到了更后面，直觉主义就越发弱势了，几乎就是个弟弟。这就好比是战国时代的周王室后裔，说出去吧，也算是个身份。
但是那边的布尔巴基学派都要奋二世之余烈玩“秦王扫**，虎视何雄哉”了，谁还在乎你区区“周王室后裔”来着？
到了那个时候，形式主义和直觉主义，也就只能搞搞应用了。
“数学根基”这种涉及九鼎的正统之争，他们掺和不了。
这也是王崎从歌庭派抽身而退的原因。歌庭派传承有序，就算当初何外尔真的愿意给他一定的权限，他也没法扭转歌庭派那种风气，来复刻布尔巴基学派的成就的。
就算算主不再，何外尔，艾若澈，都是相当强大的算学家。
他没法一下子就建立起自己的影响力来。
但是，不管怎么说，布尔巴基学派，按照这个世界的分法，都算是离宗学派了。
他是断然没想到，“类型论”这个典型的连宗成就，会诞生在一个基派成员手里。
尤其是这个成员还是他老婆。
“世界观都要受到挑战了啊……”王崎捂住自己的脑袋：“妈耶，妈耶……”
赵清潭也是僵住了：“这怎么可能……”
“是啊……这怎么可能？”
赵清潭一愣，惊到：“难道说，算君的一本书稿，就能将一个离宗弟子，洗成连宗弟子？这么危险？”
“这个……好吧，由嘉她小时候其实更喜欢应用方向来着……说不定她是我们当中最不在乎离宗连宗分野的人。”王崎这么说道。
赵清潭却是不敢看那算君书稿了。他直接问王崎：“师妹到底想出了什么？”
王崎一愣。
…………………………………………………………………………
天宫之内，柯兰荫松开了自己握着天剑的手臂。
他发现自己背后已经全是冷汗了。
“真是吓人啊……”
他很难形容刚才那一瞬间，王崎整体发生了什么样的异变。他觉得王崎的气息突然之间变得像个炸弹一样，好像随时都会崩溃一般。
那个时候，他几乎以为是龙皇预言发作了。王崎就要完蛋了。
而他天体妖灵级数的法力，也会给这个大日疆域留下难以磨灭的影响。
但幸好，这种感觉只有一瞬。
但是，柯兰荫却还是感觉到一丝惊惶。
“这种活儿不能让我一个老头子来干吧……真是，我都落伍多少年了……”云中君无奈的自嘲道。
应该给打个申请，让他们多派一两名逍遥过来的……
最好还得是那种强力一点的，不然还真干不过这个晚辈。
……………………………………………………………………
在地球历史上，“类型论”是用来突破哥德尔不完备定理的尝试。实际上，它多少也成功了一点。哥德尔第一不完备、第二不完备都被接连突破。
只不过，这也只是“浅层”而已。
哥德尔不完备定理，至今没有被完整的突破过。
直觉主义一向是将“数学”看做是人类智慧的构造性活动的。
在计算机日益发达的时代，直觉主义的研究者，就提出了一个全新的口号。
“定义即构造，构造即证明，证明即程序”。
他们打算借用形式主义者开发出的计算机器，来证明自己的数学理论。
研究一个类型级别的数学实体，就需要比这个类型相等或者更高的元数学。
所以研究涉及无穷超穷的数学实体，就成了需要无穷超穷的元数学。
而直觉主义是不承认“无限的实体”存在的。
就好像物理世界不存在一个“无限实体”一样。
最最严苛的类型系统，是没有循环和自指的。
因而，这个系统，即使是涉及到“无限”的问题，因为并不会造成无限的逻辑回环，所以仍旧可以停机。
因为强规范化的类型系统，都是有穷终结的，也就是一切函数都可以停机并且给出唯一结果。
不存在自我指涉与无限循环这两个停机问题上的幽灵。
这是在牺牲图灵完备的前提下，对停机问题的一次利用。
也就是说，“类型论”是基础数学领域的成就。
而由此衍生的，就是一种绝对可靠的计算机语言。
或者说“一类”。
也就是“强类型”语言。
由于是“最严苛”的系统，所以强类型语言的自由度真的很低。尤其是其中的“强规范类型”，由于牺牲了图灵完备，所以这种语言非常容易发生逻辑上的矛盾。有一点错误就会产生直接停机。
不过好处就是，这种类型的语言，永不出错。
可说真的，你听说过可以号称“永不出错”的语言吗？
你的windows没有蓝过屏？你的安卓没有死过机？
那却是因为，强规范类型，真的不是一般人人玩的。
正是因为如此，强规范类型语言，并没有在码农之中流传开去。想要用好强规范类型，就必须背下和推算一大堆指针和参数的类型。只有完全对得上，程序才会运转。有哪怕一点对不上的，就会直接停机。
这就是牺牲了“图灵完备”的恶性后果了。
说真的，这也蛮考验水平的。可以说，图灵完备，使得一些普通人也能参与到“编程”这个工作之中。而当“图灵完备”被牺牲的时候，对编程的智商要求就提高了。
但另一方面，高智商的人才，通常会更喜欢自由创作一点，也不耐烦背那么多东西了。
这也是业界抛弃这类语言的原因这类语言不能被廉价程序员掌握。
不过，正是由于它稳定可靠，所以航空航天事业也有使用它。
毕竟，这东西要是死机，那就是上亿元打水漂了。
如果从类型论的观点来看的话，那么……王崎之前的万象卦文，应该算是……无类型语言。
无类型语言的自由度高，可以领高等数学的计算过程直接在物理机上实现，且更接近人类的思维习惯。
或者更接近地球类型论诞生之前的那些高级语言，属于“类型不安全”的范畴。
甚至可以说，万象卦文同时具有“无类型”和“类型不安全”的标签。
自由是自由了，但是相对的，这东西也一样不是很好用。
如果真的发生了编译错误，那么计算机就很有可能输出无法预料的结果，而非直接停机。
这就意味着，码农必须非常了解自己码的是什么，甚至需要利用自己的心算能力，为自己码的东西纠错。
这对程序员的能力要求，也很高。
只不过吧，在这个世界，只要兼修一下爻定算经之类万法门功法，就可以解决这个问题了。
也就是说，大家这么多年了，其实也没介意当个人肉纠错器。
这是这个理论在地球上的大致状况。
而在这个世界，情况就有点诡异了。
陈由嘉，是借助神州现在离宗连宗论战的东风，从算君的兽机关集群算法之中，反推出这一道理论的。
而且，还是从形式语言学上的得到了灵感。
形式语言学可以算是计算机科学平行发展的一支。
但是，这个过程……
也确实……
充满了这个宇宙技术史的风格。
第九十八章 型论【第三更】
类型论的根基，是直觉主义逻辑。
海霆真人已经将离宗的“逻辑”吸收了过来，重写了算术公理，完成了连宗的逻辑。
类型论的目标，是“突破哥德尔不完备定理”，思路是“切断自我指涉”。
算主提出了绕过“哥德尔不完备定理”的思路，包括了“切断自我指涉”。
冯落衣为了证明“无穷公理”的安全性，而沿着这条思路走了下去。
可以说，万事俱备了。
然后，算君就贡献了……包含类型论结果的成就。
也就是兽机关集群的混沌拓扑网络算法。
算君并没有单独提出“类型论”，因为他确实对大家争来争去的基础算理不感兴趣。
但是，他也确实是天才，凭借自己的思考，就完成了这样一个严苛的系统。
这就好像用coq语言给你写一个完整的操作系统，还能运行得很顺畅，甚至界面还很优美一样，匪夷所思，令人惊叹。
王崎甚至怀疑，算君这一套做法，并非牺牲“图灵完备”，而是……算君压根就没在意什么“图灵完备”。
兽机关集群相当安全。用类型论的理论来看，它就是绝对的“强规范强类型”，不会输入任何“预料之外”的结果。一旦有丁点错误，就会直接停机给你看。
而在宏观上，则可以兼容冯落衣这一系的成就。
而就算宏观上的算来出现了问题，也智慧导致宏观层面的集群暂时失去凝聚力，而不是使得兽机关本身失控。
王崎思来想去，这种一不留神就灭星的玩意，也确实需要这种死板的东西来约束了。
如果要他用无类型、类型不安全的万象卦文直接写底层……
哈哈……哈哈哈哈……
可以说，类型论诞生的一切条件，都已经完好了。
只是目前，神州的连宗修士，对算器还有些不够重视。
他们还盯着基础算理的那一块，想要在这方面与离宗，与歌庭派决一死战。
对算器理论偶有涉猎，也只是为了“驳倒对方”而已。
但另王崎险些三观尽碎的是……
这样一个地球历史上是来自基础数学的成就，在这个世界，居然是从应用反推出去的……
“哈哈……哈哈哈哈……”王崎只得表示：“我感觉自己的知见障也确实蛮严重的……”
尽管今法修士从来都是以“打开黑箱”为荣，但是，在这个宇宙，就没办法完全规避“黑箱”带来的法术。
或者说，就没谁可以在无黑箱的情况下生活。
举个最直接的例子好了，如果非要懂得“中心法则”才能生娃的话，那人类就不用繁衍了不过相对的，病毒也就不会传播了。
先有“应用”而后有“理论”，在哪个世界都是很常有的事情。
赵清潭错愕道：“师妹这成就，相当了不起啊……”
“是啊，相当了不起。”王崎摇了摇头：“神州怕是又要变天了。”
“什么意思？”
王崎道：“构造新的高级算器语言，变得更加简单了，因为有人直接将‘语言’的本质挑明了，所以，大家也就知道怎么构造‘傻子都能用’的语言了。”
强规范、强类型对智商的挑战在于，你必须戴着镣铐跳舞。因为失去了图灵完备，所以真的一点容错率都没有。
类型不安全、无类型对于智商的挑战在于，你永远也不知道会输出什么bug。
那么撒尿虾和牛丸合在一起做撒尿牛丸的思路，也就有了。
同时兼备“类型论”与“图灵完备”的语言，也是存在的。
它确实是两边都不讨好。
这种语言，多是讨好“下面”的。
由于有类型，所以不会输出完全无法预料的结果。
由于有图灵完备，所以有一定的容错率。
码农鄙视链底端的大众化语言，也就诞生了。
这种玩意，王崎冯落衣不会主动去开发，算君压根就不会想着这回事。
但是，这却无异指出了一条明路。
只要奔着这个方向走，那些程序猿用的语言，总会诞生的。
“而且，这在基础算学部分……也算是有意义吧？”王崎如此说道。
赵清潭笑了。
离宗连宗，歌庭少黎一类的名头确实响亮。
但是如他一般的修士却坚信，基派的“结构”，才是下一个时代的力量。
第二天，陈由嘉醒来，听王崎将这些东西介绍一遍之后，也愣了。
“我这么厉害的吗？”
女孩愣愣的眨了眨眼睛。
王崎点了点头：“超厉害。”
陈由嘉眯起眼睛，笑了。
可旋即，她有有些疑惑：“这个……算是基础算学？我原本是要开发应用……”
“这对解析算君的成就，非常有用。”王崎说道：“再者，你是从算君的‘应用’之中反推出来，也算是一条‘从理论指向运用’的道路了。”
类型论，和函数编程也是息息相关了。
尽管在地球上，lisp一类可以实际使用的函数式编程，早在类型论之前就开发出来了，但这并不妨碍类型论让整个编程，尤其是函数编程的艺术再上一个台阶。
布尔巴基学派理论通向应用的障碍，又消去了一个。
王崎深吸一口气，严肃道：“但是，师妹，这个还不算完。在你手上，这个类型论，也只是刚刚成型而已。”
陈由嘉一愣：“你叫它什么？类型论？”
王崎点了点头：“定义语言类型……你又什么不满吗？”
陈由嘉笑了：“感觉会被你的类论【k理论】盖过名头啊。”
王崎一愣。这可是前世语境下不存在的麻烦。
“那就唤‘型论’咯。”
“听起来和你那‘类论’是一对儿啊，不妥不妥……”
王崎勾起陈由嘉下巴，反问道：“一对儿，有什么不妥？”
“别闹，这两个理论在算学领域天差地别……”
“名字相似而已嘛！”
笑闹之中，这注定震动历史的理论，算是敲定名字了。
陈由嘉却突然叹息：“这一次，还真是机缘巧合……若是没有海霆真人、冯老师的论战，我绝无可能触及算君的那一丝‘想法’；而若是没有算君的书稿，我纵使窥得门径，也未必能入……”
“自信一点。”王崎拍了拍陈由嘉的脑袋：“你也足够强了。”
兴奋过后，陈由嘉忽然又有些担忧：“话说，基派算学，主要就是为了那算学根基。这次我论文发表，那便是……便是以连宗的身份加入现在的论战了吧？是不是……不大好？”
一个学派，总得有一个学派的理念一以贯之。
王崎思考片刻：“我看没什么不好啊。我发表不周之算的时候，可还算歌庭派编外成员呢。”
“啊？我总觉得你做了个不吉利的比喻……”
王崎摆手：“想哪去了……总之，不周之算，算是我万法门内崛起的一个点，也算是基派的原点了吧？可以说，连宗离宗的上一场论战，就是由我终结。而现在，也就是他们最后的论战，也算是因我而起。”
现在离宗连宗，都在尝试对不完备定理发起挑战。王崎这么说，也没错。
“我也正是因为这样，才有了组件基派的资本。”
“这一场纷乱，因基派而起，那么，由基派成员终结，也并无不妥。”
陈由嘉语气一滞：“终结……”
王崎点了点头：“终结。我该说……去吧，终结这个旧世代。”
陈由嘉忍不住笑了：“说得好像歌庭少黎恩怨都要终结了一样。”
王崎没有笑。事实也差不多就是这样。
这个世界和无灵气宇宙的数学规律基本一致。在可预见的方向上，直觉主义和形式主义必然衰落。
就算有不同，那顶多也就是……算君还活着，所以直觉主义不至于沦落成给计算机科学打工，而是反客为主，让直觉主义主宰计算机科学领域？
这也只是最“坏”的可能了吧。
毕竟，冯老师、图灵真人也没有跪不是？
王崎说道：“苏师兄也在关注这方面，你倒是可以跟他交流一下。”
陈由嘉点了点头：“对了，你能够联系上算君吗？”
王崎一愣：“干什么？”
“请教，还有致谢。”
“你不要命了？”王崎惊呼：“你不是刚刚才心力耗竭吗？而且谢他干什么？写书给其他学者看，不是天经地义的事情吗？启发其他学者什么的……”
“你自己说的，何必畏惧算君？”陈由嘉语气平静：“不只是算君，冯老师，海霆真人，都得致谢。当然，还有顺便请教。”
王崎咧嘴：“你不觉得……这有点太冒进了吗？”
“你不帮忙，我找我父亲去。”陈由嘉盯着王崎。
虽然他乡遇故乡神州之间有通讯限制，但是，陈景云也是逍遥修士，他亲属跟他通讯，还是不受限制的。
但陈由嘉想找算君就难了。
王崎举手：“别，别，从地球转发还耗费仙盟宝贵的带宽，不值当，不值当啊。我帮你发函总行了吧？”
他是长生者待遇，而且密级够高，还刚好知道算君现在在那个旮旯底，还真能寄信给算君。
第九十九章 前奏【第四更】
当妹子说出“你不帮我我去找我爸帮忙”的时候，大约是个男人就得服软吧。
王崎是这么认为的。
陈由嘉和陈景云关系紧张，多是因为陈由嘉爱闹别扭。实际上，陈景云一直对女儿心怀愧疚，觉得没有照顾好女儿。所以，陈由嘉找他帮忙，他多半会去帮的。
至于其他……
王崎觉得，自己老丈人未必会意识到女儿找算君是一件多么危险的事情吧？或者一思考就忘了什么的。
这一点，陈由嘉也是这么想的。
但毫无疑问的是，陈景云多半会帮转。
所以，王崎觉得，这还不如自己来呢。
之后的三天，陈由嘉都在想办法完善这型论。
与此同时，她也写出了初步的论文，并将部分稿件与致谢函放在一起。
而在这个过程当中，基派则依旧按照自己的步调走着。
他们不会为了这等事情而停下自己的脚步。对于算学家来说，没有什么比“算学的根基”更为重要的事情。
甚至王崎也不再去毓族聚居地。他将形式语言学完全交给了子虚易等新一代的毓族算学者，自己则只是抽空指点。
他也回到了基派的工作上。
整个学派有条不紊的运转，一点一滴的推进。
他感觉，自己距离下一个关口更近了。
………………………………………………………………………………
无光天牢，算君接到了新的信函。
“致谢……”算君眉毛微微扬起。这倒是很罕见的理由。
而且……陈由嘉……这个名字很陌生啊。应该是最近才出头的新一代。却不知道找自己做什么。
这样想着，算君继续阅读。
然后，他笑了：“呵呵，居然是那一份文稿吗？还行，有人能够做出点新东西。”
他带着这样的表情，仔细读了一遍，然后又扫了一遍。
第一遍的时候，还有点兴趣。但第二遍，脸上的笑意就逐渐减少了。
“只是这样啊。”他如此想着，感觉稍稍有点扫兴。
他对这东西倒不是特别看重。
不过，对他来说，这一篇论文，也确实有点用处。
起码，能够让他更好的理解兽机关集群但没这篇论文，他也不是不能工作。
“总归是承你的情。”算君自言自语着，放开一个幻术界面，带着两分认真的，写了一封回函。
………………………………………………………………………………
神州本土，冯落衣震惊的看着自己手上新的信件。
“陈由嘉……王崎那边的？”
他实在是无法理解。
为什么，这种带有典型连宗思维特征的论文，会出自一个……离宗弟子之手？
真的是非常古怪。
但是，这东西，确实阐释了一些兽机关集群的混沌拓扑网络算法的精髓，解答了一些疑惑。
但也只是阐释了部分而已。
算君的成就，可还没那么简单。
冯落衣忍不住又看了一遍。
他本能的感觉到，这一片看上去好像离宗连宗算理杂交产物的论文，蕴含着巨大的可能性。
于是，他快速连上了图灵真人。
“图灵道友，我这里有一篇论文，很有意思，希望你能看一看。”
半个时辰之后，图灵真人出现在万仙幻境之中：“这篇论文，真是了不得啊。”
对于类型论牺牲图灵完备的做法，他倒是没有任何意见。相反，他还觉得挺有趣的。
第一次想到有这样的结构。
如果说“图灵机”的构想是画地为牢，那么“类型”就是一副枷锁，将使用者牢牢束缚。
他确实是觉得这样很有趣。
图灵真人显得有些激动：“根据这理论当中的一些东西，我觉得，可以重新构造出一门全新的高级算器语言了这能够极大的造福千机阁弟子！”
“语言？哦，语言！”冯落衣突然问道：“《形式语言学》，你已经了解过了吗？”
“怎么可能不了解？”图灵真人瞪大眼睛，反问道：“你弟子的成就，你自己就不关心吗？”
“嗯……了解倒是有了解……”冯落衣沉吟。
形式语言学，他了解得确实不多。
这几个月里，歌庭一直在秘密联系他，邀请他再做元算之算。
本来，冯落衣就觉得是自己支持王崎入道，而王崎的不周之算，否定了元算之算，他也颇为愧疚。
这大半年来，他的精神都投入其中了。
“有了王崎的形式语言学，做算器的语言，也就容易了许多。”图灵真人说道：“我觉得，你也可以好好了解一下。”
冯落衣点了点头：“确实……”
不过，王崎发展“形式语言学”，也是为了这一成就做铺垫吗？
端是深谋远虑！
“下一步，我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道：“说不定能够做出什么东西来。”
冯落衣点了点头：“嗯，王崎也是一般看法。”
只是，他始终有一道心思，放在元算之算上。
陈由嘉关于“无限公理”的阐释，也确实给了他灵感。
他已经想好自己的下一篇论文了。
……………………………………………………………………………………
“嘶，真是天才的想法！”海霆真人却比其他几人都要直接很多。
他看上去更为年少，从外表上看，倒与新崛起的一代修士更像是同时代的人物。
“陈由嘉……我记得，是王崎的道侣。”
“这么说来，是那个基派，也意识到自己过去的错误，想要来参悟连宗算理了？”
不。
他自己否定了这个想法。
一个人转变想法，虽然困难，但还是有可能的。而一个学派，就没办法了。
黎京学派，分为老黎派和少黎派，也是这个原因。
白泽神君是离宗修士，自然不会容忍算君这样的异端。
好在白泽神君尚有容人之量，没有打压算君。
但就算如此，少黎派还是自立了。
就算基派成立时间尚浅，也不至于就这样集体转向。
“个人的行为？还是王崎的授意？”
他也注意到，陈由嘉进行语言分类的时候，思路与“形式语言学”有一定的相似之处。
但形式语言学使用的算理，却是典型的离宗算理。
“但不管怎么说，陈由嘉也是王崎的道侣。若是她能够倒向连宗，对连宗也是一大好事。”
若是能够凭此影响王崎，就更好了。
这样的小小想法，就连海霆真人自己也没有意识到。
他自己也不相信，王崎那样的修士，会因为其他人的因素，而改变自己对算学的看法。
能够影响王崎的，只有王崎自身而已。除非王崎是自己推导出新的算理，否则，没人能够强迫他改变心念。
但他还是写得很认真。
或者说，他就是抱着“传道”的心思，指点后辈了。
毕竟……要是有“万一”呢？
………………………………………………………………………………
陈由嘉很快就收到了三封完全不同的回函。
其中，算君的回函，是最先抵达的。
在王崎的坚持之下，陈由嘉在基派众人的面前，拆开了算君的回函，然后小心的阅读。
算君的回函不长，也没有什么客套话。
但是，他却是很简单的指点了陈由嘉的思路，并告诉她，按照这想法，可以朝那个方向研究，对应兽机关集群算法的哪个部分。，
连宗第一人、兽机关集群算法的开创者的亲自指导，自然是异常珍贵的。
陈由嘉甚至感觉，自己的面前，出现了一条新的明路。
而另一封，则是海霆真人的回函。
这一份就厚了许多。他却是从基础乳沟，在各个方面介绍了连宗的逻辑构造。
这却是很好了补充了陈由嘉的连宗算理认识。
怎么说呢，她的父亲和丈夫，都是典型的离宗修士，就算她初出茅庐之时有心算连宗算理，也学不了多么高深的东西。
这一份，却是解了陈由嘉的燃眉之急。
冯落衣的回函，却是姗姗来迟。
他的回函，甚至还包括一篇完整的论文。
是关于无限公理安全性的论文。
而与论文一同寄来的信件，就私人了很多。冯落衣甚至很客气的表示陈由嘉给他提供了新的灵感，还问起她和王崎的近况如何。
三封回函，都颇有价值。
陈由嘉在吃透海霆真人的回函之后，就将自己最近的心得写出，准备寄给远在神州的苏君宇。
整个基派，目前也就只有他们两个在这一块打转了。
冯落衣和王崎都表示连续统也算是基础算理的重要部分，又与后来的算器理论有一定的关联。和苏君宇交流，说不定意外的有用never？
然后，她就开始研究算君之处的道路了。
……………………………………………………………………
数日之后，神州，万法门内。
苏君宇接到了他乡的来函之后，一脸懵逼：“我勒个去，这么猛的？算君的书稿这么有价值？”
想到这里，他就感到万分纠结。、
最终，苏君宇选择提笔写信：“师弟啊，你们那边的最后一个名额，还没用掉吧？”
第一百章 序幕
后世的历史学家很难形容歌庭派与少黎派的最后一场大规模论战。
这一场大乱斗，牵涉了万法门当今一代几乎所有的天才，所有能在“基础算理”这个领域发言的前辈修士，也都表露出了自己的想法。
唯有两个“有理由出现”的人没有参与。
算君照例缺席了这种在他看来不痛不痒的论战上。
而王崎则在他乡忙着自己的基础算学，也无心参战。
但就算如此，这一场论战的影响，也已经超过了过去的每一场论战。
元算之算虽然统合起了巨大的力量。但本质上，它也只是离宗内部的动作。
算君早就去了星海之间。同时代的连宗修士，全部都被算主一个人压制。
当时这一次不同了。
除开那两个不属于这个时代的天才人物之外，这一次论战所牵涉的力量更广，影响力也更大。
它甚至不是单纯的纯粹算理层面。
此时此刻，万仙幻境已经成为仙盟的基石之一，每一个门派的修士，都已经习惯了租用万仙幻境的演算量进行研究工作。
而算器理论的基石，就是歌庭派、千机阁那几人所完成的“算理逻辑”。
不同于地球，缔造出可以工程实现的计算机器比较困难。在灵气黑箱的基础上，所有这一领域的演算之法，都有靠法术实现的可能。
这里面，甚至还包含着一丝“技术突破”的意味。
因此，纵使是那些“中立派”，也没有调解论战的理由。
陈景云难得没有沉浸在算学之中。
他只是心惊胆战的从空中俯瞰万法门。
尽管现在万法门内，青山依旧，但这只是因为，这些景色不会虽人心二栋。
在一般人看不到的领域里。无数气机正在交锋。
尽管现在他已经是逍遥，而非过去的半步逍遥，但他依旧感到了自身的弱小。
下面，根本就是怪物厮杀的场地。有更多的天才加入了其中。
每一个人都显得疯狂了起来。
现在的万法门，说是火山口也不为过。
陈景云前些日子甚至发现，自己的女儿都想要趟这趟浑水。
这让他罕见的心神不宁了，几乎没办法工作。男人觉得应该有个什么诗词，形容一下自己现在的想法，但是他只是张了张嘴，却说不出来。
“这不是我的风格啊。”陈景云苦笑。他的老师华若庚倒是喜欢这么做，可他不行。
在这个仙盟主导一切的时代，“门主”也就是个吃亏的差事而已。他只是恰逢其会，被推了出来仅仅是因为他是那种“天资有限而以努力成道”的典型人物。玄星观的表面工作都是不动法王霍金去做，也是差不多的道理。
但现在，这是涉及到整个门派，甚至整个人族命运的大事。
这已经不是人力可以干涉的时代变化了。
陈景云也只是静静的看着。
不停的有遁光从门内离去。看样子，一些更在“应用”的修士，都已经打算出去避祸了吧？
尽管现在离宗连宗双方，都不断的有新的理论抛出，好似烈火烹油一般，但谁也不能保证，这些理论不会在明天被否决。谁也不知道油锅里的油，会不会在什么时候，被火点燃。
不周之算已经摧毁了算学有可能存在的坚实根基那是虽不能抵达，却支撑着半数万法门弟子的精神力量。所有算学家现在都是在走钢丝，他们都没有断言自己绝对正确的勇气。
而这个时候，若是思维被一篇很快就会被否决的东西带偏，就很危险了。
避过这风头，等到尘埃落定的时候，再与胜者站在一处，也是正常的选择吧？
陈景云看着那些离开的人，摇了摇头。
“好了，回去继续吧。”
………………………………………………………………………………
那些被陈景云注视着的遁光之中，有一道是属于苏君宇的。。
他之前已经给自己家里交代好了这件事。现在，他差不多该去焚金谷一趟了。
元神后期修士的遁光无比快捷。个把时辰，苏君宇就落到了焚金谷门口。
和其他门派驻地那种青山绿水不同的是，焚金谷看样子是相当的穷山恶水。两道平行的山岭之间，巨大的谷底之内片片荒芜，只有许多生命力异常顽强的植物，才能够在这里生长而通常情况下，那些植被都会生长在浅层矿脉或盐碱化土地之中。
早期焚金谷修士选择这么一个区域，很大程度上也是因为“处理废弃物方便”。两侧的群山挡住了季风，而地势最低的这里，也无需担心成分复杂的废弃物虽水溜走。虽然今日的焚金谷早就不用那种原始的手段处理废弃物了，但是，新的研究机构，却始终是依托老的研究机构建立的。学者自发汇聚，使得这个山谷成为了一条下场的“学术地带”。
无数实证部在这里排布成一条长龙。
苏君宇走了进去。焚金谷最近似乎在重新规划的样子。他只是随便挑个时间来，都能看到好几家实证部在改造。
几乎所有焚金谷修士都是匆匆忙忙的。
这便是这个门派的现状了。
凝聚之道从“虚无飘渺”指向“现实”的，新生的一条道。
它直接引发了焚金谷的震动，导致了齐内部的改变。
苏君宇快步走了进去。
项琪现在已经是结丹期大圆满了，不会进入实证部，而是做元神设计，好能够进一步突破。
在仙盟现有的制度之下，元神期以元神期之下，就是两个概念。结丹期以下的修士，能够做的研究很少。也只有极少数天才，才能够在元神期之前就接触到真正的研究工作。所以，结丹期大圆满的修士，多半不会选择在实证部继续打下手、干杂活，而是干脆离开实证部，就一心搞元神设计，踏破天关之后才回去。
所以，项琪现在最后可能在的地方……
苏君宇快步来到焚金谷的守藏室，肆无忌惮的用灵识扫描了一遍。
“那个人是谁啊？好像不是我们门派的吧？”
“万法门？”
“看服饰，可还是个元神宗师咧。怕不是来找人的？”
这种举动多少有些无礼。但苏君宇此时心情迫切，已经顾不得许多了。
往日的他是不会这么做的。
不在这里。
意识到这一点之后，苏君宇就立刻转身离开了。
……………………………………………………………………………………
“唔唔唔……还是没头绪啊……”项琪一头撞在桌子上：“不行啊，不行啊，想不到啦！没办法啦！”
她脑袋在桌面上滚了几下，最后站了起来：“一不小心就和门派前沿脱节啦！”
“仔细想想，现在应该怎么办？”
“凝聚之道，凝聚之道……啊！想要设计出凝聚之道的元神，现在还是太困难啦！”
“要不要现在会实证部？仔细想想啊，如果现在着脸回去，师叔师姐他们还是会给我个位置的吧？虽然凝聚之道现在还是比较前沿的研究，很难给我上手，但是，每日观摩，总能加深一些直观印象吧？”
“但是……呜，哪有结丹期大圆满的修士去干杂活的啦！”
就在这个时候，她闭关的静室大门被粗暴的敲了几下。
“谁啊！没看见别人闭关啊！”项琪直接站起来，开口怒斥。
然后，轰的一声，一只穿着长靴的脚，将大门一下子踢开。
项琪吓了一跳。这门上的禁制可是她亲手加固过的，结丹期大圆满修士都很难轰开。这一击而碎，就说明对方是个元神期修士？
最近有得罪什么人吗？
项琪这么想着，本能的缩了缩脖子。但看到来人的脸后，立刻火冒三丈：“苏君宇你干什么啊？敲门不会……啊！”
苏君宇突然扑过来，将她一把抱住：“实在是不好意思，我现在时间很赶，生怕按捺不住自己的情绪……”
项琪不知所措，声音都柔和了不少：“我……你这怎么了这是？不是说好等我元神再，那个……嗯……成婚什么的……”
苏君宇松开项琪，两手扣住对方肩膀：“这个啊，你要说的话呢……我最近证道契机将近，所以特地来看一看。”
项琪一愣，气乐了：“激我呢？元神后期啦？甩我一个大境界啦？怕我不能突破元神啦？至于吗你？啊？搁这儿来炫耀来了好好好，你厉害，你天才！”女子伸出手，扯了扯苏君宇的脸：“真的是，脸皮哟。想我就想我呗，猴急猴急的。还扯这么大一同。”
苏君宇深吸一口气：“我说认真的。我今天才收到算君的手稿。上面很有可能就是我下一步的方向。所以，今天晚些时候，我就会去阳神阁，在阳神阁高手的监督之下，阅读算君手稿。”
说道这里，他顿了一下，脸色才柔和下来：“这是好事，也是天大的机会。有阳神阁强者看着，不会出大岔子。书稿也是王崎那小子解读过一遍的，危险性大减但既然是算君，总还是有点危险的。”
“别说话。”项琪反抱住苏君宇。
第一百零一章 爆发【第二更】
为这大争之世打响第一枪的，是冯落衣。
尽管歌庭斋已经交托给了身为连宗修士的算主首徒何外尔手中，但是歌庭派依旧是离宗正统，依旧是算主嫡系。这一点，从来就不会因为何外尔或其他任何一个人的因素而简单改变。
或许百年之后，歌庭斋终将变成另外一个样子，但是何外尔一个人，终归是无法扭转这个石头的。
歌庭派最核心的修士，已经杀红了眼，处心积虑的将要将连宗算理同被不周之算所击溃的那部分离宗算理划上等号，将他们也纳入不周之算的攻击范围之中。
但最先完成成果的，却还是冯落衣这位有着“非人”之称的天才人物。
应当说，冯落衣找到了全新的思路。
他们宣称，集合论之前的思路都有问题。
不应该从“全部”，而是应该从“无”之中入手。
所有的“集合”，都必须从“空集”开始，进行构建。
或者说，只有从空集开始构建的集合才被承认为合法集合。
除此之外的集合，都是有问题的，都是被不周之算抽掉了根基的空中阁楼。
无论是有穷集还是无穷集，都必须从“空集”开始。
空集对应0，{}对应1，{，{}}就对应2。如果一切集合，包括无穷集合都有类似的良序，那么，那么就可以实施超越无限的归纳就和普通的数学归纳一样。
然后，离宗至高成就的“天理体系”【zf公理体系】，其全部公理，都能够在良基集合之中实现。
这就是冯落衣的命题。
这位天才，先后用两篇论文，完成了这一伟大的论证。
任何证明构造都必须是有穷长度的，关于矛盾的证明也不例外。而无穷公理自然数无穷集合存在公理，之运用到了后继运算和空集运算。这两个运算，在连宗的算理当中，均有对应。因而，这两个算理，在连宗算理和离宗算理之间，是绝对的。换言之，离宗算理和连宗算理，其实存在着相当程度上的一致内蕴。
这就是两个算理的“绝对性”。
因此，如果无穷公理有矛盾，那么这个矛盾，也会通过一个“有穷”的翻译过程，出现在算理之中。
无穷功能公理，是安全的。
这篇论文一出，便是连宗修士的大面积吐血。
谁都知道，连宗，特别是近代连宗代表的少黎派，就是否认“无穷”与“排中律”的。算君认为，物质的世界不存在无穷的对象，算学的世界同样不应该存在无穷的对象。
这便是撼动了连宗的根基了。
无数连宗算家抓耳挠腮，恨不能立刻就写出论文，反击冯落衣。
但是，很快，冯落衣的第二篇论文，就让所有的争论都偃旗息鼓。
“如果取无穷公理的否定形式作为公理，有穷良序之中的矛盾也会更加方便的体现在其他公理之上。”
“因此，某种意义上来讲，无穷公理不可证明，也不可证否。”
这一下，便如同晴天霹雳，镇得所有连宗算家都说不出话来了。
一般来说，“可证伪性”，便是今法仙道的根基所在。不具备可证伪性的东西，没有讨论的价值。
但是，算学的地位，却稍稍特殊一些。
就连那些算学家自己都说不清楚，自己的工作，到底是“发现”还是“发明”。
在这一点上，算君和王崎绝对持有完全相反的看法。
当然，在美神那种层次看来，这种争持，完全就是笑话。
王崎在与美神遭遇之后，便也有了这种倾向。
他甚至都在形式语言学的序言之中表示，这种争论，纯粹就是自然语言混沌不堪，非得分出“发现”和“发明”两个完全不同的概念。
但不管怎么说，在算学领域，一个不可证明也不可证伪的理论，是允许存在的。
但它就好像是神学一样，在自己的逻辑里自成一体。
就算想要将之摧毁，也很难下手。
对于普通人来说，这就是一个“不知道到底有什么”的未知区域。
但冯落衣巧就巧在，他一开始，就直接证明了另一点。
无限公理是安全的。
“不知道里面有什么”，但是是“安全的”。
这也从侧面说明了，连宗对“无穷”概念的批判，实在是没有什么意义。
而陈由嘉的论文，也是紧随其后放出了。
这一下，却让所有离宗修士难受了一阵。
甚至有人当场大骂：“叛徒！”
离宗叛徒！
在过去的时光里，几乎所有修士，都将基派理所当然的视作了离宗。王崎也旗帜鲜明的表示过自己离宗的立场。
而现在，身为离宗修士的陈由嘉，发表了带有明显连宗倾向的论文。
这又让他们怎么不怒？怎能不怒？
但比他们更怒的，却是千机阁的众多基层弟子。
类型论直接删掉了图灵完备，删掉了循环。
图灵真人本人倒是觉得挺有趣的，甚至将之当做一个课题布置离了下去。
但千机阁弟子发现这一点之后，就立刻沸腾了。
对于他们来说，没有图灵完备、没有循环的算器体系，是不可想象的。
他们感觉自己的圣域受到了侵犯。
过去的“自由飞翔”，如今就变成了“带着镣铐跳舞”。
陈由嘉“离宗叛徒”的呼声，也在千机阁闹得沸反盈天。
对此，图灵真人也只有苦笑：“这却是……好似是我对不住那姑娘了。”
冯落衣摇了摇头：“由得他们闹去。对于这些无心算理的家伙来说，那丫头的理论有怎么的作用，他们未来总会知道的。”
“你是说将‘类型论’纳入‘图灵完备’吗？”图灵真人笑了：“涡这几天想过了，或许会产生恶性不谐的。”
“但王崎跟我说，这却能极大的降低算器之术的门槛。”冯落衣说道。
由于有了万象卦文的推广，他对自己弟子在这方面的眼光，还是信任的。
“就怕这两不沾的，关键时候误了事。”图灵真人有些犹豫。与类型论伴生的语言，是稍有错处，就会直接停机，算得上安全。而往日所用的法子虽然会输出未知结果，然是由于修士对这一领域已经熟稔，所以也很少在关键时刻掉链子。
但若是真的两者结合……
打到关键的时候算器宕机了怎么办？
“若是主法器自然另说，但是修炼的时候，确实有优势的。”冯落衣说道。
图灵真人突然笑道：“月寒兄如今倒是一副事不关己的样子。你难道不知道吗？这一股‘离宗叛徒’的风，也吹到你身上了吧？”
冯落衣眼睑低垂：“不过是些顽固分子……食古不化的老东西罢了。一个不周之算，都没有让他们看清楚真相，那他们也就这样了。”
实际上，冯落衣的论文，在离宗内部，也并非没有反对之声。
最开始也就是因为千机阁修士对陈由嘉的反对之声，才引发了另一股反对之声。
有一些离宗修士都觉得，冯落衣是疯了。
他居然剔除掉了“循环”这个概念！
循环，是广泛存在于自然界之中的概念。天地呼吸所代表的灵力循环，大气环流、水的循环，都是一种循环。
所以，循环这种东西，理应存在于算学之中实际上，它甚至都是万法门功法的关键部分。
“循环是不能被剔除出逻辑的。”
那些离宗修士如此说道。
陈由嘉和冯落衣，都是走算主“两条路”之中的“断自指”的。
甚至两人也在一定程度上相互启发了。
只不过从根基上来说，冯落衣是最正统的离宗，而陈由嘉则从算君这里接受了不少连宗的思路。
但他们却是指向了同一个方向。
冯落衣从来就不在乎这点小事。他对图灵真人说道：“歌庭派内部没有反对之声，就足够了。接下来，就看他们的吧？”
图灵真人不置可否。谁都知道，歌庭派此时此刻，已经是置之死地而后生了。
在不周之算的碾压下，他们也顾不得许多了。
不过，图灵真人并没有想到，数日之后，歌庭派的背水一击，居然来得如此猛烈。
实际上，也就是冯落衣将连宗、离宗算理频繁转化的手段，引起了他们的注意。
他们由此，提炼出了一个无名的逻辑层面的函数。
“双重否定翻译”。【地球上称之为“哥德尔-根岑”翻译】
“假设排中律有矛盾，则可以构造出这个假设的否定证明”。
“而排中律，则可以等价于双重否定去除”。
这是两条已经存在浅显证明的论题。
而就在这个时候，歌庭派提出了一个更进一步的想法。
“如果从经典逻辑里面的证明里，添加双重否定，那么这个证明，是否可以等价于直觉主义的构造性证明？”
也就是说，如果将歌庭派算理之中属于“排中律”的部分祛除，那么，这东西，是否就等价于少黎派的构造性证明呢？
答案是，“是”。
它用反对排中律的连宗算理，确定了连宗反对的排中律，也是安全的。
和无穷公理一样安全。
换言之……
连宗算理并不比离宗算理安全到哪里去。
第一百零二章 幕间【第三更】
这一日，苍天痛哭。
至少在连宗算家眼中是这样的。毕竟，神州这么大一个星球，总有块地方在下雨。
甚至有传闻说，远在星海彼岸的算君，在知道了这个消息之后，也忍不住吐了口血。
“‘我们已经得到了直觉派逻辑和歌庭派逻辑之间的理论翻译函数。事实上，直觉派的逻辑，只是歌庭派逻辑的真子集。对于这种具备真子集关系的两个算理，我们可以使用类似的手段，处理新加入了集合论公理’。”海霆真人大声读完这一段之后，不由得放声大哭。
他败了，一败涂地。
这是无可想象的“失败”。
即使是算君，也不否认集合论是算学的一部分。他只是将之当做算学最无意义的部分，而非是那种最核心的算理基础。
这是算君与歌庭在理念上的矛盾。
算君和歌庭之间仇深似海，也不单是一个柯兰荫的问题。
也就是说，对于大多数连宗算家来说，集合论和逻辑，也是可以视作“算学”的一部分的。
算主希柏澈便是此道高手。他让恒王葛丹惊为天人的逻辑证明，也可以被当做算学。
这一点很难被忽视。
而正如基派的算学史所说的那样，离宗和连宗的争斗，就是用自己的根基，去容纳对方的成就。谁成功了，谁便领一时风骚。
从算术到几何，从几何到分析，就是如此。
所以，海霆真人，便试图容纳了离宗的逻辑，试图建立连宗的逻辑体系。
但是，他无论如何也想不到，这会成为歌庭派新的杀手锏。
无法想象。
不可原谅。
他无法原谅自己。
“十年光阴，竟是为铸就一把屠戮同志的剑……弟子有愧，弟子有愧啊！”男人嚎啕大哭。
在他的哭声之中，偌大的房屋，居然一点点的解体。稍稍脆弱一点的粘合剂部分首先瓦解。砖块、房梁分解，整个房屋如同积木一样解体、崩塌。
而这还没完。海霆真人几乎有走火入魔之象。他身上泄露的法力也是越来越强。一个看不见的圈子从他身上扩展出去。凡是落入圈内的物体，全部都被瞬间粉碎。
没错，连宗和离宗，彼此都有相互转化的危险。
想要补蛇，就要做好被蛇所噬的觉悟。
但是，谁都不会想要这一幕真的发生。
就在这时，一个童声惊呼：“师父！你……镇定一点啊！”
海霆真人一凛，这才意识到自己身在何方。他艰难的收束其自己的法力。但是，走火入魔的现象，已经产生了。
他只感觉有如万蚁噬心一般疼痛。放出体外的法力被海霆真人艰难的亚辉体内。但这却只是让他的魂魄产生了破碎的感觉。他的意识都开始模糊。
终于，轰的一声，惨烈的爆照出现了。
海霆真人浑身赤红，血液是从身上细小伤口，甚至是毛孔之中喷出来的。但是，他却来不及查看自己的伤势，而是艰难的从地上爬起来，四下查看。
终于，在远处的一块岩石背后，他找到了一个大概十三四岁的男孩。
这个孩子才筑基期修为，但是却非常机灵，刚才见势不妙就远远抛开，没有被伤到。
他反而被自己的师父吓到了：“师父，你……”
“没什么……”海霆真人摆了摆手：“我只是……呕……”
说着，他吐出一口血来。
男孩哭道：“师父，你这样……”
“连宗完了。”他低声说道。
连宗完了。
至少当代的连宗，已经废了。
连宗之前最为旗帜鲜明的两点，就是“反对排中律”以及“反对任何形式的无穷”。
而现在，这里两点都被离宗反将一军了。
连宗的指责，是没有任何道理的。
他们是这么说的。
算君以来，崛起之势从未断绝的连宗，终于走到头了。
那孩子垂首道：“师父，连宗未必已经到头了啊……”
海霆真人摇了摇头：“你……还是算了吧。你倒也不必跟我一起死这这一条船上。总之，少黎派的传承，是在这里结束了。你是最近几十年来……至少，至少是王崎之后，我见过的最为天才的人了。以后，若是想要投离宗的话，可随意……”
那孩子撇撇嘴：“没必要吧？”
“呵呵，我有预感的。”海霆真人叹息：“不周之算的镣铐一日不除，则离宗不会有未来。而现在，连宗也被不周之算限制住了手脚……咳咳，咳……”
说道这里，这位年轻的逍遥修士终于苦笑了起来：“离宗的这些混账啊，是多喜欢证明，我们就跟灵凰岛那群白痴一样无智无知？”
“那个，师父……灵凰岛前几年就没了。”
“时代果然是不一样了。”海霆真人摇摇头：“总之，我敢说，再过五十年，万法门，就是王崎的天下。他就会像当年的算主……甚至有可能是像算君那样，成为万法门的支柱。”
男孩突然眼前一亮：“师父师父，关于这一点，你有没有这种感觉啊王崎的算理，很有可能跟连宗是一路的？”
海霆真人失效：“怎么可能？”
“我有这种感觉！”那男孩说道：“我苦读原算已有半年了，现在模模糊糊有个想法……”
………………………………………………………………………………
“没错，我可以感觉得到……”星空彼岸，星舰之中，一个逍遥如此写道：“我甚至可以断言，王崎和歌庭派，在算理上的分歧，已经大道了不可忽视的地步。我觉得，这一点说不定可以被利用起来。”
“王崎的基派算理，有一个十分远大的远景。他想要创造一个宇宙般普适的算理。”
“但是，离宗所谓的‘天理系统’哈，这个名字，实在是太可笑了。王崎的算学宇宙，与天理体系，终归是会产生巨大矛盾的。”
“这一点，在《原算》之中就已经找得到苗头了。”
“恐怕这一点，就连冯落衣都没有意识到吧。他的良基集合，未必承载得了他弟子的愿景。”
“和王崎的图景相比，现在的所有离宗算理，都不堪一击。”
“或许我们可以设计出一个方案，将这一套算理导向连宗……”
写到这里，这位逍遥修士浑身一颤，不由得苦笑：“这种思考，终归还是会牵动伤势吗？”
这一名逍遥，名唤梵巴赫【斯特凡巴拿赫】。他是立场鲜明的连宗算家。曾开创出“分球悖论”这种东西，来讽刺离宗的“无穷”思想。
任意两个三维欧几里德空间具有非空内部的子集是等度分解的。
用形象的话来说，一个三维实心球，必定存在一种办法分成有限部分，然后仅仅通过旋转和平移，就可以组成两个和原来完全相同的球。
换句话说，在经过有限的变换之后，一个球和它自身的两个拷贝是等度分解的。
1可以等于2。
他认为，这在离宗“无穷”的概念之下，是有可能出现的。
这是一位精于“讽刺”的算学家。
换句话说，一块大理石可以分成有限块然后重新组合成一个行星，而一颗行星，也可以重组为一粒尘埃。
而大自然中，这种事不可能发生，是因为“无穷小”并不存在。
普朗克尺度，限制了这种事情的发生。
这也更显得离宗算理荒谬。
但是在“离宗算理和连宗算理可以等价”的总攻击之中，他也差点道心沦丧。
对自己写的东西，也还是动摇，怀疑。
但是……连宗，必须反击。
他正在苦思反击策略。
只不过，在这个阶段，他也不考虑如何从自身入手了。
双方已经杀红了眼，不求得胜，只求与敌同亡。
梵巴赫也没有想着要成功。
他打算在那些离宗修士们身上下手。
“不，不行。王崎还在上升期，这个算理，还没有成型，王崎也有根据这反击，修改前进方向的可能性。所以，可以考虑，再等一等……或许应该等它成型，再进行反击。”
“或许我们可以考虑另一重……”
能够提出“分球悖论”，就代表梵巴赫对离宗算理异常的熟悉。
这一点上，他甚至比算君都要强。
因为，算君自己是不屑于看这种东西的。他就算想到了，也不会深究。
算君始终觉得，自己宝贵的智慧，应该用到更加有用的地方。
对此，梵巴赫自然也是钦佩的。
不过，偶尔，他也会抱怨一下。
如果算君肯管事，那就好了。不过，只是吐口血的话，算君也未必会怎样？
他不知道的是，算君的情况，其实比吐血更严重一点。
当日，无光天牢直接产生了异常大爆炸。
算君甚至已经决定，在结束了对兽机关集群的这一阶段研究之后，就重构自己的直觉算理了。
他很难忽视离宗现在的这些说法。
不过，这个研究的优先度，依旧是略低于“兽机关集群的算法”的。
对他来说，算理根基的争夺，反而没有那么重要了。
就是恶心而已。
第一百零三章 第二幕的前奏【第四更】
转瞬之间，宇历二年，也已经快到年末了。
这一年，万法门的乱象，已经震动了整个人族。
离宗和连宗，从没有这样惨烈的厮杀过。如果说血腥的话，它未必比得上中古数家那样真的以性命来辩真理。但是，惨烈程度，影响程度，却更甚。
这已经不是两个高手的厮杀了。这就好像是两军混战，已经到了最后关头。所有人都混在一起，根本分不出谁是谁。每个人手中的武器，有可能是自家的，也有可能是从对手那里夺来的。
离宗的人，连宗的人，血肉混在一处，也分不出彼此的样子了。
但是，这般乱战，却没尚没有进入影响到远在西方的裂巅岛。
艾家宅院内，一处湖心小亭，路千千正靠在亭子的立柱上，双眼呆呆的望着上方。
天空中飘落的鹅毛大雪，正不断的往半干涸的池塘里砸。尚未干透的淤泥与雪花混合起来。
一副枯败的景象。
所以路千千不是很喜欢朝下看的。
就在这时，突然有人从背后拍了她一下：“呀！”
“呀！”路千千发出一声短促尖叫，身形往前窜去。
艾长元怪无奈的：“就算感知不到我的气息吧……你也该知道，这家里就我会这样跟你开玩笑吧！你怎么就记不住呢？”
路千千撅起嘴：“知道我记不住，你还跟我开这种玩笑……”
“你应该记住嘛！”
“你就不应该这样呀！长元，你多大啦！又不是小孩子！”
“男人至死都是少年！”
艾长元一个翻滚，就坐到亭子顶上了。
路千千已经习惯艾长元这种不按套路出牌的做法。她仰着头，问道：“现在，家里在说什么啊？你是偷跑出来的吧？没问题吗？”
“啊呸，那群白痴。”艾长元叹息：“真的，和我一点关系没有。”
“长元长元，叔叔伯伯们到底在谈论什么啊？”
艾长元叹息：“万法门的事情啦……”
“嗯？”
“总有白痴想要恢复祖宗荣光嘛！”艾长元叹息。
元力上人虽然是天物流转之道的奠基者，但在另一方面，他对万法门的影响也是极大的。
他同时也是代不两出的算学家……嗯，虽说同辈的赖不离在算学上成就也不比他弱。
但总得来说，元力上人旁系后裔的艾家，在万法门，也是颇有势力的。
“万法门……和现在的内乱有关吗？”
“大概吧。”艾长元咧咧嘴，语气之中充满了不屑：“元力上人有‘实无穷小’的观念。只不过嘛，当初魏二先生【魏尔斯特拉斯】发展变天式的时候，就抛弃了实在无穷小。但还是有一些白痴还在坚持。但是现在呢，良基公理，彻底否定了实无穷小存在的根基。所以，总有一些白痴觉得不行啊！”
路千千奇道：“但是，这和你没关系吧？”
“我呢，恰好认识现在最强的算家之一来着。”艾长元一副“想吐”的表情。
“你是说王崎？”路千千更奇怪了：“王崎和苍生国手是师徒关系，而良基集合，是苍生国手现在的成就吧？”
“嗯，没错啊？”艾长元点了点头：“就是这样。”
“他们希望能够凭借你和王崎的交情，说服王崎去反对苍生国手的算理？”路千千瞪大眼睛。
“虽然说我和王崎确实是生死之交啦，但是，他们也没有傻到那种程度。”艾长元叹息：“他们利用一些人脉啦，探听到了连宗的一个消息，说王崎的算理，最终会与离宗现行算理产生巨大分歧老东西的本意呢，是恢复实无穷小的立锥之地。懂了吗？他们会不惜一切手段干涉冯落衣。利用王崎，也只是一个策略。”
路千千皱眉：“好……下作哦。”
“是啊，而且很傻。”艾长元看着东方，叹息道：“现在的万法门，已经没那么简单了。所有修士都已经陷入了疯狂……真是恐怖的大时代啊。”
“这种事情，不是对算学有坚定向道之心的修士，冒然凑过去，怕不只是会引火烧身，成为某一方，甚至是双方攻讦的目标，过去的每一点成就，都会被敌人用最挑剔的眼光审视，之后的每一日，都要生活在‘立道根基被驳倒’的恐惧之中。”
路千千眨眨眼：“真可怕。”
“万法门的烂摊子，凡人已经掺和不进去了。”艾长元如此说道：“不过，就连这些老家伙都想要活动一下，甚至都能牵涉到魏二先生这样的上一代逍遥身上……可见这一次动乱，无论是深度还是广度，都前所未有。”
严格来说，现在的神州万法门，还处于“不完备定理”所引发的“数学危机”之中。
这是一道大劫。所有的修士，都在想方设法的度过这一劫。
他们不得不拼命。
“这就是大时代啊……一个人的意志，在这里已经没有意义了。甚至一个天才，都砸不出水花来。”
不知这次，又有几人能够登顶，几人能够摘得明星？
……………………………………………………………………………………
“任何集合都是良序……或者说，只有良序集合，才是有意义的、合法的集合。”
看着这一道全新的公理体系，算君老怀大慰，甚至连眼角都已经湿润了。
“康门主……”算主哽咽道：“弟子柏澈，有负所托……所幸尚有同道，从我的手中，接过了离宗的标杆……现在，我们离宗，已经……已经……在坚实的基础上，站住脚了！离宗成功了！”
万法门前代门主“天集”康驼儿创造集合论的时代起，集合论就一直在受到质疑。
所谓“炼丹师悖论”的东西，一直都存在。
而近代，“炼丹师悖论”这一类问题，被王崎换了一个更为恰当的名字“自我指涉”，并被直接的暴露了出来。
自我指涉，以及无限循环，是集合论无法规避的天魔。
而现在，已经不用担心这个问题了。
离宗正在走向一个坚实的基础。
他是这样认为的。
就在这个时候，一个青年跑了进来，神色之中，带着一点惊恐：“太师父！太师父……不……”
他说到一半，突然住嘴，转身就想要离去。
但希柏澈却叫住了他，沉声问道：“是不是连宗又出新花样了？”
那弟子僵硬的摇头，但最后却在算主的注视之下，点了点头，道：“太师父，这个……”
“结果很不好吗？”
“也未必……很不好，那个……这……这个？”
算主低吼道：“慌什么？难道是比不周之算更严重的东西吗？啊？”
那弟子这才稍稍镇静：“不是……”
“月寒的新体系，被人驳倒了？”
“不……没有。”那弟子叹息一声，将一篇信函递给希柏澈：“您自己看吧……”
“梵巴赫……姓梵的那个？”希柏澈瞪大眼睛。
这可不是好兆头。
“致希门主：一别经年……”
这一封信函的前半部分，全都不是客套话。算主直接跳过了。他看到信函的中间部分。
“……希门主还请回想一二。有穷集合之内，除了通过不证自明的公理直接宣告之外，是否有一种运算操作，可以接触到第一个可数技术‘道真之零’【beth-0】？……康门主昔日之雄心，不外乎‘所有序数之序数’。姑且抛下不周之算，且看起本身。至少，这以概念之内的全部元素，都是低层次序数通过集合论运算而来……”
看到这里，算主心中已经隐隐有了一丝不安。
尽管算学就是将“不证自明”说透的东西，但是，那也只是“发现过去被认为是“公理”的事物其实不是公理”的过程而已。
逻辑必然存在原点。
所谓“原点”，就是“不证自明”的公理。
这是一切逻辑思维的起点。
王崎就算不喜欢这个说法，暂时也没有跳出这怪圈的思路。
“是以，吾等可以宣告一个全新的无穷公理，其名越不可达基数存在公理。”
“不可达基数，居于其之下的基数无论通过怎么样的集合论运算，都不可能达到的基数。”
“所以，第一不可达基数便是第一可数技术，第二不可达基数便是比“所有序数的序数的基数”更大的基数……”
“滴答……”
算主一愣，发现自己嘴角逐渐淌下一点血来。
不知不觉间，自己的脏腑居然已经严重受创了。
再看那信，居然已经有些视线模糊了。
“真是……狠毒……”
这位连宗的逍遥，并没有想要直接驳倒冯落衣。
实际上，当冯落衣证明“无穷公理在良基集合的体系下不可证明也不可证伪”的时候，就已经立于不败之地了。
所以，他只是挑明了另一件事。
冯落衣的良基集合，与歌庭派所秉持的经典集合论、经典逻辑，同样不合拍。
歌庭派、冯落衣图灵、王崎的基派，看似全都是离宗干将。
但实际上，他们自己之间的分歧，都大得可怕。
或许这不能算有力的反击，但是，歌庭派与冯落衣的分歧，总能为连宗争取时间。