オススメ度 ★★★☆☆ ３／５
すべての地図は4色で塗り分ける事ができる。経験的に受け入れられてきたこの事実の証明は何年も数学者達を苦しめてきた。そんな四色問題が証明されるまでを描く。
コンピュータを使った美しくない証明として議論を呼んだ証明として興味を持っていた。もちろん問題自体（つまり地図が4色で塗り分けられるという考え）がわかりやすいというのも理由の１つだろう。こういう本は数学者でもない限りすべてを理解するのは不可能なのだが、それでもその雰囲気や数学者達の努力が感じられれば僕にとっては十分なのである。
序盤は「四色問題」がどのように始まり、どのように数学界に広がっていったかを描き、中盤からは、簡単な塗り分けから考え方を説明し、四色問題が難しい理由などを説明する。その過程では11年間にわたって信じられてきた間違った証明も含まれている。
興味深いのは、この証明の「美しくなさ」である。証明をしたアッペルとハーケンは非難されてさえいるということである。
数学の証明の難しさ、あるべき姿、など考えさせられる一冊。
【楽天ブックス】「四色問題」