待验证50% 置信事实精确时间
1931年哥德尔证明不完备定理：任何包含自然数算术的一致形式系统必然存在无法证明也无法反驳的命题，且系统无法在内部证明自身一致性
1
来源数
50%
置信度
长期有效
时效性
2026/8/7
首次发现
来源
相关事实
待验证三体问题对任意初始条件都不存在通用的闭式解，庞加莱在19世纪末通过数学证明揭示了其不可积性73% 相似待验证陶哲轩表示复杂数学证明仍需人工完成，他不会让Claude尝试某些引理的证明，因为它要么失败，要么给出非常丑陋的证明69% 相似待验证诺特定理由德国数学家埃米·诺特于1915年证明，揭示物理系统连续对称性与守恒定律之间的对应关系66% 相似待验证DeMillo 等人认为数学定理被信任是因为经历了社会过程（被数学家反复阅读、检验、引用），而程序的形式化证明缺少这种社会过程65% 相似待验证形式化证明系统的理论基础来自类型论和Curry-Howard同构，任何逻辑漏洞都会导致类型检查失败65% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/702558API
curl https://kongchang.com/api/v1/knowledge/claims/702558MCP
get_claim(id=702558)