歴史

1976年、ケネス・アッペルとヴォルフガング・ハーケンによってコンピューターを用いた四色定理の証明が発表されました。およそ1200時間にわたる計算と100億回もの決定を経たこの画期的な手法に対し、当時の数学者たちは激しい賛否両論の反応を示しました。