手机浏览器扫描二维码访问
光看标题,很难想象这是一片出自于离宗弟子之手的论文。
“直觉主义”的扛旗者,一直都是算君。而算君就是连宗的代表人物。
很少有离宗弟子对“直觉论”提出看法的。
如果他们在论文之中写直觉论,那么基本就是“直斥其非”了。
或者说直接一点,这就是要开战的节奏。
这一篇论文,点明了歌庭派接下来的研究方向。
他们想要证明,在某种意义上,直觉主义算术,和集合论是等价的。
直觉主义算术同样可以被不周之算否定掉!
连宗同样逃不过不周之算的魔咒!
这一篇论文一出,整个万法门都震动了起来。
所有连宗弟子都开始显得惴惴不安。数年之前,那半个万法门沦陷、神州仙盟近乎瘫痪的灾难性现场,还历历在目。上一次的时候,他们在幸灾乐祸的拍手。
这一次,轮到他们了吗?
而与此同时,离宗修士的眼神之中,却出现了一丝快意的光芒。
“不周之劫”中首创越重的离宗算家,脸上的这种表情就越明显。
就算我不能活,也得拉着你一起死!
而在这个时候,已经和歌庭派渐行渐远的冯落衣,居然抛出了全新的论文。
他接过了连宗对“切断自我指涉”的研究,运用算器的思想,去研究良基集。
并且还取得了相当的成果。
这令万法门内下巴碎了一地。
自从执掌万仙幻境之后,冯落衣就很少进行算理的研究了,与歌庭派的来往也逐渐减少。很多新一代修士都将他视为是中立的应用类算家。
但那些老一辈修士都还记得一点。
算器理论,始终是建立在离宗算理之上的。
歌庭派与冯落衣是在两个方向上对连宗进行攻击。
从思路上看,他们一方秉持着算主“相对一致”的思路,另一方则遵循了算主“切断自指”的思路。而从目的上看,他们一方是要证明排中律的安全性,另一方则是要证明无穷公理的安全性。
这简直就是釜底抽薪,从根底上打击连宗。
而且他们还使用了连宗修士的部分研究成果。
这使得离宗修士好像打了鸡血一样振奋。
但是,新年刚过,到了宇历二年的年初,远在他乡的王崎,又发表了篇全新的论文。
《字问题,及一个案例——关于半群字问题的不可判定性》。
由于“形式语言学”之前在神州铺路,所以这一门新学问,已经为人们所知晓。
而判定性问题,则牵涉到最近论战的核心。
所以,这一篇论文,确实引发了广泛关注。
但这却让许多离宗修士一口血吐了出来。
神偷长公主 大明孤狼 时光请善待我的她 天地炼成 天黑请开眼 捡到病娇太子之后(重生) 废材重生:邪王独宠悍王妃 断神 系统之娇宠孕妻 一爱到底之顾少毒妻 我是狠人大帝的同乡 直播和男神同居的日子 娱乐超级奶爸 烈火燃情:高冷总裁滚远点 穿越之弃子国师 眼镜兄撞上恶魔王子 赌妃在上,王爷在下 最强除妖师 悍妻[医道] 扛着boss拼下限(末世)
来到了小欢喜电视剧中,被宋倩收养之后,和乔英子一起长大,有我在,抑郁症你还会来吗如果您喜欢小欢喜之少年情怀,别忘记分享给朋友...
关于洪荒穿越成天道绝不合道一醒来,萧道就发现自己穿越成了洪荒天道。什么?鸿钧传道请我上座?帝俊太一抢着给我送法宝?女娲成圣的九天息壤跟我有缘?天地大劫由我操纵?鲲鹏和巫族慕名而来认我当大哥?不会吧,不会吧,我咋就成了洪荒第一大忙人了?...
关于不败战神都市逍遥战神帝国战神,国士无双,率军远征边疆,所向披靡,得知好友被害,毅然决然回到故土,此后腥风血雨,席卷天下...
八零年代的白富美,备受父兄宠爱,谁知却恋爱脑为了渣男,最后害家人惨死,自己死不瞑目。重回八零年代,她以退为进,惩罚渣男一无所有开启暴走模式。又意外跟天才小帅哥江昱枫不打不相识,最后合作家电批发,成为商业大鳄,走向人生巅峰。只是这帅哥工作之余,时常在自己眼当显眼包!某日见她去相亲,江昱枫坐不住了,将她抵到墙角今日不谈工作,谈谈我们两的事。如果您喜欢重回80,踹掉渣男后开挂了,别忘记分享给朋友...
关于厉少的盛世宠妻他强势而来,霸道的将她抵在墙角小东西,做我的女人,没有我的允许,不准离开!我不是你的宠物。那就做厉太太!他是厉氏集团总裁商业帝国的王,呼风唤雨的人物不可小觑的霸主,他锐不可当,冷酷倨傲,残忍决绝。传言,他喜欢乔雨馨,极端的让她的世界里只剩下他。他偏执上瘾,她步步后退,终于爆发,你到底想要什么?我要你!她心头一跳,我拒绝!当算计,危险接踵而来,让她跌入深渊之时,他将戒指...
开局继承一家道观,一人一观一聊斋,长生之法,天罡地煞护道,狐妖伥鬼僵尸纷乱的离国地界。收录伥鬼一只,奖励七十二地煞术之一通幽收录妖灵一只,奖励七十二地煞术之一斩妖收录器灵一只,奖励七十二地煞术之一剑术如果您喜欢聊斋从继承道观开始,别忘记分享给朋友...