待验证50% 置信事实精确时间

1979年，Richard DeMillo、Richard Lipton 和 Alan Perlis 发表了论文《Social Processes and Proofs of Theorems and Programs》，质疑形式化验证的可行性

1

来源数

50%

置信度

长期有效

时效性

2026/8/18

首次发现

来源

形式化验证的困境与出路：50年争论给工程师的启示

相关事实

待验证理查德·塞勒和卡斯·桑斯坦在《助推》一书中阐述了自由家长主义理论框架55% 相似已验证多Agent系统的理论基础可追溯到上世纪80年代的分布式问题求解研究54% 相似已验证现状偏见（Status Quo Bias）最早由经济学家威廉·萨缪尔森和理查德·泽克豪泽于 1988 年在《风险与不确定性杂志》上系统论证53% 相似待验证信号理论（Signaling Theory）由经济学家迈克尔·斯宾塞在1973年提出53% 相似待验证圈双覆盖猜想由威廉·塔特和保罗·西摩等人在上世纪70年代独立提出53% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/767756

API

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

MCP

get_claim(id=767756)