価格: | ¥1078 |
著者: | 一松 信 |
出版社: | 講談社 |
発行年月: | 2016年05月20日頃 |
ISBN: | 9784062579698 |
種類: | 新書 (ブルーバックス) |
在庫状況: | 在庫あり |
数学の末解決問題として有名だった四色問題ー平面上の地図は四色で塗り分けられるーは、1976年の夏、イリノイ大学の一人の数学者、K・アッペルとW・ハーケンによって解決された。しかし、それは計算機による膨大な検証という、従来の数学の証明法とは全く異なるものだった。四色問題の誕生から最終的解決にいたるまでの先人たちの苦闘の歴史を踏まえ、計算機に依存した現代の数学的証明の意義をあらためて考える。