科学・技術
四色定理：初めて機械が数学者を圧倒したとき
要約
この記事は、四色定理の証明におけるコンピュータの役割に焦点を当てています。かつては数学者による手作業での証明が主流でしたが、コンピュータを用いた証明は、その網羅性と計算能力によって数学界に新たな地平を開きました。この出来事は、機械が複雑な数学的問題を解決する能力を持つことを示し、数学の歴史における重要な転換点となりました。
全文翻訳
四色定理は、平面上の任意の地図を、隣接する領域が同じ色にならないように、最大4色で塗り分けられるという定理です。
この定理の証明は、長らく数学者たちの挑戦の的でした。しかし、1976年にアメリカのイリノイ大学のケネス・アッペルとヴォルフガング・ハーケンによって、コンピュータを用いて証明されました。
彼らは、証明すべきケースを約1900個に絞り込み、それらをコンピュータで一つ一つ検証しました。この作業は、人間の手作業では到底不可能な規模のものでした。
コンピュータによる証明は、当初、数学界の一部から「真の証明とは言えない」という批判も受けました。しかし、その網羅性と客観性から、次第に受け入れられていきました。
この四色定理のコンピュータによる証明は、数学における計算機利用の可能性を大きく広げ、その後の多くの数学的研究に影響を与えました。機械が数学者の知的な作業を助け、時にはそれを凌駕する可能性を示した、歴史的な出来事と言えるでしょう。