按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
这一年年末，终于有连宗的炼虚期修士忍不住怒火，要与赵清潭做过一场。
只是，赵清潭如今已经不是当初刚刚回到神州的赵清潭了。
他也在高速成长期中。或者说，基派的所有修士，都处在高速成长期之中——包括王崎。
随着基派理论的进一步完善，基派修士也在以“天”为单位变强。
赵清潭拔剑怒挑一十三名连宗炼虚，终于因为体力不支而惜败于第一十四名。
但经过之前的造势，这并没有损害到基派上升的势头。
相反，连宗反而有了“辩不过就打，打不过还车轮战”的负面名声。
这让贴着膏药的赵清潭在苏君宇面前笑了许久。
“该！”苏君宇狠狠的说道。
他是基派在神州的唯一核心成员，并且与外界的诸多事务，都要落到他身上。
基派光荣的时候，他也能一并获益。但在这种连宗攻讦、门内暗流汹涌的时候，许多压力就得他一个人抗下了。
虽然早有觉悟，但是那些在他看来简直疯狂的连宗弟子，真的是有病。
不，不只是连宗弟子。
不周之算的客观存在，使得很多离宗弟子，其实都不大待见基派。
有一段时间，基派几乎成为连宗离宗的公敌了。
而赵清潭此举，算是让他出了口恶气。
只不过，连宗也知晓这样不善，所以收敛了很多。
但相对的，又有几篇沿着“切断自我指涉”这一条路绕过“不完备定理”的论文被甩了出来。
“形势严峻，形势严峻呀！”苏君宇如此说着，似乎有些坐卧不安。
“你急什么？皇帝不急的……”赵清潭摇摇头：“我再过个把月就要回他乡了，有什么事到时候再说。咱们先把这个新年安安稳稳的过了。”
“也是，也是。”苏君宇立刻露出笑容来：“赵师兄想来也是好几年没有回家乡了吧？我就不打扰赵师兄了。明日我就去焚金谷拜访一二。”
“真是……重色轻友。”赵清潭笑骂一句：“滚去焚金谷吧！”
这几日，两人都算舒心。
赵清潭的一系列举动，确实在凡人之中掀起了风潮。毫不夸张的说，他在凡人中间的知名度，就已经仅次于万法门当代门主陈景云了。陈景云亦是可以算离宗修士。而在这一点上，竟没几个连宗修士可以与之相比。
如果不出意外的话，下一代万法门修士当中，离宗比例，会高出不少。
其中也必然会有相当数量情感上天然偏向基派。
这就是很好的结果了。
而他也确实在万法门的结丹期弟子当中，挖掘出了十多个有天分的孩子，苏君宇也推荐了几个元神期修士。这些修士，都原因跟他去他乡，拜入王崎门下。
这次“买面粉”，算得上是“圆满成功”了。
只要接下来没有太大的问题，他们就可以安安心心过个好年了。
嗯，只要没有太大的问题。
没有太大问题。
数日之后，歌庭派众逍遥联名发表了第一篇论文。
《试论直觉命题演算》
光看标题，很难想象这是一片出自于离宗弟子之手的论文。
“直觉主义”的扛旗者，一直都是算君。而算君就是连宗的代表人物。
很少有离宗弟子对“直觉论”提出看法的。
如果他们在论文之中写直觉论，那么基本就是“直斥其非”了。
或者说直接一点，这就是要开战的节奏。
这一篇论文，点明了歌庭派接下来的研究方向。
他们想要证明，在某种意义上，直觉主义算术，和集合论是等价的。
直觉主义算术同样可以被不周之算否定掉！
连宗同样逃不过不周之算的魔咒！
这一篇论文一出，整个万法门都震动了起来。
所有连宗弟子都开始显得惴惴不安。数年之前，那半个万法门沦陷、神州仙盟近乎瘫痪的灾难性现场，还历历在目。上一次的时候，他们在幸灾乐祸的拍手。
这一次，轮到他们了吗？
而与此同时，离宗修士的眼神之中，却出现了一丝快意的光芒。
“不周之劫”中首创越重的离宗算家，脸上的这种表情就越明显。
就算我不能活，也得拉着你一起死！
而在这个时候，已经和歌庭派渐行渐远的冯落衣，居然抛出了全新的论文。
他接过了连宗对“切断自我指涉”的研究，运用算器的思想，去研究良基集。
并且还取得了相当的成果。
这令万法门内下巴碎了一地。
自从执掌万仙幻境之后，冯落衣就很少进行算理的研究了，与歌庭派的来往也逐渐减少。很多新一代修士都将他视为是中立的应用类算家。
但那些老一辈修士都还记得一点。
算器理论，始终是建立在离宗算理之上的。
歌庭派与冯落衣是在两个方向上对连宗进行攻击。
从思路上看，他们一方秉持着算主“相对一致”的思路，另一方则遵循了算主“切断自指”的思路。而从目的上看，他们一方是要证明排中律的安全性，另一方则是要证明无穷公理的安全性。
这简直就是釜底抽薪，从根底上打击连宗。
而且他们还使用了连宗修士的部分研究成果。
这使得离宗修士好像打了鸡血一样振奋。
但是，新年刚过，到了宇历二年的年初，远在他乡的王崎，又发表了篇全新的论文。
《字问题，及一个案例——关于半群字问题的不可判定性》。
由于“形式语言学”之前在神州铺路，所以这一门新学问，已经为人们所知晓。
而判定性问题，则牵涉到最近论战的核心。
所以，这一篇论文，确实引发了广泛关注。
但这却让许多离宗修士一口血吐了出来。
第九十章 怪现象
半群字问题的不可判定性，是人类发现的第一个并非有数学家制造，而是天然存在的不可判定性问题。
它也就意味着另一重真实。
“不可判定性，并不仅仅是局限于纯粹算理之中那么简单”。
它就好像是在强调“不可判定性”这个概念的客观性一样。
无数连宗修士如丧考妣。他们实在是无法相信，构成自己思维的语言，居然也蕴含着“不可判定性”的危险。
但是，一时之间，他们甚至都找不到反驳的由头。
因为，在“语言学”这一块上，王崎就占据着垄断地位，他使用算理与逻辑来处理文字问题。
这毫无疑问，就是一个离宗的领域。
连宗甚至找不到施展拳脚的点，无从发力。
“这……冯落衣，王崎，这一对师徒，是要联手灭门吗？”
有连宗修士惊恐的喊道。
但是，相比于连宗，离宗也同样难受。
这一篇论文，可是再一次强调了“不可判定性”的地位。
“这家伙，为了鼓吹自己，所以就拿我们来下手吗？”
有离宗修士也是恨得咬牙切齿。
王崎这一篇论文，无疑就是一记重拳，狠狠砸在离宗修士的脊梁骨上。
这一下，无论是离宗还是连宗，都没有讨到好处。
但是，很快，就有连宗逍遥做出回应了。
多位连宗逍遥已经结束了自己在征天司的现阶段任务，专心准备这一场论战。
现在，连宗内部，居然渐渐出现了新的方向。
他们居然尝试学习离宗的“逻辑”，吸收离宗的知识，用离宗的理论反击离宗。
这应当算是对冯落衣利用连宗“切断自指”的研究成果，进而开始研究排除自指集的做法进行反击。
而出乎意料的是，一向与世无争的雪国派，此时此刻，居然也流露出下场的意图。
雪国派现任领袖，“雪国主”柯寞歌【安德列·柯尔莫哥洛夫】也发表了新论文。
他对名为“可实现性”的理论，进行了全新的叙述。
雪国派也是连宗典范，也从属于“直觉派”，同样会对算君执弟子礼。
但是，雪国派的“直觉”，和算君的“直觉”，又有微妙的差异。
实际上，关于“直觉”的构造，不同的连宗修士也有不同的想法。
雪国主的论文指示出了一个奇异的事实。对于任意命题，存在对应的非命题，其非命题成立的则意味着该命题的荒谬。某非命题的证明，是把该命题的证明变换成荒谬的证明的函数。
荒谬的标准例子可以在算术中找到。假定0＝1，并进行数学归纳法：0＝0通过等同公理得到；（归纳假设）如果0等于特定自然数n，则1将等于n＋1，但是因为0＝1，所以0也�