手机浏览器扫描二维码访问
光看标题,很难想象这是一片出自于离宗弟子之手的论文。
“直觉主义”的扛旗者,一直都是算君。而算君就是连宗的代表人物。
很少有离宗弟子对“直觉论”提出看法的。
如果他们在论文之中写直觉论,那么基本就是“直斥其非”了。
或者说直接一点,这就是要开战的节奏。
这一篇论文,点明了歌庭派接下来的研究方向。
他们想要证明,在某种意义上,直觉主义算术,和集合论是等价的。
直觉主义算术同样可以被不周之算否定掉!
连宗同样逃不过不周之算的魔咒!
这一篇论文一出,整个万法门都震动了起来。
所有连宗弟子都开始显得惴惴不安。数年之前,那半个万法门沦陷、神州仙盟近乎瘫痪的灾难性现场,还历历在目。上一次的时候,他们在幸灾乐祸的拍手。
这一次,轮到他们了吗?
而与此同时,离宗修士的眼神之中,却出现了一丝快意的光芒。
“不周之劫”中首创越重的离宗算家,脸上的这种表情就越明显。
就算我不能活,也得拉着你一起死!
而在这个时候,已经和歌庭派渐行渐远的冯落衣,居然抛出了全新的论文。
他接过了连宗对“切断自我指涉”的研究,运用算器的思想,去研究良基集。
并且还取得了相当的成果。
这令万法门内下巴碎了一地。
自从执掌万仙幻境之后,冯落衣就很少进行算理的研究了,与歌庭派的来往也逐渐减少。很多新一代修士都将他视为是中立的应用类算家。
但那些老一辈修士都还记得一点。
算器理论,始终是建立在离宗算理之上的。
歌庭派与冯落衣是在两个方向上对连宗进行攻击。
从思路上看,他们一方秉持着算主“相对一致”的思路,另一方则遵循了算主“切断自指”的思路。而从目的上看,他们一方是要证明排中律的安全性,另一方则是要证明无穷公理的安全性。
这简直就是釜底抽薪,从根底上打击连宗。
而且他们还使用了连宗修士的部分研究成果。
这使得离宗修士好像打了鸡血一样振奋。
但是,新年刚过,到了宇历二年的年初,远在他乡的王崎,又发表了篇全新的论文。
《字问题,及一个案例——关于半群字问题的不可判定性》。
由于“形式语言学”之前在神州铺路,所以这一门新学问,已经为人们所知晓。
而判定性问题,则牵涉到最近论战的核心。
所以,这一篇论文,确实引发了广泛关注。
但这却让许多离宗修士一口血吐了出来。
扛着boss拼下限(末世) 悍妻[医道] 直播和男神同居的日子 废材重生:邪王独宠悍王妃 眼镜兄撞上恶魔王子 天黑请开眼 娱乐超级奶爸 最强除妖师 烈火燃情:高冷总裁滚远点 捡到病娇太子之后(重生) 系统之娇宠孕妻 断神 穿越之弃子国师 神偷长公主 大明孤狼 一爱到底之顾少毒妻 时光请善待我的她 天地炼成 赌妃在上,王爷在下 我是狠人大帝的同乡
苏晨重生到了平行世界的S7赛季,开局觉醒系统,用青钢影单杀主播余小C,意外火遍全网!江科大医学精准与否,就是屠宰与手术的区别江科大心理学谎言不会伤人真相才是快刀。江科大哲学世界既不黑也不白,而是一道精致的灰。玩梗文,路人王主播职业。如果您喜欢联盟我的青钢影让母校出名了,别忘记分享给朋友...
国之将亡,遍地魔法,唯有科学,兴国安邦。我不信邪,我信科学!提示,这并不是一本为美好的世界献上祝福的同人,因为本书原名在魔法的世界坚持科学的我一定哪里有问题名字太长不过审,所以仅仅是一本普通的魔法与科学交织的日常流小说...
乔苓在生命最后一刻自愿无偿捐献所有器官,功德无量感动上天,获得重生还附赠一个药田空间。然而,辛辛苦苦兢兢业业升级空间之后傻眼了。失传的古医书,不传秘方,针灸之术,这都是些啥。。。专业不对口啊!我不想学医啊!我只想种田啊!乔苓摸着下巴看向身姿笔挺坐在桌前低头写字的少年。公子,我看你骨骼精奇,是万中无一的医学奇才,拯救万民于水火的重任就靠你了,我这有几本医书…少年抬起头,目光沉静,你有病吧。乔苓重重点头,没错!我不仅有病,我还有药!如果您喜欢夫君,我才是你最大的金手指,别忘记分享给朋友...
关于庶女转正指南一朝穿越,吃货夏禾成了私奔途中落水淹死的封都城夏家三小姐,名誉受损,即将被送到田庄等死?她绝不答应!然而父亲冷漠,祖母偏心,嫡母不管事,眼看着就要被一个丫鬟欺负死,夏禾不得不撸...
血腥密室,内脏全无的尸体,疯狂的杀人游戏,神秘的死亡预言,可怕的食人魔。诡异的鲜血八卦,吓破胆的剧情,猜不到的凶手。尽在两个胖子历险的经历当中,警队之耻能否逆袭,身患绝症能撑多久?本文没有一个愚...
穿越到海贼世界,罗德得到可以抽取天赋能力的神器知识之书。剑斩天地,掌控雷霆,行走空间,信仰之力铸造地上神国!神恩如海,神威如狱。来到这个世界,就注定无敌于世。如果您喜欢海贼之超神天赋,别忘记分享给朋友...