材自学完了。

    但是反推数学，却是数理逻辑中一个研究方向，是前沿应用。

    事实上，与一般的数学实践不同。

    反推数学不是从公理推导出定理，而是通过‘反推’来寻找证明该定理的公理。

    这是二十世纪数学基础与哲学中一项影响深远的研究计划——希尔伯特纲领的重要组成部分。

    秦缦缦心里掀起了滔天巨浪，高中的竞赛生，完全没必要，或者说不可能去接触到二阶算术的。

    望着她因惊讶张大的小嘴，卿云不觉小腹一热。

    他舔了舔嘴唇，赶紧扭过头去，淡淡的说着，

    “又不难，无非是把数理逻辑这门课的教材看看而已。

    你也知道，在竞赛上，我也没啥对手，当时也是无聊，就看了看反推数学。”

    秦缦缦闻言有些无语。

    臭哥哥，在我面前凡是吧！

    卿云继续说着，“去年我见你在画六芒星，就知道你在研究西塔潘猜想。

    我琢磨了一个多月，正面我是没法证明的，当时想着打完竞赛就试试反推的。

    我很怀疑，西塔潘猜想是错的。”

    说罢，他转过身来戏谑的看了她一眼，

    “你信不信，要是当初我没事，这个问题我已经攻破了。”

    反正吹牛又不上税，这种事情死无对证的。

    秦缦缦很想白他一眼，但是心里却是有些发毛。

    其实她这小半年里对此也有一点猜测。

    证明不了的数学猜想，一种是没有想出证明方法的，如哥德巴赫猜想。

    但是这种猜想肉眼可见是正确的，不过数量很少。

    另外一种就是浩如烟淼的其他猜想。

    这种猜想很可能穷尽数学家的一生，或者上百年无数数学家的一生，最后得出一个否定的结论。

    秦缦缦越想越觉得烦躁，留下一句“吃饭的时候喊我”便掀开身上的凉被，噔噔噔的向着自己房间跑去。

    卿云瞥了一眼，觉得今天中午自己还是不够努力，这妮子居然腿上还有劲儿？！

    可他也没办法，还没彻底圆房，榫卯结构还没建立好，她安心要挣脱他还真没办法。

    不过，也好，给这婆娘找点事做。

    (本章完)

『加入书签，方便阅读』