待验证50% 置信事实精确时间
关于计算机辅助证明是否算真正数学证明的哲学争论持续至1990年代才逐渐平息
1
来源数
50%
置信度
长期有效
时效性
2026/7/16
首次发现
来源
相关事实
待验证1976年四色定理的计算机辅助证明因包含大量无法逐一人工核查的穷举计算，在数学界引发了长达数年的争议76% 相似待验证机器辅助完成的四色定理证明历经十余年争论才被数学社区广泛接受71% 相似待验证四色定理的计算机辅助证明由Kenneth Appel和Wolfgang Haken于1976年首次发表，需要计算机检验1936种不可约构型，是数学史上第一个本质依赖计算机的重要定理证明64% 相似待验证2020年Ji等人证明MIP*=RE，同时否定了纯数学中的Connes嵌入猜想64% 相似待验证DeMillo 等人认为数学定理被信任是因为经历了社会过程（被数学家反复阅读、检验、引用），而程序的形式化证明缺少这种社会过程61% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/528320API
curl https://kongchang.com/api/v1/knowledge/claims/528320MCP
get_claim(id=528320)