手机浏览器扫描二维码访问
很少有离宗弟子对“直觉论”提出看法的。
如果他们在论文之中写直觉论,那么基本就是“直斥其非”了。
或者说直接一点,这就是要开战的节奏。
这一篇论文,点明了歌庭派接下来的研究方向。
他们想要证明,在某种意义上,直觉主义算术,和集合论是等价的。
直觉主义算术同样可以被不周之算否定掉!
连宗同样逃不过不周之算的魔咒!
这一篇论文一出,整个万法门都震动了起来。
所有连宗弟子都开始显得惴惴不安。数年之前,那半个万法门沦陷、神州仙盟近乎瘫痪的灾难性现场,还历历在目。上一次的时候,他们在幸灾乐祸的拍手。
这一次,轮到他们了吗?
而与此同时,离宗修士的眼神之中,却出现了一丝快意的光芒。
“不周之劫”中首创越重的离宗算家,脸上的这种表情就越明显。
就算我不能活,也得拉着你一起死!
而在这个时候,已经和歌庭派渐行渐远的冯落衣,居然抛出了全新的论文。
他接过了连宗对“切断自我指涉”的研究,运用算器的思想,去研究良基集。
并且还取得了相当的成果。
这令万法门内下巴碎了一地。
自从执掌万仙幻境之后,冯落衣就很少进行算理的研究了,与歌庭派的来往也逐渐减少。很多新一代修士都将他视为是中立的应用类算家。
但那些老一辈修士都还记得一点。
算器理论,始终是建立在离宗算理之上的。
歌庭派与冯落衣是在两个方向上对连宗进行攻击。
从思路上看,他们一方秉持着算主“相对一致”的思路,另一方则遵循了算主“切断自指”的思路。而从目的上看,他们一方是要证明排中律的安全性,另一方则是要证明无穷公理的安全性。
这简直就是釜底抽薪,从根底上打击连宗。..
而且他们还使用了连宗修士的部分研究成果。
这使得离宗修士好像打了鸡血一样振奋。
但是,新年刚过,到了宇历二年的年初,远在他乡的王崎,又发表了篇全新的论文。
《字问题,及一个案例——关于半群字问题的不可判定性》。
由于“形式语言学”之前在神州铺路,所以这一门新学问,已经为人们所知晓。
而判定性问题,则牵涉到最近论战的核心。
所以,这一篇论文,确实引发了广泛关注。
但这却让许多离宗修士一口血吐了出来。
(大雁文学WwW.XiaoYanWenXue.CoM)
死亡神座 美女总裁老婆 兽王三国 神捕乱宋 权柄大明 道梦之轮回 醉卧九天 霸隋 超级特警综合系统 网游之零纪元 美女教师的鬼医高手 纸醉江山 我叫布里茨 黑暗剑圣 鼎天武帝 重生之天生我才 舞吧,傀儡 玄玑图 与女精灵的地球生活 苍天霸业
传言,商邶封少三不规矩不恋爱,不结婚,不和女人同床共枕。总而言之就是四个字不近女色!后来,这三个规矩被许溪晚一起打破!他是不可一世的商界帝王,却将她宠到全球轰动!逃跑当晚,她被他掐着腰,摁在墙上!晚晚不要我了?要要要!老公有颜又有钱,撞得我心怦怦跳!...
勇者?尽情的过来吧,老子就是魔王。魔王,受死吧,为了爱和正义,代表XX消灭你,XXX啊!你好卑鄙啊!傻鸟一个,我是魔王啊,跟你个傻鸟勇者讲什么卑鄙不卑鄙?魔王,我又爬上来啦。啊?怎么可能?受死吧,XX大封印。啊,我还会回来的!老大,勇者走了。哦,知道了,把国王给我叫来,迷宫的门票钱我要抽八成,装备的税收,药品的税收,还有各个旅馆的收益,我要抽七成,顺便,把那个丑的跟芙蓉姐姐一样,臭屁的跟凤姐一样的恶心公主给我扔回国王那里去,另外,把国王的国库给我搬来,老子的迷宫维修费用可是很高的,都快赤字了。...
霸道风流的陆长风,自打收了个叫蒋佳月的小娘子,从此开启了他的吃瘪日常。陆长风你就作死罢!爷就不信还治不了你!已有完结甜宠类古言四时春,无断更记录,坑品保证,请大家多多支持,比心~...
书海阁小说网免费提供作者齐天树林的经典小说史上第一爆笑修仙最新章节全文阅读服务本站更新及时无弹窗广告欢迎光临wwwshgtw观看小说这是一个爆笑有趣的故事。张阿豪想要长生不死,于是去修仙,遇到一位仙姑。这么漂亮,是要拜师还是和她谈恋爱?要是拜了师,张阿豪既要修仙又要照顾倾国倾城倾地球的美女,会不会太辛苦?...
作者青山白的经典小说逆战狂兵最新章节全文阅读服务本站更新及时无弹窗广告小说逆战狂兵全华夏第一至尊兵王,只因一场秘密任务的失败,导致身边兄弟尽皆身亡。叶狼重回花都,至此肩负起了保卫战友妹妹安全与暗中调查凶手的重大责任!龙游花都,只手遮天!且看叶狼如何辗转于各大势力之间,再塑兵王传奇!...
小农民混花都!会符篆!会咒语!会医术!会一切!透视咒!隐身咒!定身咒!穿墙咒!撒豆成兵!纸人术!...