第九十章 怪现象【第三更】 (3 / 7)
        雪国主的论文指示出了一个奇异的事实。对于任意命题，存在对应的非命题，其非命题成立的则意味着该命题的荒谬。某非命题的证明，是把该命题的证明变换成荒谬的证明的函数。

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

        这显然是荒谬的。

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

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

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

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

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

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

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

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

        这是前所未有的大混乱。

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

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

        内容未完，下一页继续阅读

更多完整内容阅读登陆

《墨缘文学网，https://wap.mywenxue.org》