哲學家黎鳴 (攝影/曲立巖)
哲學家黎鳴自稱受老子《道德經》啟發已破譯“四色定理”
北京科技報25日報道：近日，哲學家黎鳴在其博客上發表的文章《感謝老子，我發現了———“四色”難題終獲簡潔而絕妙證明》引起了記者的好奇。所謂“四色”難題就是“四色猜想”，它是世界近代三大數學難題之一，另外兩大難題就是著名的費馬最后定理和哥德巴赫猜想?！八纳孪搿?曾由美國數學家哈肯與阿佩爾于1976年用電子計算機獲得證明，而黎鳴稱自己可以用最簡潔的書面方法作出證明。對此，記者專訪了這位自稱“哲學烏鴉”的思想狂徒。
黎鳴認為，用計算機證明“四色猜想”難以讓人信服
黎鳴認為，電子計算機獲得的證明是難以讓人信服的，人們無法檢驗計算機所做出的100億次以上的判斷，一味依賴于電子計算機使得人類忘記了自身的智慧，他在博客中這樣寫道：“……在老子和康德思想的共同啟發下，我發現了絕妙的證明方法，不需要任何其他工具，包括電子計算機，而只需要一支筆，幾張紙，我就能既簡潔而又明快地，作出完完全全、漂漂亮亮的‘四色’定理的證明……”
“四色猜想”的由來可謂久遠。1852年，畢業于倫敦大學的弗南西斯-格思里來到一家科研單位搞地圖著色工作時發現，每幅地圖都可以用四種顏色著色，使得有共同邊界的國家著上不同的顏色。用數學語言表示，即“將平面任意地細分為不相重迭的區域，每一個區域總可以用1、2、3、4這四個數字之一來標記，而不會使相鄰的兩個區域得到相同的數字?！边@里所指的相鄰區域，是指有一整段邊界是公共的。如果兩個區域只相遇于一點或有限多點，就不叫相鄰的。因為用相同的顏色給它們著色不會引起混淆。這個結論能不能從數學上加以嚴格證明呢？1872年，英國當時最著名的數學家凱利正式向倫敦數學學會提出了這個問題，于是“四色猜想”成了世界數學界關注的問題。
電子計算機問世以后，由于演算速度迅速提高，加之人機對話的出現，大大加快了對四色猜想證明的進程。1976年，美國數學家阿佩爾與哈肯在美國伊利諾斯大學的三臺不同的電子計算機上，用了1200個小時，作了100億次以上的判斷，終于完成了證明。“四色猜想”的計算機證明，轟動了世界，從而使“四色猜想”成為了四色定理。它不僅解決了一個歷時100多年的難題，而且有可能成為數學史上一系列新思維的起點。不過也有不少數學家并不滿足于計算機取得的成就，他們還在尋找一種更簡捷明快的書面證明方法，此番即出現來自中國哲學人士的新構想的爭鳴聲音。
自稱證明“四色”定理來源老子“三生萬物”構想
大學時期學的是理論物理，讀研究生時修的是理工專業，黎鳴告訴記者，那時的他對“四色猜想”有所了解，但從未想過要去攻破它。直到5年前，黎鳴正著力研究把哲學的基礎從傳統的二元論轉化為三元論。直覺使他感覺到，運用三元邏輯理論能夠清晰證明“四色猜想”。他說：“這種直覺的產生主要受老子《道德經》中‘三生萬物’的啟發。”
三元邏輯論者認為，事物應該以一分為三、合三而一的方式看待，比如地球有南極、北極和赤道即可以說是構成了三極。天氣學上有氣旋、反氣旋還有鞍型區，實際上是大氣系統的三種狀態。
黎鳴認為，老子在兩千五百多年前提出的“三生萬物”是偉大的猜想，包括費馬最后猜想、哥德巴赫猜想和“四色”猜想，實際上也均與“三生萬物”中的“三”密切相關。
自我暗戰5年，多次試圖推翻自己的證明未果
黎鳴的證明過程大致可以分為三個步驟，第一個步驟是運用公理法，第二個步驟是生成理論，最后再用數學歸納法。不到幾天的工夫，黎鳴便完成了所有的證明步驟。而此時，他也不敢完全相信自己的證明結果：“畢竟這是一個世界頂級數學難題，怎么可能這么輕而易舉地就證明出來？”這讓黎鳴懷疑自己證明的正確性，因此，他始終不敢輕易將他的結論公布出來。
在這5年里，黎鳴試圖從各個角度推翻自己的證明，但是每提出一個質疑，都迎刃而解，他說：“讓別人來懷疑我之前，我已經將自己懷疑透了?！痹诖似陂g，黎鳴從未同身邊任何一個朋友提及此事。
期待數學家們質疑其證明結論
今年4月20日，黎鳴認為自己的證明應該是天衣無縫了，于是在自己的博客上發表了文章，將自己的發現公布天下，希望能夠得到中科院數學所的關注，同時也期待數學家們對他進行質疑。
但讓黎鳴感到無法理解的是，自從公布自己的發現以后，一個月以來，不但沒有引起相關科研機構以及整個學術界的關注，還招來了網上不少人們的諷刺，被譏為瘋子的狂言，甚至發出莫名的咒罵。對此，黎鳴在博客上發出這樣的感慨：“長期以來，中國人聽慣了吹牛、扯謊、說大話……這大概就是中國人之所以對真理的發現及其發現者表現出如此麻木不仁的根本原因吧？”
黎鳴自信地表示，自己的證明經得起中科院數學所專家們的質疑，他說，因為擔心被剽竊，所以也不敢輕易發表論文，甚至把為證明所演算的所有手稿都銷毀了，只能等待一種可供信賴的方式來發表自己的研究。
“四色猜想” 如何產生
1852年，倫敦大學弗南西斯-格思里與在讀大學的弟弟格里斯發現，每幅地圖都可以用四種顏色著色。他們開始試圖用數學方法來證明，這便是“四色猜想”的最早提出。
1852年，格思里的弟弟請教他的老師、著名數學家德-摩爾根，摩爾根也沒有能找到解決這個問題的途徑，于是寫信向自己的好友、著名數學家哈密爾頓爵士請教。但直到1865年哈密爾逝世，問題也沒有能夠解決。
1872年，英國當時最著名的數學家凱利正式向倫敦數學學會提出了這個問題，于是四色猜想成為世界數學界關注的問題。
1878～1880年，著名的律師兼數學家肯普和泰勒兩人分別提交了證明四色猜想的論文，宣布證明了四色定理。
1890年，數學家赫伍德以自己的精確計算指出肯普的證明是錯誤的。不久，泰勒的證明被人們否定。
1913年，伯克霍夫在前輩研究的基礎上引進了一些新技巧。美國數學家富蘭克林于1939年證明了22國以下的地圖都可以用四色著色。1950年，有人從22國推進到35國。1960年，有人又證明出39國；隨后又推進到了50國。而這種推進仍然十分緩慢。
1976年，美國數學家阿佩爾與哈肯在美國伊利諾斯大學的三臺不同的電子計算機上完成了四色定理的證明。
來源：北京科技報
?京公網安備110102000421號