手机浏览器扫描二维码访问
光看标题,很难想象这是一片出自于离宗弟子之手的论文。
“直觉主义”的扛旗者,一直都是算君。而算君就是连宗的代表人物。
很少有离宗弟子对“直觉论”提出看法的。
如果他们在论文之中写直觉论,那么基本就是“直斥其非”了。
或者说直接一点,这就是要开战的节奏。
这一篇论文,点明了歌庭派接下来的研究方向。
他们想要证明,在某种意义上,直觉主义算术,和集合论是等价的。
直觉主义算术同样可以被不周之算否定掉!
连宗同样逃不过不周之算的魔咒!
这一篇论文一出,整个万法门都震动了起来。
所有连宗弟子都开始显得惴惴不安。数年之前,那半个万法门沦陷、神州仙盟近乎瘫痪的灾难性现场,还历历在目。上一次的时候,他们在幸灾乐祸的拍手。
这一次,轮到他们了吗?
而与此同时,离宗修士的眼神之中,却出现了一丝快意的光芒。
“不周之劫”中首创越重的离宗算家,脸上的这种表情就越明显。
就算我不能活,也得拉着你一起死!
而在这个时候,已经和歌庭派渐行渐远的冯落衣,居然抛出了全新的论文。
他接过了连宗对“切断自我指涉”的研究,运用算器的思想,去研究良基集。
并且还取得了相当的成果。
这令万法门内下巴碎了一地。
自从执掌万仙幻境之后,冯落衣就很少进行算理的研究了,与歌庭派的来往也逐渐减少。很多新一代修士都将他视为是中立的应用类算家。
但那些老一辈修士都还记得一点。
算器理论,始终是建立在离宗算理之上的。
歌庭派与冯落衣是在两个方向上对连宗进行攻击。
从思路上看,他们一方秉持着算主“相对一致”的思路,另一方则遵循了算主“切断自指”的思路。而从目的上看,他们一方是要证明排中律的安全性,另一方则是要证明无穷公理的安全性。
这简直就是釜底抽薪,从根底上打击连宗。
而且他们还使用了连宗修士的部分研究成果。
这使得离宗修士好像打了鸡血一样振奋。
但是,新年刚过,到了宇历二年的年初,远在他乡的王崎,又发表了篇全新的论文。
《字问题,及一个案例——关于半群字问题的不可判定性》。
由于“形式语言学”之前在神州铺路,所以这一门新学问,已经为人们所知晓。
而判定性问题,则牵涉到最近论战的核心。
所以,这一篇论文,确实引发了广泛关注。
但这却让许多离宗修士一口血吐了出来。
天蚕土豆的作品万相之王 万相之王李洛全集免费阅读 开局停职我转投市纪委调查组杨东苏沐芸全文免费阅读完整版 万相之王李洛百度云 开局停职我转投市纪委调查组 暮雪与穆雪 觉醒鉴宝读心术,我捡漏狂赚百亿 开局停职我转投市纪委调查组 开局停职我转投市纪委调查组杨东苏沐芸的全文免费阅读无弹窗 我在三十年前与现在来回穿梭 杨东苏沐芸 救命霍医生破戒后太狂了 开局停职我转投市纪委调查组杨东苏沐芸免费阅读 杨东苏沐芸开局停职我转投市纪委调查组免费阅读全文 救命霍医生破戒后太狂了姜怡霍燃的全文免费阅读无弹窗 双生神级武魂,震惊妖帝老婆! 姜怡霍燃全文免费阅读无弹窗 什么金盆洗手,我又不是龙头大佬 武动乾坤之淫符林动 救命霍医生破戒后太狂了姜怡霍燃
...
出身番茄孤儿院的角木,被泥头车送到忍界。有一个沉稳可靠,有时喜欢搞些小操作的老爸。有一个温柔体贴有主见,偶尔会小腹黑的老妈。有一个活泼调皮,崇拜哥哥的弟弟。虽然还有房贷要还,但仍是个幸福美满,温暖的家。只是,弟弟的名字叫海野伊鲁卡。自己的名字,是海野角木。从未来的九尾之乱中拯救自己的家人,便是海野角木踏足忍界要...
关于我有了空间戒指后,财富无限父母双亡的林震南继承了一家父亲遗留下来的二手书画店,无意之中,一只修炼万年蜘蛛,在雷电交加之时,元神最弱之时,被林震南一掌手拍碎本体,蜘蛛本命元神入体,机缘巧合下,林震南…传承了它的异能。后来更是得到了一枚上古超级空间戒指,空间更有一方小世界。后来林震南更是鉴宝,赌石,看相,看风水,修真,无一不精,一时喜从天降,富贵逼人!...
闻家真千金被找回来了,还是个从山里出来,满嘴胡言的小神棍,整个圈内都等着看她笑话。短短几日,宋家那小霸王追着要当她小弟萧氏一族奉她若上宾特管局一处求她加入,玄门世家想要拜她为师闻曦小手一挥,直播赚功德水友大师,最近我总觉得被鬼压床了,还梦见诡异的婚礼现场。闻曦出门在外不要乱捡东西,你那是被人配冥婚了。水...
时锦从小长在白云观,十五岁时跟随萧家家主萧鹤川回京。二十二岁的萧鹤川看着面前娇娇小小的小孩儿你跟着行远叫我爸爸也可以。眼底毫无波澜的时锦你要是觉得你七岁的时候能生下我,我是不介意叫你爹的。萧鹤川二十五岁的萧鹤川面对出落的亭亭玉立的时锦锦锦时锦爹爹萧鹤川卒...
刚存够首付,中了五百万实现财务自由的白婉清一口卡嗝屁。一睁眼,穿到刷过几页的爆款年代文里,成了个炮灰路人甲,还带了个恶毒女配。地狱般的开局,没关系,抛开剧情杀穿满地。只要我没道德,谁也别想绑架我,干尽缺德事,功德999。继妹白莲,脏水泼她和老癞子滚苞米地,撕毁大学通知书,让她去大西北喂猪。后娘恶毒,举报投诉铁窗泪...