要理解西塔潘猜想在说什么，对没学过数理逻辑的人来说很复杂，说白了是拉姆齐二染色定理的强度证明，李轩学组合数学时候就见过这个定理。
    海内外，不少学者拉姆齐二染色定理的研究论文，这是李轩重点阅读的文献。
    李轩一字一句看起来，先全部系统消化这些理论成果，站在别人的肩膀之上，才看得更远。
    如果遇到专业数学单词不理解，李轩就当场查找中文意思，不过不理解的英语单词很少遇见，这么多日子孜孜不倦地学习英语，此刻终于算有了大回报。
    如果林雪芮站在这里，看到李轩学习速度，就会吃惊李轩的变态，短时间就吃透这些文献。
    李轩直觉告诉他，能证明西塔潘猜想的错误性，那他意志就坚定起来，非要证明出来，这是他第一次证明国际流传的悬而未决的数学猜想。
    西塔潘猜想已经提出十几年，现在还没有数学家去证明出来，虽然证明难度比不上黎曼猜想，但这难度是相对的，和o试题比较肯定是远超的。
    说起反推数学，它是数理逻辑的分支，这也是多亏李轩前世学过计算机，对数理逻辑感兴趣，才知道反推数学，不然连反推数学都看不懂，更不会知道这个猜想了。
    数理逻辑的思想就是创造一种科学语言，把推理过程变成数学计算。类似思想还有吴方法，将几何定理算法化，让计算机去自动证明数学题。
    数理逻辑和计算机有重合之处，所以许多数学家又是计算机科学家，编程高手，这么些年来，数学家一直想怎么用计算机自动证明数学难题。
    著名的四色定理，就是数学家用计算机编程的办法，通过大量计算强行证明出来的。在计算机没证明出来之前，数学家并不懂怎么证明，现在还在找简单证明思路。
    李轩前世残废之前码农的身份，理解数学对于信息学学科的重要性，现在的他对数学的兴趣跟着提高。
    这样看着拉姆齐二染色定理，李轩越来越理解西塔潘猜想，但证明方法始终没有想出来。
    李轩一个晚上都在思考，求知处于爆棚的状态，没有开启求知欲buff，就已经沉迷在其中，不可自拔。
    一宿没睡。
    ……
    海内外，不少学者拉姆齐二染色定理的研究论文，这是李轩重点阅读的文献。
    李轩一字一句看起来，先全部系统消化这些理论成果，站在别人的肩膀之上，才看得更远。
    如果遇到专业数学单词不理解，李轩就当场查找中文意思，不过不理解的英语单词很少遇见，这么多日子孜孜不倦地学习英语，此刻终于算有了大回报。
    如果林雪芮站在这里，看到李轩学习速度，就会吃惊李轩的变态，短时间就吃透这些文献。
    李轩直觉告诉他，能证明西塔潘猜想的错误性，那他意志就坚定起来，非要证明出来，这是他第一次证明国际流传的悬而未决的数学猜想。
    西塔潘猜想已经提出十几年，现在还没有数学家去证明出来，虽然证明难度比不上黎曼猜想，但这难度是相对的，和o试题比较肯定是远超的。
    说起反推数学，它是数理逻辑的分支，这也是多亏李轩前世学过计算机，对数理逻辑感兴趣，才知道反推数学，不然连反推数学都看不懂，更不会知道这个猜想了。
    数理逻辑的思想就是创造一种科学语言，把推理过程变成数学计算。类似思想还有吴方法，将几何定理算法化，让计算机去自动证明数学题。
    数理逻辑和计算机有重合之处，所以许多数学家又是计算机科学家，编程高手，这么些年来，数学家一直想怎么用计算机自动证明数学难题。
    著名的四色定理，就是数学家用计算机编程的办法，通过大量计算强行证明出来的。在计算机没证明出来之前，数学家并不懂怎么证明，现在还在找简单证明思路。
    李轩前世残废之前码农的身份，理解数学对于信息学学科的重要性，现在的他对数学的兴趣跟着提高。
    这样看着拉姆齐二染色定理，李轩越来越理解西塔潘猜想，但证明方法始终没有想出来。
    李轩一个晚上都在思考，求知处于爆棚的状态，没有开启求知欲buff，就已经沉迷在其中，不可自拔。
    一宿没睡。
    ……