“这是一百多年来吸引许多数学家与数学爱好者的大事，当两位数学家将他们的研讨服从颁发的时候，本地的邮局在当天收回的统统邮件上都加盖了四色充足的特制邮戳，以庆贺这一困难获得处理。传闻这一天的函件在保藏市场上还挺抢手的，每个数学爱好者都想采办一个保存。”
这些门生能够不熟谙孔继道，但是却没有一小我不熟谙刘猛，冰城产业大学的根本学部但是号称高中与大学的过渡，在这里，门生们固然已经步入大学里，但是还保持着高中时候的学习风俗，还是每个班级另有牢固的自习室，一样的，大师对待学习也都非常当真，对于最优良者，刘猛同窗，还是打内心中崇拜的，不自发想跟刘猛熟谙一下的。
刘猛点了点头，又摇了点头，他确切传闻过，但也不知详情。
喝了一口啤酒，润了润嗓子，孔继道接着说道：“就这么一个简朴的题目，却难住了这个星球上的统统人，一向到电子计算机问世才算有了关头性的停顿，因为演算速率敏捷进步，大大加快了对四色猜想证明的过程。就在1976年6月，在美国伊利诺斯大学的两台分歧的电子计算机上，用了1200个小时，作了100亿判定，成果没有一张舆图是需求五色的，终究证了然四色定理，颤动了天下。”
说着，孔继道镇静的满脸红光，还带着一点八卦的光辉，大抵是在想着肯普这个不利蛋会是啥表情？
“肯普是用归谬法来证明的，粗心是如果有一张的五色舆图，就会存在一个国数起码的极小五色舆图，如果极小五色舆图中有一个国度的邻国数少于六个，就会存在一个国数较少的舆图仍为五色的，如许一来就不会有极小五色舆图的国数，也就不存在五色舆图了。如许肯普就以为他已经证了然四色题目，但是厥后人们发明他错了。”
固然孔继道尽量说的浅近，还是不自发会引入一些数学上比较专业的观点，这些观点，即便没打仗过，刘猛还是一听就懂，不过，跟着孔继道在便利食堂二楼开讲，倒是吸引了几个其他学院的门生在旁偷听。
“1872年，英国当时最闻名的数学家凯利正式向伦敦数学学会提出了这个题目，因而四色猜想成了天下数学界存眷的题目，天下上很多一流的数学家都纷繁插手了四色猜想的大会战。今后，这个题目在一些人中间传来传去，当时，三平分角和化圆为方题目已在社会上臭名昭著，而四色瘟疫又悄悄地传播开来了。”
又弥补道：“固然任何平面舆图能够只用四个色彩着色，但是这个定理的利用却相称有限，因为实际中的舆图常会呈现飞地，即两个不连通的地区属于同一个国度的环境，而制作舆图时我们仍会要求这两个地区被涂上一样的色彩，在这类环境下，只用四种色彩将会形成诸多不便。”
这会儿，一听孔继道越说越专业，不由得皱了皱眉头，不过还是保持着相称大的兴趣，只感觉这个四色猜想还是很切近糊口的，不就是画舆图嘛，到底是有甚么门道。
“不过，让数学家感到欣喜的是，赫伍德没有完整否定肯普论文的代价，应用肯普发明的体例，赫伍德证了然较弱的五色定理。这即是打了肯普一记闷棍，又将其表扬一番，总的来讲是贬大于褒。真不知不幸的肯普状师是甚么表情？”
“11年后，即1890年，在牛津大学就读的年仅29岁的赫伍德以本身的切确计算指出了肯普在证明上的缝隙。他指出肯普说没有极小五色舆图能有一国具有五个邻国的来由有马脚。不久泰勒的证明也被人们否定了。人们发明他们实际上证了然一个较弱的命题――五色定理。就是说对舆图着色，用五种色彩就够了。”