起点小说网 走进修仙 第八卷 见证 第九十章 怪现象【第三更】

第八卷 见证 第九十章 怪现象【第三更】

目录:走进修仙| 作者:吾道长不孤| 类别:武侠仙侠

    ♂

    半群字问题的不可判定性,是人类发现的第一个并非有数学家制造,而是天然存在的不可判定性问题。

    它也就意味着另一重真实。

    “不可判定性,并不仅仅是局限于纯粹算理之中那么简单”。

    它就好像是在强调“不可判定性”这个概念的客观性一样。

    无数连宗修士如丧考妣。他们实在是无法相信,构成自己思维的语言,居然也蕴含着“不可判定性”的危险。

    但是,一时之间,他们甚至都找不到反驳的由头。

    因为,在“语言学”这一块上,王崎就占据着垄断地位,他使用算理与逻辑来处理文字问题。

    这毫无疑问,就是一个离宗的领域。

    连宗甚至找不到施展拳脚的点,无从发力。

    “这……冯落衣,王崎,这一对师徒,是要联手灭门吗?”

    有连宗修士惊恐的喊道。

    但是,相比于连宗,离宗也同样难受。

    这一篇论文,可是再一次强调了“不可判定性”的地位。

    “这家伙,为了鼓吹自己,所以就拿我们来下手吗?”

    有离宗修士也是恨得咬牙切齿。

    王崎这一篇论文,无疑就是一记重拳,狠狠砸在离宗修士的脊梁骨上。

    这一下,无论是离宗还是连宗,都没有讨到好处。

    但是,很快,就有连宗逍遥做出回应了。

    多位连宗逍遥已经结束了自己在征天司的现阶段任务,专心准备这一场论战。

    现在,连宗内部,居然渐渐出现了新的方向。

    他们居然尝试学习离宗的“逻辑”,吸收离宗的知识,用离宗的理论反击离宗。

    这应当算是对冯落衣利用连宗“切断自指”的研究成果,进而开始研究排除自指集的做法进行反击。

    而出乎意料的是,一向与世无争的雪国派,此时此刻,居然也流露出下场的意图。

    雪国派现任领袖,“雪国主”柯寞歌【安德列·柯尔莫哥洛夫也发表了新论文。

    他对名为“可实现性”的理论,进行了全新的叙述。

    雪国派也是连宗典范,也从属于“直觉派”,同样会对算君执弟子礼。

    但是,雪国派的“直觉”,和算君的“直觉”,又有微妙的差异。

    实际上,关于“直觉”的构造,不同的连宗修士也有不同的想法。

    雪国主的论文指示出了一个奇异的事实。对于任意命题,存在对应的非命题,其非命题成立的则意味着该命题的荒谬。某非命题的证明,是把该命题的证明变换成荒谬的证明的函数。

    荒谬的标准例子可以在算术中找到。假定0=1,并进行数学归纳法:0=0通过等同公理得到;(归纳假设)如果0等于特定自然数n,则1将等于n+1,但是因为0=1,所以0也等于n+1;通过归纳,0等于任何数,所以任何两个自然数都是相等的。

    这显然是荒谬的。

    或许用自然语言来叙述,这就是一个低等的笑话?但是在算理上,它确实是存在着重要的地位。

    而几乎是同时,另一位连宗逍遥修士,也独立完成了类似的成果。

    他用一种离宗修士看来有些怪异的形式,重写了离宗的重要成就——算术公理。

    这一下子,整个万法门都开始变得一片混沌了。

    所有用研究算学理论的修士都陷入了对三个问题的思考之中。

    ——我是哪边的?是连宗还是离宗?

    ——我在研究什么?朝哪个方向?

    ——我的队友是谁?歌庭派?冯落衣?基派?雪国派?还是少黎派?

    这是前所未有的大混乱。

    尽管历史上,连宗会吸收离宗的成就,离宗会吸收连宗的成就,但那都是基于“转化到一个算学基础上”所完成的。

    以几何融合算术,以分析容纳几何,这样。

    但现在,全乱了,离宗和连宗从没有这样相互争夺一个领域过。他们几乎是在以接力跑的形式进行研究。

    你研究一段之后,我在你的基础上继续研究一段,紧接着你再在我的成就上进行研究。

    中古数家离宗连宗分裂之后,四万年来,头一次出现这样混乱的景象。

    离宗和连宗的分割依旧异常明显,但是,研究上却打成一团。

    可以说,他们就纯然是乱战了。

    尤其是向来超然与争斗之外的雪国派,以及虽然新近成立,却始终气势汹汹的基派,都是不可忽视的力量。

    同为连宗,雪国派与少黎派之间也存在分歧。

    同为离宗,基派与歌庭派之间关系也不融洽。

    大家彼此都杀成了一团。

    甚至有些极端的弟子,终于开始不再区分离宗连宗了。

    凡是与我方不同的万法门弟子,都可以算是“敌人”!

    随着理论层面的混战,万法门门内也终于渐渐失去稳定。

    甚至连维护门规的执律使,都没办法保持纯粹的重力。

    门主陈景云不得不紧急从其他门派调来了一批执律使,保持万法门内部基本安定。

    见到此情此景,赵清潭有些迷惘:“我只是来买面粉的……我只想好好过个年啊!”

    “还过个屁的年啊!”苏君宇咬牙切齿:“这是欺负我们基派无人……欺负我们离宗无人啊!”

    “……不,我觉得歌庭派的支持者,也不是很喜欢基派来着。”

    “这不重要!”苏君宇挥挥手:“现在,最值得注意的,应该是那个叫做海霆【阿兰德·海廷的连宗逍遥了。”

    海霆虽然也是逍遥,但大抵就属于那种声名不显的个体。他是在十数年前证得逍遥的。彼时,正是算主如日中天,在全万法门推行元算之算的之后。海霆这一代连宗修士的光辉,几乎都被算主盖过去了。

    不,就算没有算主,他也不会太过耀目的。只要算君还在,那么其余所有直觉派连宗修士,都只能算星辰了——而算君就是皓月一般。

    但是,现在,这位名不见经传的逍遥,居然就与雪国主分别独立完成了相似的内容,甚至重写了算术公理。

    尽管在不完备与不可判定的基础上,算术公理也存在着隐患,不似画天公理【欧几里得几何公理那样确定而完备,但这在过去,却是离宗的荣耀。

    他作为连宗,吸收离宗的逻辑吸收得太成功了,几乎开辟出新路来了。

    “那你要怎么做?也下场吗?”赵清潭反问:“王崎对这一层论战,应该已经失去兴趣了,发那篇论文也只是恰逢其会而已。基派是不会深入到这一场论战之中去的。”

    他太清楚王崎的研究思路了。基派,就只是专注于“根基”而已。那一篇论文,是更大部分的组成拼图,而非为论战而抛出。

    “嗯,我很明白这一点。”苏君宇点了点头,看了看自己的手。

    尽管只是通过信函与论文交流,但是,这些年里,他也逐渐意识到了一些事情。

    王崎已经将目光放到了更加高远的区域里。对于他来说,“不周之算”已经是过去式了。他想要超越这些东西,去到更高的境界,去看那算学上更广阔的美景。

    不只是基础算学,这个物质的世界也是一样。

    王崎在地下所完成的那个图景,终归是需要一个无比惊奇又无比优美的算学理论去支撑。

    虽然这么说有点古怪吧……这一点上,他与算君倒是有点类似.

    “也算是完成我的一点执念吧?”苏君宇笑了:“最近看了歌庭派还有冯前辈的论文,我确实又有一些想法……这些年完善基派算理,我的水平也已经起来了嘛?”

    “喂,你想要干什么?”赵清潭微微皱眉:“就算海霆真人比较边缘吧,那也是逍遥之尊!你想要和逍遥期修士怼吗?”

    苏君宇嘴角扯了扯:“我干嘛要专门去怼一个逍遥期修士呢?”

    赵清潭正要松口气,苏君宇就继续说道:“当然是怼连宗啦!”

    “你……”

    “虽然不如王崎那家伙,但是我小时候,也确实被人认为是有逍遥级数的天资吧?”苏君宇笑道:“而且,这一混战,源头还在好几年前,咱们领袖的不周之算呢?我作为基派的一份子,来做个结尾,也算是师出有名吧?”

    赵清潭不再言语。

    于是,在年还没过完的情况下,苏君宇便开始了研究。

    而他却是沿着算主给出的“相对一致性”的思路,寻找与歌庭派不一样的方向,继续攀升。

    转眼之间,就到了新一般开往他乡的星舰启航的时候。

    赵清潭带着一种弟子,来到神京。

    看着身后已经重新熟悉起来的故乡城市,赵清潭有些恍惚。

    这一次,苏君宇没有出来相送。

    临走前,他只是托赵清潭,将一些草稿带上。这是他最近一些日子的成果。

    赵清潭感觉那些稿纸异常的沉重。

    ——不知道等待苏师弟的,是怎样的未来。

    他带着那些新加入基派的万法门弟子,上了星舰。

    他便回到了他乡。

    在为那些新加入的修士开了欢迎宴之后,赵清潭单独找上王崎,报告了这半年的成就。

    并且,呈上了苏君宇的那些文稿。

    王崎粗粗一读,便是一惊:“啧啧,居然是……这个啊?”
如果您喜欢,请点击这里把《走进修仙》加入书架,方便以后阅读走进修仙最新章节更新连载。 错误/举报
(快捷键←)[上一章]  [回目录]  [下一章](快捷键→)