Unverified50% confidenceFactExact time
1979年，Richard DeMillo、Richard Lipton 和 Alan Perlis 发表了论文《Social Processes and Proofs of Theorems and Programs》，质疑形式化验证的可行性
1
Sources
50%
Confidence
Long-term
Relevance
8/18/2026
First Seen
Sources
Related Claims
Unverified理查德·塞勒和卡斯·桑斯坦在《助推》一书中阐述了自由家长主义理论框架55% similarVerifiedThe theoretical foundations of multi-agent systems can be traced back to distributed problem-solving research in the 1980s.54% similarVerifiedStatus Quo Bias was first systematically demonstrated by economists William Samuelson and Richard Zeckhauser in 1988 in the Journal of Risk and Uncertainty.53% similarUnverifiedSignaling Theory was proposed by economist Michael Spence in 1973.53% similarUnverified圈双覆盖猜想由威廉·塔特和保罗·西摩等人在上世纪70年代独立提出53% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/767756API
curl https://kongchang.com/api/v1/knowledge/claims/767756MCP
get_claim(id=767756)