《走进修仙》免费阅读!

第九十章 怪现象【第三更】(1/2)

作者:吾道长不孤

    半群字问题的不可判定性,是人类发现的第一个并非有数学家制造,而是天然存在的不可判定性问题。顶 点 小 说 x 23 u s.c om

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

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

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

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

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

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

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

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

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

    有连宗修士惊恐的喊道。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    这显然是荒谬的。

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

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

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

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

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

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

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

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

    这是前所未有的大混乱。

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

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

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

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

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

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

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

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

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

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


小说分类