更新時間：2022-04-16 15:08:10作者：佚名
是第一個主要由計算機證明的理論，這一證明并不被所有的數學家接受數學分解尺，因為它不能由人工直接驗證。最終，人們必須對計算機編譯的正確性以及運行這一程序的硬件設備充分信任。
缺乏數學應有的規范成為了另一個方面；以至于有人這樣評論“一個好的
應當像一首詩——而這純粹是一本
！”
德·摩爾根：地圖四色定理
地圖四色定理最先是由一位叫
（ ）的
生提出來的。德?摩爾根（A，，1806～1871）
10月23日致
的一封信提供了有關四色定理來源的最原始的記載。他在信中簡述了自己證明四色定理的設想與感受。一個多世紀以來，數學家們為證明這條定理
，所引進的概念與方法刺激了
與
的生長、發展。1976年美國數學家
（K.Appel）與
（W.Haken）宣告借助電子計算機獲得了四色定理的證明，又為用計算機證明數學定理開拓了前景。以下摘錄德?摩爾根致
信的主要部分，譯自J． and J.Gray（eds.），The of ：A ，pp． 597～598。
德·摩爾根致
的信（1852年10月23日）
我的一位學生今天請我解釋一個我過去不知道，現在仍
的事實。他說如果任意劃分一個圖形并給各部分著上顏色，使任何具有公共邊界的部分顏色不同，那么需要且僅需要四種顏色就夠了。下圖是需要四種顏色的例子（圖1）?，F在的問題是是否會出現需要五種或更多種顏色的情形。就我目前的理解，若四個不訂分割的區域兩兩具有公共邊界線，則其中三個必包圍第四個而使其不與任何第五個區域相毗鄰。這事實若能成立，那么用四種顏色即可為任何可能的地圖著色，使除了在公共點外同種顏色不會。
現畫出三個兩兩具有公共邊界的區域ABC，那么似乎不可能再畫第四個區域與其他三個區域的每一個都有公共邊界，除非它包圍了其中一個區域（圖2）。但要證明這一點卻很棘手，我也不能確定問題復雜的程度一對此您的意見如何呢？并且此事如果當真，難道從未有人注意過嗎？我的學生說這是在給一幅英國地圖著色時提出的猜測。我越想越覺得這是顯然的事情。