1976年にケネス・アッペルとヴォルフガング・ハーケンによる四色定理の証明が挙げられる。四色問題とは、いかなる地図も隣接領域が同じ色とならないように色分けするには4色あれば十分、とするものだ。彼らがコンピューター処理を用いてこの定理を証明した際、大論争が巻き起こった。その証明は、人間がチェックできないほどの長文で、詳細を理解することはなおさら困難だった。一部の数学者は、人間が理解できない証明は、真の証明とみなすことはできない、と異議を唱えた。
34,000本の雑学記事からランダム表示
1976年にケネス・アッペルとヴォルフガング・ハーケンによる四色定理の証明が挙げられる。四色問題とは、いかなる地図も隣接領域が同じ色とならないように色分けするには4色あれば十分、とするものだ。彼らがコンピューター処理を用いてこの定理を証明した際、大論争が巻き起こった。その証明は、人間がチェックできないほどの長文で、詳細を理解することはなおさら困難だった。一部の数学者は、人間が理解できない証明は、真の証明とみなすことはできない、と異議を唱えた。