【ｼﾞｬﾈｰﾉは】模型板雑談部屋 第16分室【要らない】

>全パターンを４色で塗ってみて「できた！」としただけで、代数的な証明をしたわけでは
>ありません。「正しいかどうか」は明らかになりましたが。

「コンピューターを使った・時間がかかった」から、「実際に地図を塗ってみて出来ることを証明した」
と思ってる人は多いな。

四色問題はコンピューターを使わないと解けないことから疑う学者もいるけど、
１．反証がなされていない
２．追検証でも誤りは発見できなかった
ことから、「四色問題は証明されている」ということになっているんだが。