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

著:一松 信
定価:1,078円(本体980円)

埋もれたままの古典的な数学の未解決問題はもはや人工知能に任せるしかないのか?! 物議をよんだ未解決問題は「解決した」と言えるのか? 現代の視点から再考する。


数学的証明とは何か

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

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

書店によって取り扱いがない場合もございますので、あらかじめご了承ください。電子書籍での価格は紙の本と異なる場合がありますので、詳しくは各電子書店でご覧ください。

書店在庫を見る

オンライン書店で見る