Unverified50% confidenceOpinionExact time
DeMillo 等人认为数学定理被信任是因为经历了社会过程（被数学家反复阅读、检验、引用），而程序的形式化证明缺少这种社会过程
1
Sources
50%
Confidence
Long-term
Relevance
8/18/2026
First Seen
Sources
Related Claims
UnverifiedIn 1931, Gödel proved the incompleteness theorems: any consistent formal system that includes arithmetic of natural numbers must contain propositions that can neither be proved nor disproved within the system, and the system cannot prove its own consistency internally.65% similarUnverified机器辅助完成的四色定理证明历经十余年争论才被数学社区广泛接受64% similarUnverified关于计算机辅助证明是否算真正数学证明的哲学争论持续至1990年代才逐渐平息61% similarUnverifiedTerence Tao stated that complex mathematical proofs still require human completion, and he would not have Claude attempt proofs of certain lemmas because it either fails or produces very ugly proofs.60% similarUnverifiedPhysicist Eugene Wigner published the classic paper "The Unreasonable Effectiveness of Mathematics in the Natural Sciences" in 1960.59% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/767759API
curl https://kongchang.com/api/v1/knowledge/claims/767759MCP
get_claim(id=767759)