《走进修仙》转载请注明来源:369小说网(369book.cc)
弟子之手的论文。
“直觉主义”的扛旗者,一直都是算君。而算君就是连宗的代表人物。
很少有离宗弟子对“直觉论”提出看法的。
如果他们在论文之中写直觉论,那么基本就是“直斥其非”了。
或者说直接一点,这就是要开战的节奏。
这一篇论文,点明了歌庭派接下来的研究方向。
他们想要证明,在某种意义上,直觉主义算术,和集合论是等价的。
直觉主义算术同样可以被不周之算否定掉!
连宗同样逃不过不周之算的魔咒!
这一篇论文一出,整个万法门都震动了起来。
所有连宗弟子都开始显得惴惴不安。数年之前,那半个万法门沦陷、神州仙盟近乎瘫痪的灾难性现场,还历历在目。上一次的时候,他们在幸灾乐祸的拍手。
这一次,轮到他们了吗?
而与此同时,离宗修士的眼神之中,却出现了一丝快意的光芒。
“不周之劫”中首创越重的离宗算家,脸上的这种表情就越明显。
就算我不能活,也得拉着你一起死!
而在这个时候,已经和歌庭派渐行渐远的冯落衣,居然抛出了全新的论文。
他接过了连宗对“切断自我指涉”的研究,运用算器的思想,去研究良基集。
并且还取得了相当的成果。
这令万法门内下巴碎了一地。
自从执掌万仙幻境之后,冯落衣就很少进行算理的研究了,与歌庭派的来往也逐渐减少。很多新一代修士都将他视为是中立的应用类算家。
但那些老一辈修士都还记得一点。
算器理论,始终是建立在离宗算理之上的。
歌庭派与冯落衣是在两个方向上对连宗进行攻击。
从思路上看,他们一方秉持着算主“相对一致”的思路,另一方则遵循了算主“切断自指”的思路。而从目的上看,他们一方是要证明排中律的安全性,另一方则是要证明无穷公理的安全性。
这简直就是釜底抽薪,从根底上打击连宗。
而且他们还使用了连宗修士的部分研究成果。
这使得离宗修士好像打了鸡血一样振奋。
但是,新年刚过,到了宇历二年的年初,远在他乡的王崎,又发表了篇全新的论文。
《字问题,及一个案例——关于半群字问题的不可判定性》。
由于“形式语言学”之前在神州铺路,所以这一门新学问,已经为人们所知晓。
而判定性问题,则牵涉到最近论战的核心。
所以,这一篇论文,确实引发了广泛关注。
但这却让许多离宗修士一口血吐了出来。
关于她叫阿凉:简介废:阿凉这个人,和她的名字一样,性子凉薄。作为胎穿一员,刚开始,她觉得自己是气运之子,天选之女,跃跃欲试的要带家人赚钱脱贫。可在六岁就被所谓的父母卖了。成为大小姐身边丫鬟时,她想尽力做好一个丫鬟该做的。可结局是因为她相貌出色,被打的半死,还丢在了乱葬岗。有人救了她,嘴上说心悦她,手上却把她推到了对头面前,只为帮他打探消息……后来还有说喜爱她的人,但后院美女如云。她说,我不和女人
其他 24万字 8小时前
关于斗破苍生:这里是属于斗气的世界,没有花俏艳丽的魔法,有的,仅仅是繁衍到巅峰的斗气!新书等级制度:斗者,斗师,大斗师,斗灵,斗王,斗皇,斗宗,斗尊,斗圣,斗帝。...
其他 36万字 7小时前
关于惊爆兽世!她又被美男兽们强宠了:本文:女强男强+万人迷+马甲文叶洛星带着任务误入全是美男的兽世!兽世美男野蛮霸道,凶狠残暴,唯独雌性稀少!叶洛星人美声甜,武艺高强,精通医术,堪称全能小撩撩,初入兽世就被高阶美兽盯上——为了完成任务顺利回家,她被迫开启马甲模式!开着小车车到处英雌救美,撩完就跑,从不留情!直到某一天,身上的马甲不小心掉了……她看着面前的修罗场,收拾包袱准备逃命……却不想被大佬们
其他 78万字 7小时前
关于修仙要努力,赚钱不容易:公子如玉,奈何成殇,仙界陨落,恶魔横行。仙侠世界的故事。女主角是个资质废柴的凡人,阴差阳错的步入到仙人的世界中。一个乡下姑娘糊里糊涂开始的寻道问心之旅……别的妹子都是在拼家世、比美貌、萌修真界四大公子,而她则忙着赚灵石,见到这些公子的第一个念头则是——哇,一个好大好大的移动灵石包!大兄弟,买符箓吗,八折!!步步为营的修真之旅,怎么兼顾升级打怪赚灵石呢?!明夷之心,出于
其他 198万字 7小时前
关于既来之则安之,王妃心态贼好:(古言,今穿古,双洁,无误会,男女主智商在线,三观正,无恋爱脑)洞房之夜初见,贺峻霖不甚喜欢自己这个畏手畏脚的王妃。王妃大病初愈后的再见,贺峻霖简直不敢相信眼前这个端方明艳,矜贵清冷的美人是自己的王妃。再后来…嗯…什么端方明艳,矜贵清冷都是假象,都是装的。贺峻霖每天都跟在她屁股后面收拾烂摊子,也担心她每次出门会被人套麻袋,明里暗里不知派多少人保护她。贺峻霖真心觉得
其他 20万字 7小时前