暴风中文 通过搜索各大小说站为您自动抓取各类小说的最快更新供您阅读!

“老师,这就是我证明《四色猜想》的具体思路。”李智把厚厚一摞论文摆在桌面上。

方院长虽然并不是他的任课老师,也从来没有教授过他任何知识。

但李智从他身上总能感到一种莫名的熟悉感,就像初中那位慈祥的白老师一样。

初中时,李智不但学习成绩很差,还十分顽皮。

有一次,他“不小心”拽到前排女孩的头发,结果那女孩的母亲是一个很强势的女人。

她直接找到校领导,要校领导开除李智。

眼见李智从此就变成了失学儿童,白老师站了出来,他说了一句让李智铭记一辈子的话。

“学校是教书育人的地方,不能因为学生犯了错误就随意开除学生。而且身为学校,身为老师,对好学生要好好教育,对差学生更要耐心教育。”

方院长身上,有一股真正教师的味道。

所以,李智喜欢把方院长称呼为“老师”。

“四色猜想?你怎么想着证明这玩意!”方院长原本激动的心情,顿时冷下来一半。

并不是因为四色猜想不出名,而是因为它实在太出名了,出名到已经被计算机专家,跨领域使用计算机证明了出来。

四色定理又称四色猜想、四色问题,其与费马猜想和哥德巴赫猜想并称世界近代三大数学难题。

四色问题的第一次书面记录出现在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世纪的分析严格化、代数抽象化以及几何非欧化的进程。

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

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

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

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

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

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

纸包里也装有茶叶。

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

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

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

暴风中文推荐阅读:当人类灭绝后,我非常的想念他们快穿之今天宿主他干掉反派了吗维度时代纳米核心开局搭配最强核心人在末日当反派,女神说要坏掉了吞天邪帝说好一起种地,你却偷偷去御兽?快穿之boss大人有点萌末世重生:囤货疯狂报复绿茶末世银河守护者末世神魔录末世:我的箭自带百分比斩杀天灾末世重生之带娃修行末日危机:机器人反噬人类美漫之道门修士快穿:恶女勾勾手,男主昏了头诸天万界我是老六关于我退休终焉下岗再就业这档事原来我是一个天道反派团重生了全球进化,我觉醒了一座世界我托雷基亚,这辈子想做个好人火影战力盘点:第一居然是他?废土第一美食小摊星际上山赶海美食不断末世重生之带娃修行","copyright":"任务主角又挂了带着系统在兽世从零级开始穿梭诸天四合院不甘心的许大茂我的一天有48小时道统传承系统终极宇宙试炼末世多子多福:我打造最强安全屋!末世:坑蒙拐骗杂货铺末世:恶女囤了百万物资游戏灾难:从获得神级金卡开始黛玉的快穿路末世细胞学末世红警:帝国时代星际江湖之异形王星系霸主之仙云星系战记末世重生,囤货百亿顺带谈个恋爱八云家的大少爷末世杀戮:无限空间之异能王者不务专业的歌手末世:空间加复制,我不狂谁狂美漫事务所:开局宠物汤姆和杰瑞我家后院是唐朝
暴风中文搜藏榜:穿成星际唯一人类,各路大佬疯抢新元纪快穿系统:男主又重生了龙珠之道问诸天生存游戏:从一只乌鸦开始全球领主:开局成为沙漠领主末日丧尸之我还是主角?零元购,我把渣爹老窝一锅端快穿撩情:嚣张boss,我宠的外来异星群星:我没输过,你说我是战犯?洪水末日:我打造了海上城市末世降临:我招收下属,获得百倍物资末世公寓截胡S级房车,我在逃亡中收美女分身分身闭上嘴,让我来说你是谁万界信用卡拐只狐狸带回家快穿:炮灰女配,颤抖吧末世大回炉最强寰宇主神此刻,全球极夜诸天BOSS群轴承曝光我成首席科学家阴阳食谱绝密试验档案穿越之虫族主宰在异界末日模拟器,我以剑道证超凡揣了反派龙君的崽后我跑路了异闻录我用铠甲闯末世重生末日前三天星穹铁道:神级附魔师,重铸造物引擎诸天次元交易所恐怖机场末世重生之凤归来奇妙的异世界旅行穿越到一九八零全球断电:重返冷兵器时代星际之大演绎家末世:别人囤物资,我直接建城日月星辰伴我眠,虫生异星当帝皇沐蓝星球3:星空学院维度进化战争余生伴星眠宝藏猎人江宪快穿之炮灰逆袭人生生存游戏,我从吸收核辐射开始!末世:反派会催眠,女主遭不住末世:从异虫开始,天灾末日
暴风中文最新小说:万界融合:我能调控爆率宿主太野,主角配角全沦陷末世重生,我有三十六种异能末世女杀神末世:开局契约雷狱魔龙这个疯子来自地球全民求生:女神求着进我家干苦力末日降临:绝对爆率,击杀必掉物资星辰大海海岛求生:从强化垂钓开始末世求生:打丧尸能掉盲盒?重生末日,我靠系统卷疯了末日:人族崛起飞车求生:开局和前女友母亲一起极寒末日,开局亿万物资囤女神末日最强包租婆,我靠抽盲盒躺赢末世重生,我以暴杀丧尸开始氪命无敌满级囤货后,全末世美男求包养菜地通末世:我囤亿万物资养大佬救命!病娇反派总哭唧唧求我怜爱嘘,祸水宿主被疯批大佬掐腰诱哄听懂植物心声,我在废土开养生店四个兽夫争又抢,治愈雌性超稀有末日公路求生,我的宝箱无限刷新快穿:心机龙崽又双叒叕崩剧情穿越第四维之梦魇末世之我能召唤钢铁洪流全星际都知道元帅他在吃软饭全球生物变大万倍:我能操控万物满级恶雌超香软,五个兽夫掐腰宠穿越到末世:我左手烧烤右手火锅亿万僵尸来袭,开局无限子弹炮台快穿之十佳好闺蜜末世:拥有旁白系统的我不是变态铁血所至,万邦俯首人族战神专攻下三路我探查术有BUG,捡根木棍变屠龙宝剑高温进化:开局觉醒顶级空间异能灵笼:刀刀爆物资,升级送功法列车求生,我能升华万物举世震惊,反叛者八号出现!全民跑刀:开局觉醒空间系安全箱极寒末世,黑丝御姐求住我家别人毕设搞游戏,你搞元宇宙?万界求生:开局我被僵尸娘盯上!穿越者归来,决战AI星际幼崽上综艺,靠吃萌翻全宇宙万人嫌成白月光,在兽世好孕连连起源末日边缘末世之火异能者的觉醒