1976年、コンピューターが数学の証明に挑んだ日：数学者たちの葛藤と反応

結論

1976年、コンピューターを用いた数学定理の証明が初めて発表されたとき、数学界は大きな衝撃を受けました。人間の手による検証から機械による計算への移行は、当時の数学者たちの間で激しい議論を引き起こし、世代によって受け止め方が大きく異なるという興味深い現象を生み出しました。

何が発表・変更されたか

1976年にケネス・アッペルとヴォルフガング・ハーケンが、コンピューターを用いた四色定理の証明を発表しました。これまでの数学の証明は、人間の論理的な思考と手動による計算の積み重ねによって成り立っていましたが、この発表はその前提を覆すものでした。

アッペルとハーケンによる証明は、およそ1200時間にわたる計算と100億回もの決定を実行させて行われました。膨大な数のケースを機械的に処理するというアプローチは、当時の数学の研究手法において全く新しい試みでした。

確認済みの具体情報と数学者たちの反応

機械による長時間の計算という前例のない手法に対し、著名な数学者たちはさまざまな反応を示しました。

ペンシルベニア大学の数学者であったハーバート・ウィルフは、「神様があんなひどい方法で定理を証明させるはずがない！」と強い拒絶反応を示しました。また、エディンバラ大学の数学者フランク・ボンソールは、「もしその解決策が特殊なケースのコンピューターによる検証を伴うのであれば、そのような解決策は数学科学にはまったく属さない」として、これを数学の範疇から除外すべきだと否定しました。

さらに、ケンブリッジ大学の数学者G・スペンサー＝ブラウンは、コンピューターを使った証明は証拠にならず、数学の歴史を汚すものだと主張しました。

一方で、受け入れる動きもありました。伝説的数学者のウィリアム・トーマス・タットは、発表以前は学術誌でコンピューターを使ったアッペルとハーケンの手法に疑義を呈していたものの、最終的な発表を受けて2人を祝福しました。また、ドイツの著名な数学者であるハインリヒ・ヘーシュは、自分自身がアッペルとハーケンが用いたアルゴリズム的手法を考案していたため、この証明を受け入れました。

なぜ重要か

この出来事が重要視される理由は、数学の「証明」の概念そのものに疑問符を投げかけた点にあります。人間が紙とペンで追いかけることが不可能なほど膨大な計算を、機械が代行して正しいと結論づけたとき、人間はそれを真実として受け入れるべきなのかという根本的な問いが浮上しました。

世代間における受け止め方の違い

証明を発表した際の反応について、ハーケンの息子が興味深い証言を残しています。それによれば、40歳以上の人々はコンピューターによる証明が正しいものだとは納得できなかった一方で、逆に40歳未満の人々は700ページにわたる手動での計算の方がむしろ信用できないと感じていました。

このように、新しい技術や手法に対する信頼の置き方は、培ってきた経験や背景とする世代によって大きく異なっていました。

未確定点

当時の数学界全体における詳細な賛成・反対の正確な比率や、個々の数学者がどのようなプロセスを経て最終的な見解に至ったかについては、個別の証言や記録を超える全体像の特定には限界があります。

まとめ

1976年の四色定理の証明におけるコンピューターの導入は、数学の歴史における大きな転換点となりました。機械による大量の計算処理を受け入れるかどうかの議論は、当時の数学者たちに強い戸惑いと新たな視点をもたらし、技術と学問の関係性を考える上で重要な教訓を残しています。