【感想】四色問題　どう解かれ何をもたらしたのか

一松信 / ブルーバックス
（5件のレビュー）

レビューを書く

総合評価:

平均 3.7

nannryou

5

4色定理に至るまで

なかなかよいです。４色定理に関わるグラフ論の基礎とコンピューター数学の隆盛の走りの様子が目に浮かぶようです。囲碁、将棋、チェスはコンピューターに負けましたし、実質的に数学もコンピューターとその背後にい…る、天才的プログラマに負けることが多くなるでしょう。そして、いずれはプログラマの気づけない盲点から、既に入力された大量の解から正答にたどり着くアルゴリズムの発見も起こることでしょう。人間はコンピューターが掘り出した定理の解説役に過ぎなくなるかもしれません。
まあ、それはそれとして、４色定理は本当に４色で済むのでしょうか?
ちょっと手書きで書いてみましたが、すぐに反例が見つかるような…。
まあ、そんな感じだから、僕のような多数の素人が挑戦しては敗れ去ったのでしょうが。
ともかく、数学は素晴らしい!続きを読む

投稿日：2016.09.08

報告する

ブクログレビュー

"powered by"

おぬま

地図で塗り分ける色は4色あれば十分である、という四色定理。この定理は長年証明されずに「四色問題」として扱われてきた。それを証明されるまでの歴史ストーリーが記された本。
数学の本であり、数式も結構出てく…るが、歴史的側面も強い。私の印象は”数学読み物”的なジャンルに分類される。
様々な数学者がチャレンジしては失敗する、というストーリーを楽しめるなら面白い本だろう。私は「で、結局答えは？」が気になってしまい、それほど本の内容に入り込めなかったかな。続きを読む

投稿日：2023.06.14
hamakoko

https://elib.maruzen.co.jp/elib/html/BookDetail/Id/3000057407

投稿日：2022.09.05
bookkeeper2012

なんとか読み通すだけは読み通した。序盤戦は数学的な解説のロジックを追いながら読んだのだが、第二章の最後に放電法が出てきたあたりでギブアップ。トポロジーとかぜんぜん無理だし。

そもそも可約配置だけから…なる不可避集合を見つけることがなぜ四色問題の証明になるかという大前提がよくわからん。四色で塗り分けられない地図が「存在しない」ことの証明って。。。可約配置は理解できるのだが、不可避集合がなんのことだかわかっていないのだろう。

計算機の支援でもってはじめて証明できた問題ということで、もともと1970年代の本であるものの今日的だよなあと思って手に取った記憶があるのだが、やはり手ごわかったです。続きを読む

投稿日：2020.03.01
講談社ブルーバックス

内容紹介
数学的証明とは何か

数学の未解決問題として有名だった四色問題――
平面上の地図は四色で塗り分けられる――は、
1976年の夏、イリノイ大学の二人の数学者、
K・アッペルとW・ハーケンによっ…て解決された。
しかし、それは計算機による膨大な検証という、
従来の数学の証明法とは全く異なるものだった。
四色問題の誕生から最終的解決にいたるまでの
先人たちの苦闘の歴史を踏まえ、
計算機に依存した現代の数学的証明の意義を
あらためて考える

著者について
一松信
1926年、東京に生まれる。東京大学理学部数学科卒業。東大助教授、立教大学教授、京都大学教授、東京電機大学教授を経て、現在、京都大学名誉教授。理博士。専攻は数学、とくに数値解析。太平洋戦争末期の学徒動員で暗号の解読に携わり、以来、計算機と整数論との関連で公開鍵暗号に関心をもつようになる。著書に『暗号の数理』(ブルーバックス)他多数。続きを読む

投稿日：2016.05.19