手机浏览器扫描二维码访问
“直觉主义”的扛旗者,一直都是算君。而算君就是连宗的代表人物。
很少有离宗弟子对“直觉论”提出看法的。
如果他们在论文之中写直觉论,那么基本就是“直斥其非”了。
或者说直接一点,这就是要开战的节奏。
这一篇论文,点明了歌庭派接下来的研究方向。
他们想要证明,在某种意义上,直觉主义算术,和集合论是等价的。
直觉主义算术同样可以被不周之算否定掉!
连宗同样逃不过不周之算的魔咒!
这一篇论文一出,整个万法门都震动了起来。
所有连宗弟子都开始显得惴惴不安。数年之前,那半个万法门沦陷、神州仙盟近乎瘫痪的灾难性现场,还历历在目。上一次的时候,他们在幸灾乐祸的拍手。
这一次,轮到他们了吗?
而与此同时,离宗修士的眼神之中,却出现了一丝快意的光芒。
“不周之劫”中首创越重的离宗算家,脸上的这种表情就越明显。
就算我不能活,也得拉着你一起死!
而在这个时候,已经和歌庭派渐行渐远的冯落衣,居然抛出了全新的论文。
他接过了连宗对“切断自我指涉”的研究,运用算器的思想,去研究良基集。
并且还取得了相当的成果。
这令万法门内下巴碎了一地。
自从执掌万仙幻境之后,冯落衣就很少进行算理的研究了,与歌庭派的来往也逐渐减少。很多新一代修士都将他视为是中立的应用类算家。
但那些老一辈修士都还记得一点。
算器理论,始终是建立在离宗算理之上的。
歌庭派与冯落衣是在两个方向上对连宗进行攻击。
从思路上看,他们一方秉持着算主“相对一致”的思路,另一方则遵循了算主“切断自指”的思路。而从目的上看,他们一方是要证明排中律的安全性,另一方则是要证明无穷公理的安全性。
这简直就是釜底抽薪,从根底上打击连宗。
而且他们还使用了连宗修士的部分研究成果。
这使得离宗修士好像打了鸡血一样振奋。
但是,新年刚过,到了宇历二年的年初,远在他乡的王崎,又发表了篇全新的论文。
字问题,及一个案例关于半群字问题的不可判定性。
由于“形式语言学”之前在神州铺路,所以这一门新学问,已经为人们所知晓。
而判定性问题,则牵涉到最近论战的核心。
所以,这一篇论文,确实引发了广泛关注。
但这却让许多离宗修士一口血吐了出来。
老铁!还在找"大神网文"免费更新?
百度直接搜索:"tv"看免费小说,没毛病!
(=tv)
捉奸反被害,被渣男逼到走投无路时,竟是那个害我的衣冠禽兽对我伸出援手,我们达成交易,我帮他治疗某功能障碍,他帮我惩罚渣男小三夺回家产。从此英俊多金的男神老总,对我温柔体贴倍加呵护,虽然知道他带着目的,但我忍不住还是动了心,可当我情根深种时,他却搂着他的名媛未婚妻对我说要不是为了治病,你这种姿色的女人我会看得上?你连给我舔鞋都不配!我伤心欲绝,黯然离开三年之后,我带着萌软鬼畜的儿子回归,进入他的公司工作后来我才明白,原来不止我情根深种,只是因为年轻自以为是的丢了爱情,所幸,回头时,她还在...
一代兵王含恨离开部队,为誓言,为兄弟,来到云海市照顾战友的妹妹,却发现照顾的对象是个身材火辣的美女,从此,踏上了幸福的生活。回归校园,拳打富二代,脚踩古惑仔,身边聚集了火辣美女老师霸道警花纯情校花风韵犹存的御姐只有你想不到的妞,没有他泡不到的妞。且看他如何秉着有妞不泡非好汉的原则,在都市中混的风生水起,笑傲江湖,财色兼收。...
一代仙帝夏归玄与宿敌两败俱伤,在宇宙荒僻星球的地核之中闭关疗伤。星球环境逐步被他身上溢散的仙灵之气改造,成了灵气充沛的宜居星球。原生物开始化人修炼,发展出...
东宫来了一位身娇体弱的下堂妇,刚开始东宫储美没把这位弃妇放在眼里。谁知她今日偶感风寒,明日抱恙在身,引得太子殿下日夜照顾。这照顾着照顾着,还把人照顾到榻上去了,气得众美大骂她是臭不要脸的白莲花。太子萧策清心寡欲半辈子,直到遇上秦昭。他以为秦昭可怜,离了他活不下去,于是让她暂住东宫,日日夜夜娇养着,这娇着养着,后来就把人占为己有,食髓知味。后来他登基,每次上朝看到秦昭前夫那张脸,都要对秦昭来次灵魂拷问朕可还让昭昭满意?穿书,双洁,甜宠...
年锦书为了飞仙历经万苦,临门一脚,被死对头雁回活活气死,功亏一篑,重生了!重回年少,她看着那个意气风发的天才少年,行啊,骂我注孤生心狠手辣是吧?仙门大会上...
获得系统,将乡村民宿一步步打造成世界上最好的酒店。全球酒店最大的数据提供商STR负责人德勒双手抱头世界上最豪华的酒店居然在华夏川省眉州市下一个不知名的...