手机浏览器扫描二维码访问
光看标题,很难想象这是一片出自于离宗弟子之手的论文。
“直觉主义”的扛旗者,一直都是算君。而算君就是连宗的代表人物。
很少有离宗弟子对“直觉论”提出看法的。
如果他们在论文之中写直觉论,那么基本就是“直斥其非”了。
或者说直接一点,这就是要开战的节奏。
这一篇论文,点明了歌庭派接下来的研究方向。
他们想要证明,在某种意义上,直觉主义算术,和集合论是等价的。
直觉主义算术同样可以被不周之算否定掉!
连宗同样逃不过不周之算的魔咒!
这一篇论文一出,整个万法门都震动了起来。
所有连宗弟子都开始显得惴惴不安。数年之前,那半个万法门沦陷、神州仙盟近乎瘫痪的灾难性现场,还历历在目。上一次的时候,他们在幸灾乐祸的拍手。
这一次,轮到他们了吗?
而与此同时,离宗修士的眼神之中,却出现了一丝快意的光芒。
“不周之劫”中首创越重的离宗算家,脸上的这种表情就越明显。
就算我不能活,也得拉着你一起死!
而在这个时候,已经和歌庭派渐行渐远的冯落衣,居然抛出了全新的论文。
他接过了连宗对“切断自我指涉”的研究,运用算器的思想,去研究良基集。
并且还取得了相当的成果。
这令万法门内下巴碎了一地。
自从执掌万仙幻境之后,冯落衣就很少进行算理的研究了,与歌庭派的来往也逐渐减少。很多新一代修士都将他视为是中立的应用类算家。
但那些老一辈修士都还记得一点。
算器理论,始终是建立在离宗算理之上的。
歌庭派与冯落衣是在两个方向上对连宗进行攻击。
从思路上看,他们一方秉持着算主“相对一致”的思路,另一方则遵循了算主“切断自指”的思路。而从目的上看,他们一方是要证明排中律的安全性,另一方则是要证明无穷公理的安全性。
这简直就是釜底抽薪,从根底上打击连宗。
而且他们还使用了连宗修士的部分研究成果。
这使得离宗修士好像打了鸡血一样振奋。
但是,新年刚过,到了宇历二年的年初,远在他乡的王崎,又发表了篇全新的论文。
《字问题,及一个案例——关于半群字问题的不可判定性》。
由于“形式语言学”之前在神州铺路,所以这一门新学问,已经为人们所知晓。
而判定性问题,则牵涉到最近论战的核心。
所以,这一篇论文,确实引发了广泛关注。
但这却让许多离宗修士一口血吐了出来。
天地炼成 天黑请开眼 穿越之弃子国师 扛着boss拼下限(末世) 最强除妖师 一爱到底之顾少毒妻 赌妃在上,王爷在下 神偷长公主 时光请善待我的她 断神 娱乐超级奶爸 捡到病娇太子之后(重生) 悍妻[医道] 眼镜兄撞上恶魔王子 系统之娇宠孕妻 烈火燃情:高冷总裁滚远点 大明孤狼 我是狠人大帝的同乡 废材重生:邪王独宠悍王妃 直播和男神同居的日子
关于重生狂妻已上线前世她信错了人,落得家破人亡的结局,一朝重生,废物草包一改从前,发誓要让他们好好尝尝人生艰难!白莲花,她打!狗男人,她踩!传闻云家千金马甲重重,黑粉们不甘心,疯狂开始扒马甲,...
关于傅爷怀里的假千金真绝了前世的时瑾不仅是公认的恋爱脑大花瓶,更是时家抱错的假千金,落了个惨死的下场。重生后的时瑾,控干了脑子里的水分,智商上线,抱紧金大腿,发展事业虐渣两不误。一无所知的...
一觉醒来,陆晨发现自己变成了一只半斤重的湾鳄幼崽。白鹭老鹰蛇类一个个天敌对它虎视眈眈。本以为自己能够成为君临天下的凶兽王者,没曾想连顺利活到成年都是问题灵气复苏,异兽类,不化型。如果您喜欢从湾鳄开始进化,别忘记分享给朋友...
1644年,流寇称帝,南明内部倾轧,无暇北顾。鞑子趁机入关,汉家百姓被鞑子随意宰杀,左衽剃发,沦为奴才,不行!既然他们守不住这汉家天下,那我来守!秦祚明决心当好大明最后一个忠臣,新帝国的核心价值观就是忠诚,忠诚,还是Tmd忠诚!既然皇帝说我不忠诚,那我就把他忠诚掉!另有三百万完本老书从长坂坡开始,人品保证,希望大家多多支持哈。如果您喜欢大明最后一个忠臣,别忘记分享给朋友...
陆无双泰国旅游,意外街头遇见高中同学林中璨。‘碌番薯,先帮我个忙,其它都好商量。帮忙假扮现女友气走前任渣渣女,戏精上身简直不要太爽。扮一次假女友后怎么还给赖上了?回国没地方住,先暂住几天。酒店太贵了又不舒服,先收留几天。这住着住着,怎么变拖手仔了?林中璨,你是有预谋的吧?不,我是深谋远虑拐个老婆回家的。如果您喜欢甜品屋的大佬都超A,别忘记分享给朋友...
兵家乃入世之道,炼煞锻体,校阵荡寇,斩妖诛邪,保家守境,然不修性命,寿不过百。王玄魂穿修真界,已修兵家,只能凭借人望推演盘,将兵家术法推演至巅峰,争一线生机,自此踏鬼穴捣妖巢伐山破庙…许多年后,众多大教祖师聚集一堂,脸色难看说什么妖鬼邪魔,黑暗动乱…他王玄,才是这世间最大的恐怖!如果您喜欢真君请息怒,别忘记分享给朋友...