第九十章 怪现象【第三更】

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



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

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



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



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

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



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

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



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



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



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



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



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



    这显然是荒谬的。



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



    而几



    （本章未完，请点击下一页继续阅读）

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



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

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



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

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

    有连宗修士惊恐的喊道。

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

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



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

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



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

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

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

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



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



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

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



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

阅读走进修仙最新章节 请关注无双小说网(www.buxia.org)