手机浏览器扫描二维码访问
光看标题,很难想象这是一片出自于离宗弟子之手的论文。
“直觉主义”的扛旗者,一直都是算君。而算君就是连宗的代表人物。
很少有离宗弟子对“直觉论”提出看法的。
如果他们在论文之中写直觉论,那么基本就是“直斥其非”了。
或者说直接一点,这就是要开战的节奏。
这一篇论文,点明了歌庭派接下来的研究方向。
他们想要证明,在某种意义上,直觉主义算术,和集合论是等价的。
直觉主义算术同样可以被不周之算否定掉!
连宗同样逃不过不周之算的魔咒!
这一篇论文一出,整个万法门都震动了起来。
所有连宗弟子都开始显得惴惴不安。数年之前,那半个万法门沦陷、神州仙盟近乎瘫痪的灾难性现场,还历历在目。上一次的时候,他们在幸灾乐祸的拍手。
这一次,轮到他们了吗?
而与此同时,离宗修士的眼神之中,却出现了一丝快意的光芒。
“不周之劫”中首创越重的离宗算家,脸上的这种表情就越明显。
就算我不能活,也得拉着你一起死!
而在这个时候,已经和歌庭派渐行渐远的冯落衣,居然抛出了全新的论文。
他接过了连宗对“切断自我指涉”的研究,运用算器的思想,去研究良基集。
并且还取得了相当的成果。
这令万法门内下巴碎了一地。
自从执掌万仙幻境之后,冯落衣就很少进行算理的研究了,与歌庭派的来往也逐渐减少。很多新一代修士都将他视为是中立的应用类算家。
但那些老一辈修士都还记得一点。
算器理论,始终是建立在离宗算理之上的。
歌庭派与冯落衣是在两个方向上对连宗进行攻击。
从思路上看,他们一方秉持着算主“相对一致”的思路,另一方则遵循了算主“切断自指”的思路。而从目的上看,他们一方是要证明排中律的安全性,另一方则是要证明无穷公理的安全性。
这简直就是釜底抽薪,从根底上打击连宗。
而且他们还使用了连宗修士的部分研究成果。
这使得离宗修士好像打了鸡血一样振奋。
但是,新年刚过,到了宇历二年的年初,远在他乡的王崎,又发表了篇全新的论文。
《字问题,及一个案例——关于半群字问题的不可判定性》。
由于“形式语言学”之前在神州铺路,所以这一门新学问,已经为人们所知晓。
而判定性问题,则牵涉到最近论战的核心。
所以,这一篇论文,确实引发了广泛关注。
但这却让许多离宗修士一口血吐了出来。
系统之娇宠孕妻 捡到病娇太子之后(重生) 废材重生:邪王独宠悍王妃 眼镜兄撞上恶魔王子 大明孤狼 娱乐超级奶爸 最强除妖师 时光请善待我的她 一爱到底之顾少毒妻 天黑请开眼 天地炼成 神偷长公主 赌妃在上,王爷在下 穿越之弃子国师 扛着boss拼下限(末世) 断神 悍妻[医道] 烈火燃情:高冷总裁滚远点 我是狠人大帝的同乡 直播和男神同居的日子
穿到星际时代,最想做的事情是什么?开飞船?穿机甲?收小弟?征服星辰大海?身为御厨传人的简言,颠了颠手中特制的大勺,一声冷笑。to样to森破。面对令人烦不胜烦,繁殖力旺盛的虫族,还有风吹生又生,剪不断理又乱的各种动植物。简言一脚踩碎地上的营养液瓶说吧,你们想把它们吃成几级保护?帝国人民连连摇头不不不,太恶心了,打死我们也不会吃的!后来,帝国人民吸溜着口水大喊真香。脸也被打得好疼!围观大型打脸现场的陆瑾修,很好,他家媳妇儿的风采无人能敌!如果您喜欢星际之厨神她可盐可甜,别忘记分享给朋友...
或许每个人都带有执念,当人带着极致的执念在绝望中死去,便可能诞生恐怖的诡异。它们没有灵魂,毫无理智,难以交流,带有严重的偏执倾向,令人心生恐惧。而我养了一屋子执念。如果您喜欢养了一屋执念,别忘记分享给朋友...
叶栗以为只是一场梦,结果梦醒后,身在丧尸横行的末日世界不说,还生了俩爹都不知道是谁的娃。末世太苦,没物资,没关系,反正她祖传是农民,她能自己种农作物!末世人心太坏,斗不过,没关系,反正娃他爹是超级大BOSS,找大BOSS当靠山,谁还敢欺负他们娘三!如果您喜欢末世种田带着萌宝去寻夫,别忘记分享给朋友...
我叫张鹤龄,没错,就是大明朝那个坏事做尽丧尽天良的寿宁侯张鹤龄。以前我没得选,只能以反派的身份出现,这一次,我想做个好人。所以,谁敢拦着我做好人,我就打死他!新人新书,多谢大家支持,本书讨论群925806889,进群暗号看到杨桃就扑上去如果您喜欢大明寿宁侯,别忘记分享给朋友...
主人公夏海当过兵,却得罪了人,落个退役的下场,夏海人很热心,可是却也坏在热心上面。一次偶然的见义勇为却不想成了穿越大军的一员,来到了远古时代,但是,夏海却发现,这里并不原始。这里有着大大小小的部落。这里已经有了大的部落联盟,或者称呼为诸侯国也不错。这里是一个实力为尊的世界,这个世界的个体力量几乎异常的强大。夏海该如...
当繁星归位之时,拉莱耶将从海底升起密大图书馆里,看着入侵学校的外神子嗣,布鲁斯挥手放出了他养的猎犬。发现死灵之书译本,获得完整死灵之书!发现仙砂返魂箓,获得玄君七章!坐镇密大图书馆,迎接群星归位之时的到来!如果您喜欢群星归位,开局签到死灵之书,别忘记分享给朋友...