手机浏览器扫描二维码访问
光看标题,很难想象这是一片出自于离宗弟子之手的论文。
“直觉主义”的扛旗者,一直都是算君。而算君就是连宗的代表人物。
很少有离宗弟子对“直觉论”提出看法的。
如果他们在论文之中写直觉论,那么基本就是“直斥其非”了。
或者直接一点,这就是要开战的节奏。
这一篇论文,点明了歌庭派接下来的研究方向。
他们想要证明,在某种意义上,直觉主义算术,和集合论是等价的。
直觉主义算术同样可以被不周之算否定掉!
连宗同样逃不过不周之算的魔咒!
这一篇论文一出,整个万法门都震动了起来。
所有连宗弟子都开始显得惴惴不安。数年之前,那半个万法门沦陷、神州仙盟近乎瘫痪的灾难性现场,还历历在目。上一次的时候,他们在幸灾乐祸的拍手。
这一次,轮到他们了吗?
而与此同时,离宗修士的眼神之中,却出现了一丝快意的光芒。
“不周之劫”中首创越重的离宗算家,脸上的这种表情就越明显。
就算我不能活,也得拉着你一起死!
而在这个时候,已经和歌庭派渐行渐远的冯落衣,居然抛出了全新的论文。
他接过了连宗对“切断自我指涉”的研究,运用算器的思想,去研究良基集。
并且还取得了相当的成果。
这令万法门内下巴碎了一地。
自从执掌万仙幻境之后,冯落衣就很少进行算理的研究了,与歌庭派的来往也逐渐减少。很多新一代修士都将他视为是中立的应用类算家。
但那些老一辈修士都还记得一点。
算器理论,始终是建立在离宗算理之上的。
歌庭派与冯落衣是在两个方向上对连宗进行攻击。
从思路上看,他们一方秉持着算主“相对一致”的思路,另一方则遵循了算主“切断自指”的思路。而从目的上看,他们一方是要证明排中律的安全性,另一方则是要证明无穷公理的安全性。
这简直就是釜底抽薪,从根底上打击连宗。
而且他们还使用了连宗修士的部分研究成果。
这使得离宗修士好像打了鸡血一样振奋。
但是,新年刚过,到了宇历二年的年初,远在他乡的王崎,又发表了篇全新的论文。
《字问题,及一个案例——关于半群字问题的不可判定性》。
由于“形式语言学”之前在神州铺路,所以这一门新学问,已经为人们所知晓。
而判定性问题,则牵涉到最近论战的核心。
所以,这一篇论文,确实引发了广泛关注。
但这却让许多离宗修士一口血吐了出来。
喜欢走进修仙请大家收藏:()走进修仙
天才高手 武裂苍穹秦天青儿百度云 武裂苍穹秦天青儿全集免费阅读 人人都爱马文才 封先生的宠爱 贵门妾 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 穿书之末世娇宠 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 穿成大佬假妹妹 七零空间小娇女 神道丹帝叶尘苏傲雪全本免费阅读 就想和你在一起 玄学大佬在现代 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 九子登云的作品武裂苍穹 周一见 一觉醒来怀了崽 唐老太的种田生活
犬科男友简介emspemsp关于犬科男友小狼狗和小奶狗,一个不像话,一个没出息。狼狗篇男孩第一次见到那个男人的时候,才8岁,男人是风头正盛炙手可热的明星,比他大15岁,穿一件丝绸睡衣。10年后,男孩长成了少年,而父亲,甩掉了这个已经厌倦的男人。那一天,少年拎着书包疯跑出去,满城疯找,第一次给男人主动打电话,发微信。以前满城都是男人的海报,现在满城的人都遗忘了他。终于男人接了他的电话,告诉少年自己正在租住的房子里打包行李,要回老家了。少首发po18nlpo1⒏υip...
王爷攻略废材大小姐简介emspemsp关于王爷攻略废材大小姐猖狂霸气扮猪吃老虎女主×痞坏腹黑坐山观虎斗男主重生归来,颜非奔走在打脸天下人的大道上,一去不复返。极品神丹药材随手抓,稀有魔兽三五成群在跟前争宠随便摸出块破铜烂铁世...
穿越八零挣钱全靠我简介emspemsp关于穿越八零挣钱全靠我八十年代的华夏,一位具有现代知识的女性郝好,与一位耳有残疾的年轻人田润生,在矿区早餐摊相识,相知,一路扶持,乘着改革开放的东风,一起迈入新时代。...
重生过去畅想未来梦幻现实,再塑传奇人生!如果您喜欢奶爸的肆意人生,别忘记分享给朋友...
陆媛媛是蒋寒城和奶奶救命恩人的女儿,阴差阳错她来逃命晕到在蒋家,为了她脱离苦海,男人花重金买下了她,而陆媛媛第一次看到蒋寒城时,面对这个高大强壮的男人害怕直发抖。慢慢的相处后她见到了男人冷硬下的柔情和细心,被他的呵护和付出感动,她是有人爱有人宠的。她开始关注男人对他心动,陷在他的魅力和他爱意里,爱他无法自拔,想时刻...
拥有绝世医术的纪凡刚刚出狱,就被绝美女总裁拉去领证同居。面对众人嘲讽与蔑视,他用无上医术与绝对实力告诉他们,他才是这个世界的王者!...