4色定理をどう考えるか？

証明当時の数学者の反応
抵抗を感じる人が少なくなかった。
コンピューターを使わない証明を期待する (今でも？)

現在に生きる私 (門外漢です, 多数派でもないでしょう)
この種の「証明」は、
プログラムを証明の一部として読んで理解し、
手元のコンピューターで追試することが可能であれば、
それほど抵抗なく受け入れられるのではないか？

今ならば、きっとパソコンで短時間に実行できるはずだし、証明に使用した計算プログラムの公開・配布も簡単で、第三者による検証は容易であろう (当時は相当 rich な人でないと、追試は難しかったはず)。