手机浏览器扫描二维码访问
很少有离宗弟子对“直觉论”提出看法的。
如果他们在论文之中写直觉论,那么基本就是“直斥其非”了。
或者说直接一点,这就是要开战的节奏。
这一篇论文,点明了歌庭派接下来的研究方向。
他们想要证明,在某种意义上,直觉主义算术,和集合论是等价的。
直觉主义算术同样可以被不周之算否定掉!
连宗同样逃不过不周之算的魔咒!
这一篇论文一出,整个万法门都震动了起来。
所有连宗弟子都开始显得惴惴不安。数年之前,那半个万法门沦陷、神州仙盟近乎瘫痪的灾难性现场,还历历在目。上一次的时候,他们在幸灾乐祸的拍手。
这一次,轮到他们了吗?
而与此同时,离宗修士的眼神之中,却出现了一丝快意的光芒。
“不周之劫”中首创越重的离宗算家,脸上的这种表情就越明显。
就算我不能活,也得拉着你一起死!
而在这个时候,已经和歌庭派渐行渐远的冯落衣,居然抛出了全新的论文。
他接过了连宗对“切断自我指涉”的研究,运用算器的思想,去研究良基集。
并且还取得了相当的成果。
这令万法门内下巴碎了一地。
自从执掌万仙幻境之后,冯落衣就很少进行算理的研究了,与歌庭派的来往也逐渐减少。很多新一代修士都将他视为是中立的应用类算家。
但那些老一辈修士都还记得一点。
算器理论,始终是建立在离宗算理之上的。
歌庭派与冯落衣是在两个方向上对连宗进行攻击。
从思路上看,他们一方秉持着算主“相对一致”的思路,另一方则遵循了算主“切断自指”的思路。而从目的上看,他们一方是要证明排中律的安全性,另一方则是要证明无穷公理的安全性。
这简直就是釜底抽薪,从根底上打击连宗。..
而且他们还使用了连宗修士的部分研究成果。
这使得离宗修士好像打了鸡血一样振奋。
但是,新年刚过,到了宇历二年的年初,远在他乡的王崎,又发表了篇全新的论文。
《字问题,及一个案例——关于半群字问题的不可判定性》。
由于“形式语言学”之前在神州铺路,所以这一门新学问,已经为人们所知晓。
而判定性问题,则牵涉到最近论战的核心。
所以,这一篇论文,确实引发了广泛关注。
但这却让许多离宗修士一口血吐了出来。
(大雁文学WwW.XiaoYanWenXue.CoM)
醉卧九天 鼎天武帝 重生之天生我才 神捕乱宋 兽王三国 权柄大明 美女总裁老婆 纸醉江山 我叫布里茨 超级特警综合系统 玄玑图 死亡神座 网游之零纪元 与女精灵的地球生活 黑暗剑圣 苍天霸业 美女教师的鬼医高手 道梦之轮回 舞吧,傀儡 霸隋
她,21世纪的医女千沉漓,冷心冷情。她,齐钥国空有美貌的将军府傻女。当她成了她,此后一身红衣,手持袖针,救治天下有梦人,杀尽天下负心人。片段一某女嗤笑道呵,才貌双绝...
美女老师住在我隔壁,每天发出一些奇怪的声音,所以我在墙上打了个洞竟然发现...
他曾斗破苍穹,主宰三界。一朝重生杀得万界血泣,仙魔俯首。这一世,不留遗憾,喝最烈的酒,泡最美的女人。踩着敌人的累累尸骨,成为天地间最厉害的绝世武帝。...
苏瑶我要你,代替我嫁给顾家那个废物!苏瑶沉默,传说顾家大少是一个残忍暴虐喜怒无常的活阎王。如果让顾少霆知道她婚前失身,他一定会弄死她!可婚后她却被他莫名的宠上天。老公,姐姐后悔了,想要把你抢走。乖,除了你,我谁都看不上!顾总,外面的人都说你惧内跪在搓衣板上男人非常淡定做掉,这种破坏我们夫妻关系和谐的人,没必要留着!...
墨西哥湾的蝴蝶扇动翅膀就可能会在北美引起飓风,这就是所谓的蝴蝶效应。那么一个军史爱好者却离奇般的出生在了18世纪末19世纪初的法国,那又会引起什么效应呢?强大的大英帝国海军舰队在他面前灰飞烟灭,凶残的哥萨克骑兵在他面前瑟瑟发抖......本书纯属虚构,请误与真实历史对照!)恳请每位看书的朋友都帮忙收藏一下,谢谢!)...
凤出宁家,不倾国便倾城。一朝穿越,天之骄子外科医生宁倾月变成侯府肥胖二小姐,还被赐婚给不能人道,弱不禁风的九王爷。肥胖?每个胖子都是潜力股,本小姐瘦下来闪瞎你们的眼睛。蠢笨?看本小姐召唤各种美男神兽,大杀四方。等等这个肩不能扛,手不能提的王爷一沾床就要吃‘肉’,是什么情况?到底谁说不能人道的?她要砍了他,她要休夫。某王战场上的逃兵,都被剁成了肉酱,你是想做肉酱还是九王妃?九王妃。甚...