西塔潘猜想已经提出十几年，现在还没有数学家去证明出来，虽然证明难度比不上黎曼猜想，但这难度是相对的，和o试题比较肯定是远超的。
说起反推数学，它是数理逻辑的分支，这也是多亏李轩前世学过计算机，对数理逻辑感兴趣，才知道反推数学，不然连反推数学都看不懂，更不会知道这个猜想了。
数理逻辑的思想就是创造一种科学语言，把推理过程变成数学计算。类似思想还有吴方法，将几何定理算法化，让计算机去自动证明数学题。
数理逻辑和计算机有重合之处，所以许多数学家又是计算机科学家，编程高手，这么些年来，数学家一直想怎么用计算机自动证明数学难题。
著名的四色定理，就是数学家用计算机编程的办法，通过大量计算强行证明出来的。在计算机没证明出来之前，数学家并不懂怎么证明，现在还在找简单证明思路。
李轩前世残废之前码农的身份，理解数学对于信息学学科的重要性，现在的他对数学的兴趣跟着提高。
这样看着拉姆齐二染色定理，李轩越来越理解西塔潘猜想，但证明方法始终没有想出来。
李轩一个晚上都在思考，求知处于爆棚的状态，没有开启求知欲buff，就已经沉迷在其中，不可自拔。
一宿没睡。
……
……
第二天是星期天。
一夜过去，书桌上台灯还在亮着，晨光透过窗帘透了进来，告诉李轩现在已经是第二天早上。
李轩眼睛里有轻微血丝，经过一个晚上还是没有想到证明办法。
对他来说，这个西塔潘猜想理解起来简单，但要证明起来就不一样，不像是竞赛题一般有固定的思路，这个证明是没有固定思路，要自己去想。
李轩系统了解拉姆齐二染色定理当前研究成果，但是拉姆齐二染色定理强度的西塔潘猜想，怎么证明始终没有头绪。
就在这时，徐丽进门准备叫李轩吃早饭，忽然发现李轩还在伏案思考，有些感叹李轩的刻苦，笑着说：“这么早起来学习？”
李轩抬头看了她一眼，有气无力地说：“没有，我昨晚没睡，在想数学题。”
徐丽惊了：“你这样不行，会累坏身体的，吃点早饭睡觉去！”
李轩肚子的确很饿，去扒了几口饭，又匆忙回到房间里，继续研究起来。
数学研究，不能急功近利，但沉浸在其中，也感觉到思考的乐趣，这种乐趣和玩游戏没区别，特别是李轩还开启了求知欲buff。
李轩决定再想一会儿，下午再好好睡一觉。
说起反推数学，它是数理逻辑的分支，这也是多亏李轩前世学过计算机，对数理逻辑感兴趣，才知道反推数学，不然连反推数学都看不懂，更不会知道这个猜想了。
数理逻辑的思想就是创造一种科学语言，把推理过程变成数学计算。类似思想还有吴方法，将几何定理算法化，让计算机去自动证明数学题。
数理逻辑和计算机有重合之处，所以许多数学家又是计算机科学家，编程高手，这么些年来，数学家一直想怎么用计算机自动证明数学难题。
著名的四色定理，就是数学家用计算机编程的办法，通过大量计算强行证明出来的。在计算机没证明出来之前，数学家并不懂怎么证明，现在还在找简单证明思路。
李轩前世残废之前码农的身份，理解数学对于信息学学科的重要性，现在的他对数学的兴趣跟着提高。
这样看着拉姆齐二染色定理，李轩越来越理解西塔潘猜想，但证明方法始终没有想出来。
李轩一个晚上都在思考，求知处于爆棚的状态，没有开启求知欲buff，就已经沉迷在其中，不可自拔。
一宿没睡。
……
……
第二天是星期天。
一夜过去，书桌上台灯还在亮着，晨光透过窗帘透了进来，告诉李轩现在已经是第二天早上。
李轩眼睛里有轻微血丝，经过一个晚上还是没有想到证明办法。
对他来说，这个西塔潘猜想理解起来简单，但要证明起来就不一样，不像是竞赛题一般有固定的思路，这个证明是没有固定思路，要自己去想。
李轩系统了解拉姆齐二染色定理当前研究成果，但是拉姆齐二染色定理强度的西塔潘猜想，怎么证明始终没有头绪。
就在这时，徐丽进门准备叫李轩吃早饭，忽然发现李轩还在伏案思考，有些感叹李轩的刻苦，笑着说：“这么早起来学习？”
李轩抬头看了她一眼，有气无力地说：“没有，我昨晚没睡，在想数学题。”
徐丽惊了：“你这样不行，会累坏身体的，吃点早饭睡觉去！”
李轩肚子的确很饿，去扒了几口饭，又匆忙回到房间里，继续研究起来。
数学研究，不能急功近利，但沉浸在其中，也感觉到思考的乐趣，这种乐趣和玩游戏没区别，特别是李轩还开启了求知欲buff。
李轩决定再想一会儿，下午再好好睡一觉。