四色問題

ロビン・ウィルソン　著、 茂木 健一郎　訳　／新潮社

四色問題が、証明された今もなお問題と
言われる理由は、読んでみて分かった。
つまり、読んでも証明の全容が分からない。
なぜならその証明の主要部分はコンピュータによるものだから。

でもこの問題がどこか魅力的に感じることには、
そんなエレガントでない証明も手伝っているのかもしれない。
それに「地図職人にははるか昔から経験的に知られていた」ことや、
「今もコンピュータによる証明以外は見つかっていない」
なんてことが、どこか神秘的。

最終的には、へイウッドの予想のg=0の場合に
該当するなんて、そんな拡張も魅力的。