四色問題 の商品レビュー

ロビンウィルソン【著】,茂木健一郎【訳】

2014/10/19

　う、うん、わたしにはちょっと理解が及ばなかったので証明されていく歴史を追うにとどまってしまった。
　エレガントな証明方法が見つかるといい……ね。

2014/10/10

「最も有名な数学の難問」ということですが、一般には有名でなくてもよければ他にも未解決の難問はたくさんあります。しかし、四色問題は問題自体があまりにも簡単なので、一般にも有名になったのでしょう。地図は本当に４色で塗り分けられるのか。こんなことが、実は通常の数学では証明することができません。結局、問題が明確な形で発表されてから、１００年以上たって、コンピュータの力を借りまくって、やっと４色で足りることが証明できました。証明できたので、本当はこれは四色定理と言わなければいけません。しかし、証明が完成した当初は、またどこかに間違いがあるのではと皆に疑われていたようです。また、コンピュータを駆使してというのは、紙と鉛筆だけでやってきた数学者には不評だったようです。本書には、四色問題の証明のエッセンス半分、その歴史半分で語られています。証明部分は三分の一くらい過ぎたところで読み進めるのはあきらめて、もっぱら歴史部分だけを読みました。それでも、この問題が解決していく過程の雰囲気は味わうことができました。解説の竹内さんによると、茂木さんの訳は名訳とのことですが、数学部分をじっくり味わうことはできませんでした。

2014/07/27

最終的には計算機に頼って解決された四色問題であるが，そこにいたるまでのアプローチがきっちりと示されている．数学についての一般向けの書籍の場合に，なんとなく雰囲気だけを伝え，読者を分かった気にさせようとしているものが多いが，この本の場合「ケンプ鎖」や「放電法」といった証明の本質に関わる内容についても，数学的にそれなりにわかるように解説されている．

2014/07/13

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

2014/07/07

　四色問題を知ったのは東野圭吾の容疑者xにて。

　サイモン・シンの「フェルマーの最終定理」読んで面白かったから、四色問題も読んでみた。

　地図を塗り分けるには四色あればよいそうです。五色以上なければ塗り分けられない地図はないのでしょうか。

　1852年、当時ロンドンで教授をしていたド・モルガンにある生徒が質問したことがきっかけだった。

　生徒の名前はフランシス・ガスリー。

　この四色問題が120年の間、数学界の難問になるが、その解決法は史上初のコンピュータによるものだった。

　で、読んでったけど内容が難解すぎてわかんねぇ。

　難しすぎるので何とも言えない。おしまい。

2014/05/14

容疑者Xの献身で学生時代の湯川と石上が出会った際に石上が読んでいたのが四色問題、全ての地図は四色あれば隣の国は違う色に塗り分けられるという予想を証明したのがこの本のテーマで、石上が言った「四色問題の証明は美しくない」という理由も述べられている。

茂木健一郎氏の訳は非常にわかりやすく、難しい式は一切出てこない。せいぜいがかけ算と割算ですむのだが、にもかからわずこの本は理解の範囲を超えている。四色問題を解くために使うテクニックというか概念がなかなか難問でなぜそうなるのかという理論のところが理解できなかった。

中にはわかる話もある。例えば隣の国を違う色で塗りわけるのは国の中心に点（街）を置き、隣の街通しを結ぶ道を書いた絵に置き換えることができこれをグラフと呼んでいる。また証明のための重要なテクニックになったのが例えば赤と緑でぐるっとある国を中心に輪を描くとして、この赤と緑を入れ替えてもその輪の中が塗り替え可能であれば中に入る形の組み合わせは塗り替え可能と見なせる。

最終的には２０００個以上のグラフの集合を作り、これらがそれぞれ塗り分け可能であることをコンピューターを使って証明したのだ。ケプラー予想に先駆け数学の証明にコンピューターが使われた最初の例となったが、コンピューターの証明を信じていいのかどうか、人間よりミスが少ないという話もあるのだが。ただこの２０００個以上の集合（最終的にはよりエレガントに数百個になった）を確認することがなぜ四色問題の証明になるのかがわからない。湯川教授の言葉を借りれば「面白い。さっぱりわからない」こんな感じなんです。

イメージがつかみにくい人のためにこちらに絵がありました
http://school.gifu-net.ed.jp/ena-hs/ssh/H24ssh/sc3/31202.pdf

2014/04/29

数学の難問の一つである4色問題に焦点を当て、それを取り巻く天才数学者たちの取り組みをコンパクトにまとめた一冊。

数学の知識はもちろん、かなり丁寧に読み込まないと中身を理解することはかなり難しい。私自身もかなり端折って読んだ。

ただ、アッペルとハーケンによる証明が美しくないというのは、分かる気がする。コンピュータによる証明を否定するつもりはないが、どこかにエレガントな証明が与えられるのではないかと期待してしまう。

にしても、数学の世界とはなんとも厳密な世界なことか。ごまかしは何時か必ず暴かれてしまう。その世界に挑む天才たちの苦悩を描いている一冊でもある。

2014/02/09

どんな地図も四色あれば隣り合う領域に同じ色を使うことなく塗り分けることができるか、という四色問題が提起されてから証明されるまでの話。フェルマーの定理やポアンカレ予想同様、長い間に様々な人が関わりその積み重ねによって証明されるのだが、四色問題はその証明にコンピュータを利用した点が他と異なり議論を呼ぶ原因でもある。

2014/01/04

証明の核となる放電法の説明があまりにも少ないため、放電法登場以降おいてけぼりを喰らう
人物の掘り下げもいまいち