2014/03/14 の収穫：『四色問題』

2014/03/14 の収穫：讀物篇

• ロビン・ウィルソン "四色問題", 茂木健一郎 訳, 新潮社, 2004, 2013, ISBN978-4-10-218461-5, (Robin Wilson "Four Colours Suffice", How the Map Problem Was Solved, 2002)

四色問題

なんで縦書なんだ？　読み難くってしょうがない．

「最も有名な数学の難問」は如何にして解かれたか!?　史上初のコンピュータによる証明が巻き起こした大騒動！

四色あればどんな地図でも塗り分けられるか？　一見簡単そうだが、どうにも証明できない難問として人々の頭を悩ませ続けた「四色問題」。ルイス・キャロルをはじめ幾多の人物が挑戦しながら失敗。一世紀半後、ふたりの数学者がコンピュータを駆使して解決するが、「これは数学じゃない」と拒絶反応も。天才たちの苦闘の歴史を通じ、世紀の難問が解かれるまでを描く興奮の数学ドラマ。