Unverified50% confidenceFactExact time
1969年Manna和Waldinger提出了基于形式化规范和定理证明的演绎合成方法
1
Sources
50%
Confidence
Long-term
Relevance
8/19/2026
First Seen
Sources
Related Claims
UnverifiedCurry-Howard同构揭示了命题对应类型、证明对应程序、证明化简对应程序执行的结构对应，是1934-1969年间逐步发现的73% similarUnverifiedKen Thompson早在1968年的论文中就描述了高效的NFA模拟算法65% similarUnverified物理符号系统假说由Allen Newell和Herbert Simon在1976年提出65% similarUnverified1971年斯蒂芬·库克证明了NP完全性理论64% similarUnverifiedNP-hard概念由Stephen Cook于1971年在论文《定理证明程序的复杂性》中正式提出，Leonid Levin几乎同时在苏联独立得出类似结论63% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/773075API
curl https://kongchang.com/api/v1/knowledge/claims/773075MCP
get_claim(id=773075)