“这是一百多年来吸引许多数学家与数学爱好者的大事，当两位数学家将他们的研讨服从颁发的时候，本地的邮局在当天收回的统统邮件上都加盖了四色充足的特制邮戳，以庆贺这一困难获得处理。传闻这一天的函件在保藏市场上还挺抢手的，每个数学爱好者都想采办一个保存。”
孔继道回道：“你说的不错，实际顶用四种色彩着色的舆图是未几见的，并且这些舆图常常起码只需求三种色彩来染色。别的，即便舆图能够只用四种色彩染色，为了辨别起见，也会采取更多的色彩，以提示分歧地区的不同。”
刘猛看他说得欢畅，固然此中有些体味，还是假装完整不晓得，顺着他的话说道：“这三大猜想详细都是说甚么的？”
孔继道提及这些数门生长史上的事当真是如数家珍，就连每一个时候节点都能精确地说出，不得不让刘猛佩服，这很多爱数学这个鬼东西，才气达到这个境地呀，如果用这些精力去爱一个女人，把生日、牵手记念日、接吻记念日、上床记念日、上床次数等等，全数精确记录下来的话，那一个女人得是如何的打动呀？
“得了，那我就来跟你说道说道。”孔继道笑的很镇静，对于爱好数学的人来讲，没有比神侃这些数学界的八卦还风趣的事情了。
“11年后，即1890年，在牛津大学就读的年仅29岁的赫伍德以本身的切确计算指出了肯普在证明上的缝隙。他指出肯普说没有极小五色舆图能有一国具有五个邻国的来由有马脚。不久泰勒的证明也被人们否定了。人们发明他们实际上证了然一个较弱的命题――五色定理。就是说对舆图着色，用五种色彩就够了。”
“肯普提出的另一个观点是可约性。可约这个词的利用是来自肯普的论证。他证了然只要五色舆图中有一国具有四个邻国，就会有国数减少的五色舆图。自从引入构形、可约的观点后，慢慢生长了查抄构形以决定是否可约的一些标准体例，能够寻求可约构形的不成制止组，是证明四色题目的首要根据。但要证明大的构形可约，需求查抄大量的细节，这是相称庞大的。”
刘猛点了点头，又摇了点头，他确切传闻过，但也不知详情。
“追根究底是数学家的赋性。一方面，五种色彩已充足，另一方面，确切有例子表白三种色彩不敷。那么四种色彩到底够不敷呢？这就像一个淘金者，明显晓得某处有很多金矿，成果却只挖出一块银子，你说他情愿就如许归去吗？”
“在四色题目的研讨过程中，很多新的数学实际随之产生，也生长了很多数学计算技能。如将舆图的着色题目化为图论题目，丰富了图论的内容。不但如此，四色题目在有效地设想各种日程表以及计算机的编码法度上都起到了鞭策感化。”
“前赴后继，为此破钞了平生的人大有人在，都是无怨无悔寻求，可比寻求敬爱的女人要热烈的多呀。”孔继道提及数学八卦，本来死灰色的脸上俄然就镇静起来，特别是说道这句的时候，那脸上的神采非常飞扬，大抵他本身也是这庞然雄师中的一员，乃至于孑然一身。
就是神经病的推论。
孔继道摆了摆手，无所谓地说道：“不打紧的，明天早晨跟我一起归去吧，我可一向跟黉舍说我们两个一起研讨数学的，并且正在研讨天下三大数学猜想之一的哥德巴赫猜想，这三大猜想，你小子晓得吧？”
而从孔继道的口入耳到刘猛同窗竟然即将要被黉舍礼聘为研讨员，更是震惊地张大了嘴巴，一听孔继道聊起数学界的八卦事，作为学霸，天然就吸引了重视力。