待验证50% 置信事件精确时间
1994年，William Thurston在《Bulletin of the American Mathematical Society》上发表《On proof and progress in mathematics》，回应当时关于‘什么是严格证明’的争论。
1
来源数
50%
置信度
长期有效
时效性
2026/10/14
首次发现
来源
涉及实体
相关事实
待验证费马大定理由费马在1637年提出，在1995年被安德鲁·怀尔斯证明，困扰数学界358年65% 相似待验证1979年，Richard DeMillo、Richard Lipton 和 Alan Perlis 发表了论文《Social Processes and Proofs of Theorems and Programs》，质疑形式化验证的可行性64% 相似待验证「知识缺口」理论最早由卡内基梅隆大学行为经济学家George Loewenstein在1994年系统提出62% 相似待验证这个问题最早由英国数学家詹姆斯·约瑟夫·西尔维斯特于1893年在《教育时报》上以问题形式提出，但没有给出证明62% 相似待验证Andrew Wiles于1994年完成了费马大定理的证明，长达129页，结合了椭圆曲线、模形式与谷山-志村猜想61% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1022693API
curl https://kongchang.com/api/v1/knowledge/claims/1022693MCP
get_claim(id=1022693)