Unverified50% confidenceFactExact time
关于计算机辅助证明是否算真正数学证明的哲学争论持续至1990年代才逐渐平息
1
Sources
50%
Confidence
Long-term
Relevance
7/16/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.76% similarUnverified机器辅助完成的四色定理证明历经十余年争论才被数学社区广泛接受71% 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 computer64% similarUnverifiedIn 2020, Ji et al. proved MIP*=RE, simultaneously disproving the Connes embedding conjecture in pure mathematics.64% similarUnverifiedDeMillo 等人认为数学定理被信任是因为经历了社会过程（被数学家反复阅读、检验、引用），而程序的形式化证明缺少这种社会过程61% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/528320API
curl https://kongchang.com/api/v1/knowledge/claims/528320MCP
get_claim(id=528320)