手机浏览器扫描二维码访问
第八十九章 万法门乱象（第3页）
“直觉主义”的扛旗者，一直都是算君。而算君就是连宗的代表人物。
很少有离宗弟子对“直觉论”提出看法的。
如果他们在论文之中写直觉论，那么基本就是“直斥其非”了。
或者说直接一点，这就是要开战的节奏。
这一篇论文，点明了歌庭派接下来的研究方向。
他们想要证明，在某种意义上，直觉主义算术，和集合论是等价的。
直觉主义算术同样可以被不周之算否定掉！
连宗同样逃不过不周之算的魔咒！
这一篇论文一出，整个万法门都震动了起来。
所有连宗弟子都开始显得惴惴不安。数年之前，那半个万法门沦陷、神州仙盟近乎瘫痪的灾难性现场，还历历在目。上一次的时候，他们在幸灾乐祸的拍手。
这一次，轮到他们了吗？
而与此同时，离宗修士的眼神之中，却出现了一丝快意的光芒。
“不周之劫”中首创越重的离宗算家，脸上的这种表情就越明显。
就算我不能活，也得拉着你一起死！
而在这个时候，已经和歌庭派渐行渐远的冯落衣，居然抛出了全新的论文。
他接过了连宗对“切断自我指涉”的研究，运用算器的思想，去研究良基集。
并且还取得了相当的成果。
这令万法门内下巴碎了一地。
自从执掌万仙幻境之后，冯落衣就很少进行算理的研究了，与歌庭派的来往也逐渐减少。很多新一代修士都将他视为是中立的应用类算家。
但那些老一辈修士都还记得一点。
算器理论，始终是建立在离宗算理之上的。
歌庭派与冯落衣是在两个方向上对连宗进行攻击。
从思路上看，他们一方秉持着算主“相对一致”的思路，另一方则遵循了算主“切断自指”的思路。而从目的上看，他们一方是要证明排中律的安全性，另一方则是要证明无穷公理的安全性。
这简直就是釜底抽薪，从根底上打击连宗。
而且他们还使用了连宗修士的部分研究成果。
这使得离宗修士好像打了鸡血一样振奋。
但是，新年刚过，到了宇历二年的年初，远在他乡的王崎，又发表了篇全新的论文。
字问题，及一个案例关于半群字问题的不可判定性。
由于“形式语言学”之前在神州铺路，所以这一门新学问，已经为人们所知晓。
而判定性问题，则牵涉到最近论战的核心。
所以，这一篇论文，确实引发了广泛关注。
但这却让许多离宗修士一口血吐了出来。
老铁!还在找"大神网文"免费更新?
百度直接搜索:"tv"看免费小说，没毛病!
（=tv）
异能寻宝家
与世无争，与人无忧，碧天海阔的海岛，广阔无边的牧场，历史沉淀的庄园，没事考考古，发掘发掘史前文明，没事修修仙，畅游天地之间...
英雄联盟之传奇正盛
有多少人还记得那个id，那个让无数职业选手闻风丧胆的id，若风叫他呆哥，草莓被他带到国服第一，笑笑，厂长，pdd看到他在对面直接就挂机。他却因为一次任性被封号三年。他制造了英雄联盟在线人数最少的纪录。他是国服最早的两大路人王之一他被称为传奇。如今，传奇回来了，在这个传奇正盛的年代，他回来了！他的id叫做发呆！...
炮台法师
皇家法术学院。导师问如果敌人跑进地形未知的山洞，该怎么应对？学生A派出精锐斥候，为他加持影遁术，让他进入山洞探查地形。学生B使用动物之眼，...
综穿之拯救痴情女
本书简介亲，你看小说时，曾经为里面的某个阴险狠毒却可怜可悲的女人而遗憾吗？你看电视时，曾经为某个痴情无悔却最终独身的女人而心疼吗？如果有，那么请你不要走开，本文中，作者为这些痴情女子在二十一世纪精挑细选了多位精英男士，保证让这些痴情女子脱离曾经的苦恋，有个幸福美满的结局。本文不虐人（可能吧），不黑人（看我喜不喜欢），喜欢此类型的快到我的碗里来吧。不要客气的收藏一下吧O∩∩O。亲爱的们，刚刚编编下达通知，说周日入V入望大家能一如既往的支持我，谢谢！O∩∩O伯研的文。...
跑男之娱乐生活
滴答滴答杂乱不堪的酒桌上，残留的酒水顺着光滑的桌面落在酒桌下横躺着的身体上。感受着喉咙处传来的干涩，陈慕猛地睁开双眼，忍着头痛欲裂的感觉，迷茫的看着周围这个极为陌生的破旧屋子。这是哪讨论群657895679...
超能逆天之路
十二平行宇宙，九十六颗源缘珠，跨越时间与空间的情感，最强主角却被屡屡惨遭封号，主角团八人在宇宙的路程中到底会遇到些什么？全神者，那凯游移凹凼，四大圣兽，四大神兽，四大凶兽，四大灵兽，这些都与主角们有什么联系呢？明明只想让身边的人开心的男一号，为了让大家幸福，选择了牺牲自己！所谓的转世，只不过是感情的延续罢了！展开收起...