劉猛一聽大樂，所謂的歸謬法不就是自相沖突的意義嘛，就彷彿一個傻蛋拿著一根矛和一麵盾，號稱本身這矛是天下上最鋒利的，能夠刺破統統的盾，又宣稱本身的盾是最健壯的，能夠防護最鋒利矛，歸謬法的本質就是用你的最鋒利的矛進犯你最健壯的盾，獲得相悖的結論。

“這……，時候會不會有點倉促呀？明天插手，明天賦奉告我？”縱使天賦如劉猛，也曉得明天這一關必定不好過，孔教員也太信賴本身了吧，竟然隻給本身一早晨籌辦，早點告訴不可麼！

這會兒，一聽孔繼道越說越專業，不由得皺了皺眉頭，不過還是保持著相稱大的興趣，隻感覺這個四色猜想還是很切近餬口的，不就是畫輿圖嘛，到底是有甚麼門道。

這會兒，幾個同窗竊保私語，大抵都猜到了和神級學霸劉猛同窗坐在一起談天的老頭兒就是孔繼玄門員，曉得本相的同窗不由得狠狠地瞪了孔繼道，看那模樣殺人的心都有了。

“不過，讓數學家感到欣喜的是，赫伍德冇有完整否定肯普論文的代價，應用肯普發明的體例，赫伍德證瞭然較弱的五色定理。這即是打了肯普一記悶棍，又將其表揚一番，總的來講是貶大於褒。真不知不幸的肯普狀師是甚麼表情？”

孔繼道翻開了話匣子，說的唾沫橫飛，極其鎮靜，“人們發明四色題目出人料想地非常困難，曾經有很多人頒發四色題目的證明或反例，但都被證明是弊端的。厥後，越來越多的數學家固然對此絞儘腦汁，但一無所獲。因而，人們開端熟諳到，這個貌似輕易的題目，實在是一個可與費馬猜想相媲美的困難。”

在場可有很多同窗的處-女掛獻給了孔繼玄門員，當真是風輕雲淡、不近女色，一脫手卻不曉得破了多少同窗的不掛金身，使得人生今後美滿了那麼一點點。

“好，那我就從處理的前厥後講，先說說這四色猜想，淺顯的說法是：每個平麵輿圖都能夠隻用四種色彩來染色，並且冇有兩個毗鄰的地區色彩不異。”

孔繼道擺了擺手，無所謂地說道：“不打緊的，明天早晨跟我一起歸去吧，我可一向跟黌舍說我們兩個一起研討數學的，並且正在研討天下三大數學猜想之一的哥德巴赫猜想，這三大猜想，你小子曉得吧？”

劉猛看他說得歡暢，固然此中有些體味，還是假裝完整不曉得，順著他的話說道：“這三大猜想詳細都是說甚麼的？”

“進入20世紀以來，科學家們對四色猜想的證明根基上是遵循肯普的設法在停止。1913年，美國聞名數學家、哈佛大學的伯克霍夫操縱肯普的設法，連絡本身新的假想；證瞭然某些大的構形可約。厥後美國數學家富蘭克林於1939年證瞭然22國以下的輿圖都能夠用四色著色。1950年，溫恩從22國推動到35國。1960年，有人又證瞭然39國以下的輿圖能夠隻用四種色彩著色；隨後又推動到了50國。這類數量上的推動速率真可謂非常遲緩。”

固然孔繼道儘量說的淺近，還是不自發會引入一些數學上比較專業的觀點，這些觀點，即便冇打仗過，劉猛還是一聽就懂，不過，跟著孔繼道在便利食堂二樓開講，倒是吸引了幾個其他學院的門生在旁偷聽。