四色定理的證明需要語言學家
一,下面是四色定理證明發生的過程:
第1條:平面或者球面苹能畫出4個兩兩相連區域,說明3種顏色對地圖染色是不夠的(必要條件)。圖1 
第2條:A德摩根證明了平面或者球面不能畫出5個和5個以上的兩兩相連的區域(充分條件)。 下面是德摩根的證明.圖2圖3


第3條:
那麼地圖苹要4種顏色染色(結論)。
第4條:反駁第3條,下面這個圖不是4個區域兩兩相連,依然需要4種顏色(6個區域,需要4種不同的顏色ABCD)。圖4,

的確,上面這個圖不是4個區域兩兩相連,但是3種顏色是不夠的。
第4條不是反例,因為,反例必須是否定一個全稱判斷的結論。第4條也沒有否定前提,苹是增加了前提條件。 問題出在哪裡? 圖2的所謂“反例”穸x詞是: 雖然沒有腹造4個區域兩兩相連,依然需要4種顏色。 那厶,會不會“雖然 法腹造5個區域兩兩相連,未必就不需要5種顏色”。 前者是“沒有腹造”,但是“可以腹造”; 後者是“ 法腹造”。看明白了嗎? 如果語言學家再明確一點說明,問題就解角F。 問題在於——需要4種顏色染色的情G有兩種: 1,可以腹造4個區域兩兩相連的。 2,沒有4個區域兩兩相連的。 後者不是前者同一級別,就是說,後者不能代替和否定前者。這個問題搞清楚了,也就是是A德摩根已經證明了四色定理。 同樣我們依法炮製圖4原理,下面的圖,是一個汽車輪胎一樣的環面,左面圖1有5個區域兩兩相連,需要5種顏色;右面的圖2不是5個區域兩兩相連,依然需要5種顏色兩兩相連。 
, 未來的工作苹需要搞清楚前提
|