第83章 如何证明女人是女人

r />     所以，当方院长看到李智证明出来的是四色猜想时，心情那是哇凉哇凉的。

    世界级数学难题之所以吸引人，就是因为她像一个美妙的女孩，用华丽的衣服把自己的美好隐藏起来。

    无数数学家，为了欣赏那种美好，前赴后继，发动攻击。

    当这道数学难题被人解决时，就意味着这个美妙女孩已经名花有主了。

    旁边觊觎她的人，都会毫不犹豫的撤退，寻找新目标。

    李智看到方院长眉头紧皱，立刻明白他心中所想。

    笑道：“老师，我使用了纯数学的方法证明出来了四色猜想。”

    “纯数学的方法？”方院长思索片刻，顿时明白他的意思。

    虽然哈肯与阿佩尔宣布使用计算机证明出了四色猜想，但是数学界有很多数学家并不愿意承认这个结果。

    在数学家看来，使用暴力枚举的方式证明数学难题，是对数学的亵渎。

    他们认为应该使用数学逻辑来证明它。

    就像如何证明一个女人是真正的女人，数学家会通过喉结，体型，脂肪率，声音，内部结构等方面来试图论证。

    而计算机的“暴力枚举”方法就相当于让人直接把女人的衣服扒掉，然后指着某个部位说：看，我说她就是个女人吧，没错！

    这种不讲道理的方法自然无法被数学家们接受。

    在数学家们看来，数学难题的解决过程，往往比结果更重要。

    因为在解题过程中，往往可以得出许多意想不到的数学理论。

    比如第二次数学危机中，由于微积分尚不完善，出现了“阿基里斯追不上乌龟”，“飞矢不动”，“两分法”，“操场或游行队伍”等四个着名的悖论。

    在解决这些悖论的过程中，威尔斯特拉斯、狄德金、康托等人独立地建立了实数理论，而且在实数理论的基础上，建立起极限论的基本定理，从而使数学分析建立在实数理论的严格基础之上。

    同时，第二次数学危机也促进了19世纪的分析严格化、代数抽象化以及几何非欧化的进程。

    数学难题也是如此，数学界有许多理论都是在解决数学难题的过程中发现的。

    所以听了李智的话后，方院长立刻明白过来，四色猜想的华丽衣服，并没有被那帮学计算机的家伙，用冰冷的机器剥开！

    李智准备完全使用数学方法来....剥掉它的衣服。

    方院长并没有翻开论文，而是站起身从书柜中取出一团报纸。

    他一层层剥开报纸，露出里面的碧绿茶叶。

    这似曾相识的一幕，让李智有些恍惚，几个月前，他在青大李于光教授那里也见到过同样的纸包。

    纸包里也装有茶叶。

    茶叶作为华夏的国粹，老教授们都有喝茶的习惯并不奇怪。

    奇怪的是，为什么茶叶都用报纸包着。

    他看到方院长很小心的捏了一小撮茶叶，心中叹一口气：并且每一种被报纸包着的茶叶，都非凡品。