第83章 如何证明女人是女人
66读书 www.66dushu.com，最快更新我随身携带外星文明!
“老师，这就是我证明《四色猜想》的具体思路。”李智把厚厚一摞论文摆在桌面上。
方院长虽然并不是他的任课老师，也从来没有教授过他任何知识。
但李智从他身上总能感到一种莫名的熟悉感，就像初中那位慈祥的白老师一样。
初中时，李智不但学习成绩很差，还十分顽皮。
有一次，他“不小心”拽到前排女孩的头发，结果那女孩的母亲是一个很强势的女人。
她直接找到校领导，要校领导开除李智。
眼见李智从此就变成了失学儿童，白老师站了出来，他说了一句让李智铭记一辈子的话。
“学校是教书育人的地方，不能因为学生犯了错误就随意开除学生。而且身为学校，身为老师，对好学生要好好教育，对差学生更要耐心教育。”
方院长身上，有一股真正教师的味道。
所以，李智喜欢把方院长称呼为“老师”。
“四色猜想？你怎么想着证明这玩意！”方院长原本激动的心情，顿时冷下来一半。
并不是因为四色猜想不出名，而是因为它实在太出名了，出名到已经被计算机专家，跨领域使用计算机证明了出来。
四色定理又称四色猜想、四色问题，其与费马猜想和哥德巴赫猜想并称世界近代三大数学难题。
四色问题的第一次书面记录出现在1852年10月23日伦敦大学数学教授摩尔根给哈密顿先生的一封信中。
在信中，摩尔根讲述了他的学生提出的一个问题：“一位学生今天让我说明一个事实的道理，我们不知道它是否可作为一个事实。他说任意划分一个图形并对其每个部分染色，使得任何具有公共边线的部分具有不同的颜色，而且只能用四种颜色，不能再多。.......你以为如何？如果这个问题成立，它能引起人们关注吗？”
起初，这个问题没有引起数学家们的注意，认为这是一个不需要证明的事实。直到1878年，伦敦数学会负责人正式宣布了这一问题，四色问题最终形成。
1878年8月13日，英国数学家凯莱在伦敦数学会上当众发问是否有人能证明四色猜想，从此才攜响了攻克四色猜想的战鼓。不到一年，便有一位叫肯伯（A.B.Kempe）的律师宣布其证明了四色猜想。但肯伯的证明是错误的。
1922年费兰克林（Franklin）证明了每个有至多25个国家的地图都可以用四种颜色着色。
1926年雷诺德（Reynolds）将这一结果推广到27个国家，然后在1938年费兰克林又创造了31个国家的纪录。
1940年温恩（Winn）证明了35个国家的情形以后，这方面的研究有所停滞，直到1970年，奥尔（Ore）和史坦普尔（Stemple）对所有至多包含40个国家的地图证明了四色定理。
这书数学家们意识到四色问题也许只有借助于能处理巨量数据的强有力的计算装置才能获得解决。
于是计算机专家哈肯与阿佩尔登场了，他们经过整整四年的紧张工作，终于在1976年6月成功地证明了四色定理。其中他们一共花费了1200个计算机小时，处理了两千多个构形。
就这样，一道数学问题，被计算机以“强力”的方式解决了。
所以，当方院长看到李智证明出来的是四色猜想时，心情那是哇凉哇凉的。
世界级数学难题之所以吸引人，就是因为她像一个美妙的女孩，用华丽的衣服把自己的美好隐藏起来。
无数数学家，为了欣赏那种美好，前赴后继，发动攻击。
当这道数学难题被人解决时，就意味着这个美妙女孩已经名花有主了。
旁边觊觎她的人，都会毫不犹豫的撤退，寻找新目标。
李智看到方院长眉头紧皱，立刻明白他心中所想。
笑道：“老师，我使用了纯数学的方法证明出来了四色猜想。”
“纯数学的方法？”方院长思索片刻，顿时明白他的意思。
虽然哈肯与阿佩尔宣布使用计算机证明出了四色猜想，但是数学界有很多数学家并不愿意承认这个结果。
在数学家看来，使用暴力枚举的方式证明数学难题，是对数学的亵渎。
他们认为应该使用数学逻辑来证明它。
就像如何证明一个女人是真正的女人，数学家会通过喉结，体型，脂肪率，声音，内部结构等方面来试图论证。
而计算机的“暴力枚举”方法就相当于让人直接把女人的衣服扒掉，然后指着某个部位说：看，我说她就是个女人吧，没错！
这种不讲道理的方法自然无法被数学家们接受。
在数学家们看来，数学难题的解决过程，往往比结果更重要。
因为在解题过程中，往往可以得出许多意想不到的数学理论。
比如第二次数学危机中，由于微积分尚不完善，出现了“阿基里斯追不上乌龟”，“飞矢不动”，“两分法”，“操场或游行队伍”等四个著名的悖论。
在解决这些悖论的过程中，威尔斯特拉斯、狄德金、康托等人独立地建立了实数理论，而且在实数理论的基础上，建立起极限论的基本定理，从而使数学分析建立在实数理论的严格基础之上。
同时，第二次数学危机也促进了19世纪的分析严格化、代数抽象化以及几何非欧化的进程。
数学难题也是如此，数学界有许多理论都是在解决数学难题的过程中发现的。
所以听了李智的话后，方院长立刻明白过来，四色猜想的华丽衣服，并没有被那帮学计算机的家伙，用冰冷的机器剥开！
李智准备完全使用数学方法来....剥掉它的衣服。
方院长并没有翻开论文，而是站起身从书柜中取出一团报纸。
他一层层剥开报纸，露出里面的碧绿茶叶。
这似曾相识的一幕，让李智有些恍惚，几个月前，他在青大李于光教授那里也见到过同样的纸包。
纸包里也装有茶叶。
茶叶作为华夏的国粹，老教授们都有喝茶的习惯并不奇怪。
奇怪的是，为什么茶叶都用报纸包着。
他看到方院长很小心的捏了一小撮茶叶，心中叹一口气：并且每一种被报纸包着的茶叶，都非凡品。