第83章 如何证明女人是女人(2 / 2)
当这道数学难题被人解决时,就意味着这个美妙女孩已经名花有主了。
旁边觊觎她的人,都会毫不犹豫的撤退,寻找新目标。
李智看到方院长眉头紧皱,立刻明白他心中所想。
笑道:“老师,我使用了纯数学的方法证明出来了四色猜想。”
“纯数学的方法?”方院长思索片刻,顿时明白他的意思。
虽然哈肯与阿佩尔宣布使用计算机证明出了四色猜想,但是数学界有很多数学家并不愿意承认这个结果。
在数学家看来,使用暴力枚举的方式证明数学难题,是对数学的亵渎。
他们认为应该使用数学逻辑来证明它。
就像如何证明一个女人是真正的女人,数学家会通过喉结,体型,脂肪率,声音,内部结构等方面来试图论证。
而计算机的“暴力枚举”方法就相当于让人直接把女人的衣服扒掉,然后指着某个部位说:看,我说她就是个女人吧,没错!
这种不讲道理的方法自然无法被数学家们接受。
在数学家们看来,数学难题的解决过程,往往比结果更重要。
因为在解题过程中,往往可以得出许多意想不到的数学理论。
比如第二次数学危机中,由于微积分尚不完善,出现了“阿基里斯追不上乌龟”,“飞矢不动”,“两分法”,“操场或游行队伍”等四个著名的悖论。
在解决这些悖论的过程中,威尔斯特拉斯、狄德金、康托等人独立地建立了实数理论,而且在实数理论的基础上,建立起极限论的基本定理,从而使数学分析建立在实数理论的严格基础之上。
同时,第二次数学危机也促进了19世纪的分析严格化、代数抽象化以及几何非欧化的进程。
数学难题也是如此,数学界有许多理论都是在解决数学难题的过程中发现的。
所以听了李智的话后,方院长立刻明白过来,四色猜想的华丽衣服,并没有被那帮学计算机的家伙,用冰冷的机器剥开!
李智准备完全使用数学方法来....剥掉它的衣服。
方院长并没有翻开论文,而是站起身从书柜中取出一团报纸。
他一层层剥开报纸,露出里面的碧绿茶叶。
这似曾相识的一幕,让李智有些恍惚,几个月前,他在青大李于光教授那里也见到过同样的纸包。
纸包里也装有茶叶。
茶叶作为华夏的国粹,老教授们都有喝茶的习惯并不奇怪。
奇怪的是,为什么茶叶都用报纸包着。
他看到方院长很小心的捏了一小撮茶叶,心中叹一口气:并且每一种被报纸包着的茶叶,都非凡品。
↑返回顶部↑