Unverified50% confidenceFactExact time
机器辅助完成的四色定理证明历经十余年争论才被数学社区广泛接受
1
Sources
50%
Confidence
Long-term
Relevance
7/15/2026
First Seen
Sources
Related Claims
UnverifiedThe computer-assisted proof of the four color theorem in 1976 sparked years of controversy in the mathematical community because it contained extensive exhaustive computations that could not be individually verified by hand.74% similarUnverified关于计算机辅助证明是否算真正数学证明的哲学争论持续至1990年代才逐渐平息71% similarUnverifiedDeMillo 等人认为数学定理被信任是因为经历了社会过程（被数学家反复阅读、检验、引用），而程序的形式化证明缺少这种社会过程64% similarUnverifiedThe four-color theorem was verified by computer-aided proof in 1976.64% similarUnverifiedThe computer-assisted proof of the four-color theorem was first published by Kenneth Appel and Wolfgang Haken in 1976, requiring computer verification of 1,936 irreducible configurations, and is the first important theorem proof in the history of mathematics to essentially depend on a computer63% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/521373API
curl https://kongchang.com/api/v1/knowledge/claims/521373MCP
get_claim(id=521373)