第83章 如何证明女人是女人（2 / 2）

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

纸包里也装有茶叶。

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

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

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