待验证50% 置信观点精确时间

Thurston的核心论点是：数学的进展不能仅用‘定理是否被证明’来衡量，真正的进步在于人类理解方式的改变。

1

来源数

50%

置信度

长期有效

时效性

2026/10/14

首次发现

来源

AI数学突破之后：学会欢迎答案，而非感到威胁

涉及实体

William Thurstonperson 数学理解concept

相关事实

待验证Thurston区分了‘形式证明’和‘数学理解’：前者是写在纸上的逻辑链条，后者是数学家头脑中可迁移、可解释、可继续发展的知识结构。72% 相似待验证David Deutsch在其著作《无穷的开始》中提出科学进步的关键在于产生难以变动的解释66% 相似待验证部分数学家认为无法被人脑逐步验证的证明不具备充分的数学意义63% 相似待验证工程上的进展与科学上的突破是两个不同概念，前者是对已有范式的量化改善，后者意味着新知识的创造62% 相似待验证DeMillo 等人认为数学定理被信任是因为经历了社会过程（被数学家反复阅读、检验、引用），而程序的形式化证明缺少这种社会过程61% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1022694

API

curl https://kongchang.com/api/v1/knowledge/claims/1022694

MCP

get_claim(id=1022694)