手机浏览器扫描二维码访问
“直觉主义”的扛旗者,一直都是算君。而算君就是连宗的代表人物。
很少有离宗弟子对“直觉论”提出看法的。
如果他们在论文之中写直觉论,那么基本就是“直斥其非”了。
或者说直接一点,这就是要开战的节奏。
这一篇论文,点明了歌庭派接下来的研究方向。
他们想要证明,在某种意义上,直觉主义算术,和集合论是等价的。
直觉主义算术同样可以被不周之算否定掉!
连宗同样逃不过不周之算的魔咒!
这一篇论文一出,整个万法门都震动了起来。
所有连宗弟子都开始显得惴惴不安。数年之前,那半个万法门沦陷、神州仙盟近乎瘫痪的灾难性现场,还历历在目。上一次的时候,他们在幸灾乐祸的拍手。
这一次,轮到他们了吗?
而与此同时,离宗修士的眼神之中,却出现了一丝快意的光芒。
“不周之劫”中首创越重的离宗算家,脸上的这种表情就越明显。
就算我不能活,也得拉着你一起死!
而在这个时候,已经和歌庭派渐行渐远的冯落衣,居然抛出了全新的论文。
他接过了连宗对“切断自我指涉”的研究,运用算器的思想,去研究良基集。
并且还取得了相当的成果。
这令万法门内下巴碎了一地。
自从执掌万仙幻境之后,冯落衣就很少进行算理的研究了,与歌庭派的来往也逐渐减少。很多新一代修士都将他视为是中立的应用类算家。
但那些老一辈修士都还记得一点。
算器理论,始终是建立在离宗算理之上的。
歌庭派与冯落衣是在两个方向上对连宗进行攻击。
从思路上看,他们一方秉持着算主“相对一致”的思路,另一方则遵循了算主“切断自指”的思路。而从目的上看,他们一方是要证明排中律的安全性,另一方则是要证明无穷公理的安全性。
这简直就是釜底抽薪,从根底上打击连宗。
而且他们还使用了连宗修士的部分研究成果。
这使得离宗修士好像打了鸡血一样振奋。
但是,新年刚过,到了宇历二年的年初,远在他乡的王崎,又发表了篇全新的论文。
《字问题,及一个案例——关于半群字问题的不可判定性》。
由于“形式语言学”之前在神州铺路,所以这一门新学问,已经为人们所知晓。
而判定性问题,则牵涉到最近论战的核心。
所以,这一篇论文,确实引发了广泛关注。
但这却让许多离宗修士一口血吐了出来。
天才一秒记住本站地址:.。手机版阅读网址:
月薪十万,女总裁她果然不只是让我当司机 建立帝国从骑士次子开始 巨树领主 穿进语文书,从刺猹开始 敛财心 我的修真小米三 巫妖生存指南 我,地球唯一超能力者 谭笑风声里,灼灼桃之夭 运河之韵 大明:开局剧透崇祯,重振河山 舌尖天下 西游:六岁熊孩子,开局怒怼观世音 盛世花都 网游航海之王 灵异直播,女主她不想吓人 万苍天穹 先婚后爱:娇妻拒婚101次 道化九界 什么?奥特曼是终身制的?
顶级厨师徐婉宁意外穿书,苦逼拿到恶毒女配剧本!还好她的生鲜超市跟着一起穿来了。从此徐婉宁疯狂做美食,勤勤恳恳发家致富,狂刷两萌娃和冰山男主的好感度,撕破原书女主的白莲花嘴脸,挽回她恶毒女配的凄惨命运。冰山男主(好感度250)徐婉宁,你又在作什么妖!暖男男主(好感度520)老婆,抱抱某恶毒女配抱就抱,老实点!孩子在旁边看着呢!俩萌娃ˇˇ你们继续...
何谓强者?一念可碎星河!何谓弱者?一命如同蝼蚁!楚轩天纵奇才,为救父亲甘愿自废武魂,断绝前路!守孝三年,终得九转神龙诀,炼诸天星辰,踏万古青天,铸不朽神体!任你万般法门,我一剑皆可破之!剑气纵横十万里,一剑光寒三千界!楚轩我不问前尘,不求来生,只要这一世的轰轰烈烈!...
全宠无虐团宠马甲父亲仟仟,虽然他是个瘫痪,可只要你嫁给他,咱们家的公司就不用破产了!母亲而且你妹妹的心脏病也能得到最好的医治。未婚夫这样你不但可以从他那里帮我争取到资源,还能保持身心干净!大家都觉得景仟实惨年纪轻轻就断送在了一个瘫痪手里。不但要在幕后帮妹妹写歌,给她打造音乐小天才人设,还...
关于商场在我家,致富虐渣全靠他上一世,木珍珍被渣男江青白抢走好运符,又被庶大房一家害得家破人亡。几个哥哥更是死得凄惨,她也被卖遭受折辱而死。灵魂跟着师父在现代四处游历了几十年,始终忘不了灭家之仇。师父在临终前,拼尽全力将她送回道被骗走好运符的那天。她发誓,一定会让那些害他们的坏人,得道该有的惩罚。本打算在万能商场的帮助下,先变强,变富,再慢慢收拾坏人,可是坏人太着急,蹦来蹦去不消停,她只得几手抓。顾某人上一时眼瞎,认错了自己的恩人,间接害死了恩人全家。这个一世他还债来了!...
换嫁宅斗打脸爽文暧昧宠妻前世,继妹抢走沈知初的婚事,将她迷晕扔给屠夫。可抢来的夫君是个奸臣,最后株连九族,继妹身首异处。反而,屠夫参军步步高升,沈知初做了将军夫人,封诰命。重生一世,继妹死心塌地的下嫁屠夫,却不知那些荣耀都是沈知初的苦心谋划。看着愚蠢的继妹,沈知初两手一摊,转头嫁奸臣。奸臣好啊,一心造反,不贪女色,她拾掇拾掇,哎嘿,养得根正苗红。后来,继妹急了,悔了。可惜奸臣已经口嫌体正,抱着亲亲夫人满腹委屈夫人在意这,在意那,甚至在意外人,怎么就不能多在意在意为夫呢?顺便扫了眼继妹,你谁?...