手机浏览器扫描二维码访问
“直觉主义”的扛旗者,一直都是算君。而算君就是连宗的代表人物。
很少有离宗弟子对“直觉论”提出看法的。
如果他们在论文之中写直觉论,那么基本就是“直斥其非”了。
或者说直接一点,这就是要开战的节奏。
这一篇论文,点明了歌庭派接下来的研究方向。
他们想要证明,在某种意义上,直觉主义算术,和集合论是等价的。
直觉主义算术同样可以被不周之算否定掉!
连宗同样逃不过不周之算的魔咒!
这一篇论文一出,整个万法门都震动了起来。
所有连宗弟子都开始显得惴惴不安。数年之前,那半个万法门沦陷、神州仙盟近乎瘫痪的灾难性现场,还历历在目。上一次的时候,他们在幸灾乐祸的拍手。
这一次,轮到他们了吗?
而与此同时,离宗修士的眼神之中,却出现了一丝快意的光芒。
“不周之劫”中首创越重的离宗算家,脸上的这种表情就越明显。
就算我不能活,也得拉着你一起死!
而在这个时候,已经和歌庭派渐行渐远的冯落衣,居然抛出了全新的论文。
他接过了连宗对“切断自我指涉”的研究,运用算器的思想,去研究良基集。
并且还取得了相当的成果。
这令万法门内下巴碎了一地。
自从执掌万仙幻境之后,冯落衣就很少进行算理的研究了,与歌庭派的来往也逐渐减少。很多新一代修士都将他视为是中立的应用类算家。
但那些老一辈修士都还记得一点。
算器理论,始终是建立在离宗算理之上的。
歌庭派与冯落衣是在两个方向上对连宗进行攻击。
从思路上看,他们一方秉持着算主“相对一致”的思路,另一方则遵循了算主“切断自指”的思路。而从目的上看,他们一方是要证明排中律的安全性,另一方则是要证明无穷公理的安全性。
这简直就是釜底抽薪,从根底上打击连宗。
而且他们还使用了连宗修士的部分研究成果。
这使得离宗修士好像打了鸡血一样振奋。
但是,新年刚过,到了宇历二年的年初,远在他乡的王崎,又发表了篇全新的论文。
《字问题,及一个案例——关于半群字问题的不可判定性》。
由于“形式语言学”之前在神州铺路,所以这一门新学问,已经为人们所知晓。
而判定性问题,则牵涉到最近论战的核心。
所以,这一篇论文,确实引发了广泛关注。
但这却让许多离宗修士一口血吐了出来。
天才一秒记住本站地址:.。手机版阅读网址:
盛世花都 舌尖天下 什么?奥特曼是终身制的? 运河之韵 我的修真小米三 穿进语文书,从刺猹开始 大明:开局剧透崇祯,重振河山 先婚后爱:娇妻拒婚101次 建立帝国从骑士次子开始 敛财心 我,地球唯一超能力者 巫妖生存指南 道化九界 巨树领主 月薪十万,女总裁她果然不只是让我当司机 万苍天穹 网游航海之王 谭笑风声里,灼灼桃之夭 灵异直播,女主她不想吓人 西游:六岁熊孩子,开局怒怼观世音
侠之大者,为国为民。让宵小之辈有所震慑,让权贵之人有所忌惮,为沉冤者得雪,为弱小者仗剑,为天下开太平!微信sanguanyouzai。交流公众号三观犹在。...
无意间得到了一款游戏,里边的剧本精彩纷呈妖魔鬼怪怪异魔神让王昊走上了意想不到的道路。这是跨越维度的旅行,我们探索未知,却得到更多未知我们反抗恐惧,却得到更多恐惧。当人类在黑暗中迷失方向,我将成为他们的先驱,燃烧自己的心骨,照亮前进的道路!...
魔蝎小说...
九阳神功力拼嫁衣神功,究竟孰强孰弱?燎原百击直面天外飞仙,谁可当世称雄?神州大地,山河之内,主宰一切的,只有武功,也只能是武功。段毅来到陌生而又熟悉的...
2120年,人类科技水平再次迈上了新台阶。新种族的诞生,能令意识长生不死的虚拟元宇宙世界,可用时间抗衡绝症的冰冻技术,崭新的资本角斗场眼花缭乱的出现在了地球原住民的眼前。人类与AI如何共...
犯罪权谋政商博弈跨国红商新书上线,主页观看一个被安插在犯罪集团的卧底,心狠手辣,冷酷无情,历尽波折当上了集团老大,亲手枪杀了唯一知道自己身份的上线。凭借过人的能力,得到了诸多大佬的赏识,自古以来,官与商之间藕断丝连,你中有我,我中有你。他究竟是隐藏极深的卧底,还是披着羊皮的恶狼!你所认为的好人,真的是好人吗?你所认为的坏人,便真的是坏人吗?内容纯属虚构。...