的推进速度真可谓十分缓慢。”
喝了一口啤酒，润了润嗓子，孔继道接着说道：“就这么一个简单的问题，却难住了这个星球上的所有人，一直到电子计算机问世才算有了关键性的进展，由于演算速度迅速提高，大大加快了对四色猜想证明的进程。就在1976年6月，在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，结果没有一张地图是需要五色的，最终证明了四色定理，轰动了世界。”
“这是一百多年来吸引许多数学家与数学爱好者的大事，当两位数学家将他们的研究成果发表的时候，当地的邮局在当天发出的所有邮件上都加盖了四色足够的特制邮戳，以庆祝这一难题获得解决。据说这一天的信件在收藏市场上还挺抢手的，每个数学爱好者都想购买一个留存。”
“这个定理有什么实际应用吗？”相比于孔继道的纯粹爱好数学，刘猛更加实际，偏向考虑应用，好奇地问道。这么些人前仆后继投身其中，难道跟研究《红楼梦》一样，仅仅是兴趣嘛，那不是闲着蛋疼嘛。
又补充道：“虽然任何平面地图可以只用四个颜色着色，但是这个定理的应用却相当有限，因为现实中的地图常会出现飞地，即两个不连通的区域属于同一个国家的情况，而制作地图时我们仍会要求这两个区域被涂上同样的颜色，在这种情况下，只用四种颜色将会造成诸多不便。”
孔继道回道：“你说的不错，实际中用四种颜色着色的地图是不多见的，而且这些地图往往最少只需要三种颜色来染色。此外，即便地图能够只用四种颜色染色，为了区分起见，也会采用更多的颜色，以提示不同地区的差别。”
看刘猛对这个四色猜想很是不以为然，孔继道又说道：“问题的本身或许实际意义不大，但是为了解决这个猜想，一个多世纪以来，数学家们绞尽脑汁，所引进的概念与方法刺激了拓扑学与图论的生长、发展。”
“在四色问题的研究过程中，不少新的数学理论随之产生，也发展了很多数学计算技巧。如将地图的着色问题化为图论问题，丰富了图论的内容。不仅如此，四色问题在有效地设计各种日程表以及计算机的编码程序上都起到了推动作用。”
ps：
早就想写这个了，其实数学界的三大猜想都非常有意思。
第二二零章：大赌棍
孔继道越说越是兴奋，到方便食堂二层吃饭的同学，听他讲着学术界的事，虽然听的似懂非懂的，却也着了迷，一时也觉得终身能够专注地追求一件事，也是一件非常神奇的事。
这一停下来，同学们无一不是翘首以待，等着孔老师继续讲下去，一时间连对孔老师的刻骨仇恨都给忘记了。
吃了一口牛肉馅饼，孔继道笑呵呵地说道：“要说这费马大定理，可比四色定理出名多了，首先就得先说说这费马，到底是何许人也！为什么要以这个人的名字来命名这个猜想。”
“费马，法国律师和业余数学家，他在数学上的成就不比职业数学家差，对数论最有兴趣，亦对现代微积分的建立有所贡献，被誉为业余数学家之王。”
刘猛一听顿时觉得好玩，费马这不就是一个在数学王国里打酱油的嘛，竟然取得了如此杰出的贡献，算得上是酱油党里的大牛了。
还记得以前无聊看帖子的时候就看到过关于费马的笑话，说是牛顿和莱布尼茨在争论一道微积分的题目，这时候费马拿着一个瓶子走过来，由于费马在微积分领域也很权威，两人就一起向费马讨教，请他评理，这两位都是大神呀，费马哪敢乱说，结果他摆了摆手，举着瓶子说：“我是来打酱油的。”
不过，科学研究领域，当真是很奇怪，除了这位业余数学家之外，还有一位同样是酱