手机浏览器扫描二维码访问
光看标题,很难想象这是一片出自于离宗弟子之手的论文。
“直觉主义”的扛旗者,一直都是算君。而算君就是连宗的代表人物。
很少有离宗弟子对“直觉论”提出看法的。
如果他们在论文之中写直觉论,那么基本就是“直斥其非”了。
或者说直接一点,这就是要开战的节奏。
这一篇论文,点明了歌庭派接下来的研究方向。
他们想要证明,在某种意义上,直觉主义算术,和集合论是等价的。
直觉主义算术同样可以被不周之算否定掉!
连宗同样逃不过不周之算的魔咒!
这一篇论文一出,整个万法门都震动了起来。
所有连宗弟子都开始显得惴惴不安。数年之前,那半个万法门沦陷、神州仙盟近乎瘫痪的灾难性现场,还历历在目。上一次的时候,他们在幸灾乐祸的拍手。
这一次,轮到他们了吗?
而与此同时,离宗修士的眼神之中,却出现了一丝快意的光芒。
“不周之劫”中首创越重的离宗算家,脸上的这种表情就越明显。
就算我不能活,也得拉着你一起死!
而在这个时候,已经和歌庭派渐行渐远的冯落衣,居然抛出了全新的论文。
他接过了连宗对“切断自我指涉”的研究,运用算器的思想,去研究良基集。
并且还取得了相当的成果。
这令万法门内下巴碎了一地。
自从执掌万仙幻境之后,冯落衣就很少进行算理的研究了,与歌庭派的来往也逐渐减少。很多新一代修士都将他视为是中立的应用类算家。
但那些老一辈修士都还记得一点。
算器理论,始终是建立在离宗算理之上的。
歌庭派与冯落衣是在两个方向上对连宗进行攻击。
从思路上看,他们一方秉持着算主“相对一致”的思路,另一方则遵循了算主“切断自指”的思路。而从目的上看,他们一方是要证明排中律的安全性,另一方则是要证明无穷公理的安全性。
这简直就是釜底抽薪,从根底上打击连宗。
而且他们还使用了连宗修士的部分研究成果。
这使得离宗修士好像打了鸡血一样振奋。
但是,新年刚过,到了宇历二年的年初,远在他乡的王崎,又发表了篇全新的论文。
《字问题,及一个案例——关于半群字问题的不可判定性》。
由于“形式语言学”之前在神州铺路,所以这一门新学问,已经为人们所知晓。
而判定性问题,则牵涉到最近论战的核心。
所以,这一篇论文,确实引发了广泛关注。
但这却让许多离宗修士一口血吐了出来。
天地炼成 烈火燃情:高冷总裁滚远点 娱乐超级奶爸 捡到病娇太子之后(重生) 我是狠人大帝的同乡 废材重生:邪王独宠悍王妃 悍妻[医道] 大明孤狼 最强除妖师 眼镜兄撞上恶魔王子 直播和男神同居的日子 赌妃在上,王爷在下 断神 天黑请开眼 扛着boss拼下限(末世) 系统之娇宠孕妻 神偷长公主 一爱到底之顾少毒妻 穿越之弃子国师 时光请善待我的她
把头抬起来。冰冷的男音自面前传来,似是带着些慵懒的嗓音,又带着些不屑。跪在地上的穆尧打了个冷颤,挤着一脸的谄媚笑,抬起头道太子英明神武,草民屈于神威。如果您喜欢太子,下官不承恩,别忘记分享给朋友...
关于快穿女配崩坏主角打脸攻略晨曦被孟婆随手丢给了一个不靠谱的系统,从此走上了虐渣之路。白莲花,心机婊,绿茶婊,汉子婊,虐起来绝不手软。而当一大堆冷面王爷,霸道总裁,傲娇男神,清冷校草,冷酷帝...
陈锋穿越到我是特种兵的世界,在这个世界自己居然是富二代的身份。叶寸心陈锋,我怀了你的孩子,你说怎么办吧。范天雷陈锋,有兴趣做我们铁手团的兵吗?康师傅这个兵是我的,谁也别想从我这里挖走,德州扒鸡,二十年的好酒也不行,谁挖谁孙子。雷战陈锋啊,我可是你舅舅,有没有兴趣来我们火凤凰女子特战队来当指挥官,叶寸心也在我们火凤凰哦!陈锋如果您喜欢让你代管狼牙,火凤凰全成女兵王,别忘记分享给朋友...
叮,签到成功。您将获得穿越到斗罗大陆和获得传说中龙神武魂的机会。左助有些懵逼。,,,孩子,你好,我叫千道流。?老者慈祥的看向左助。孩子,从今天开始我就是你的师父了。千道流?难道是斗罗里面的那个大反派?左助有些懵逼。,,,左助,这就是你未来的未婚妻了。千道流指着面前的千仞雪,对着左助说道。千仞雪是我女儿。比比东俏脸上浮现出一丝怒容。左助可是拥有传说中龙神武魂的人?千道流淡淡的说道。什么?比比东震惊了。刚刚穿越过来的左助看着面前娇羞的千仞雪再一次的懵逼。我怎么会穿越到斗罗呢?我怎么会成为武魂殿的赘婿呢?难道说,如果您喜欢斗罗之从签到开始做龙神,别忘记分享给朋友...
当末世来临,人类成为整个星球上最为弱小的生物,要想要在夹缝中生存,就需要与天争与地斗。作为一名拥有系统的人类又将如何在这个末世中将整个世界搅得天翻地覆呢如果您喜欢末世之宠物领主,别忘记分享给朋友...
修仙觅长生,热血任逍遥,踏莲曳波涤剑骨,凭虚御风塑圣魂!如果您喜欢一品道门,别忘记分享给朋友...