喝了一口啤酒，润了润嗓子，孔继道接着说道：“就这么一个简朴的题目，却难住了这个星球上的统统人，一向到电子计算机问世才算有了关头性的停顿，因为演算速率敏捷进步，大大加快了对四色猜想证明的过程。就在1976年6月，在美国伊利诺斯大学的两台分歧的电子计算机上，用了1200个小时，作了100亿判定，成果没有一张舆图是需求五色的，终究证了然四色定理，颤动了天下。”
“肯普是用归谬法来证明的，粗心是如果有一张的五色舆图，就会存在一个国数起码的极小五色舆图，如果极小五色舆图中有一个国度的邻国数少于六个，就会存在一个国数较少的舆图仍为五色的，如许一来就不会有极小五色舆图的国数，也就不存在五色舆图了。如许肯普就以为他已经证了然四色题目，但是厥后人们发明他错了。”
“这是一百多年来吸引许多数学家与数学爱好者的大事，当两位数学家将他们的研讨服从颁发的时候，本地的邮局在当天收回的统统邮件上都加盖了四色充足的特制邮戳，以庆贺这一困难获得处理。传闻这一天的函件在保藏市场上还挺抢手的，每个数学爱好者都想采办一个保存。”
“在四色题目的研讨过程中，很多新的数学实际随之产生，也生长了很多数学计算技能。如将舆图的着色题目化为图论题目，丰富了图论的内容。不但如此，四色题目在有效地设想各种日程表以及计算机的编码法度上都起到了鞭策感化。”
刘猛一听大乐，所谓的归谬法不就是自相冲突的意义嘛，就仿佛一个傻蛋拿着一根矛和一面盾，号称本身这矛是天下上最锋利的，能够刺破统统的盾，又宣称本身的盾是最健壮的，能够防护最锋利矛，归谬法的本质就是用你的最锋利的矛进犯你最健壮的盾，获得相悖的结论。
说着，孔继道镇静的满脸红光，还带着一点八卦的光辉，大抵是在想着肯普这个不利蛋会是啥表情？
孔继道摆了摆手，无所谓地说道：“不打紧的，明天早晨跟我一起归去吧，我可一向跟黉舍说我们两个一起研讨数学的，并且正在研讨天下三大数学猜想之一的哥德巴赫猜想，这三大猜想，你小子晓得吧？”
追根究底是数学家的赋性，这点刘猛绝对同意，前次插手数学年会便可见一斑了，这是一个极其刚强的群体，刚强到必然程度，就是谨慎眼，眼睛里揉不得一点沙子，在寻求数学上，这类精力是值得必定的，不过，可惜的是，大多数人都把这类特质代入糊口中。
又弥补道：“固然任何平面舆图能够只用四个色彩着色，但是这个定理的利用却相称有限，因为实际中的舆图常会呈现飞地，即两个不连通的地区属于同一个国度的环境，而制作舆图时我们仍会要求这两个地区被涂上一样的色彩，在这类环境下，只用四种色彩将会形成诸多不便。”
这会儿，几个同窗窃保私语，大抵都猜到了和神级学霸刘猛同窗坐在一起谈天的老头儿就是孔继玄门员，晓得本相的同窗不由得狠狠地瞪了孔继道，看那模样杀人的心都有了。
孔继道笑呵呵看着刘猛，眼睛一眯，傲然地说道：“当然是采取啦，不过你小子也别欢畅的太早，明天上午黉舍学位评定位会员的统统成员将召开一次集会，针对礼聘你为研讨员的事最后一次筹议，到时候你也要插手，最好是筹办一下。”
“这个定理有甚么实际利用吗？”比拟于孔继道的纯粹爱好数学，刘猛更加实际，方向考虑利用，猎奇地问道。这么些人前仆后继投身此中，莫非跟研讨《红楼梦》一样，仅仅是兴趣嘛，那不是闲着蛋疼嘛。