进行。1913年，美国著名数学家、哈佛大学的伯克霍夫利用肯普的想法，结合自己新的设想；证明了某些大的构形可约。后来美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950年，温恩从22国推进到35国。1960年，有人又证明了39国以下的地图可以只用四种颜色着色；随后又推进到了50国。这种数量上的推进速度真可谓十分缓慢。”

    喝了一口啤酒，润了润嗓子，孔继道接着说道：“就这么一个简单的问题，却难住了这个星球上的所有人，一直到电子计算机问世才算有了关键性的进展，由于演算速度迅速提高，大大加快了对四色猜想证明的进程。就在1976年6月，在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，结果没有一张地图是需要五色的，最终证明了四色定理，轰动了世界。”

    “这是一百多年来吸引许多数学家与数学爱好者的大事，当两位数学家将他们的研究成果发表的时候，当地的邮局在当天发出的所有邮件上都加盖了四色足够的特制邮戳，以庆祝这一难题获得解决。据说这一天的信件在收藏市场上还挺抢手的，每个数学爱好者都想购买一个留存。”

    “这
 <本章未完请点击"下一页"继续观看!>