Unverified50% confidenceFactExact time
Curry-Howard同构揭示了命题对应类型、证明对应程序、证明化简对应程序执行的结构对应，是1934-1969年间逐步发现的
1
Sources
50%
Confidence
Long-term
Relevance
7/15/2026
First Seen
Sources
Related Claims
Unverified1969年Manna和Waldinger提出了基于形式化规范和定理证明的演绎合成方法73% similarUnverified形式化证明系统如Lean、Coq、Isabelle的底层基础是马丁-洛夫类型论，其核心思想来自Curry-Howard同构65% similarUnverified约束传播的思想最早可追溯至1970年代阿兰·马克沃斯对弧一致性算法的研究63% similarUnverified史蒂芬·沃尔夫拉姆在1980年代对一维初等元胞自动机进行了系统性分类，将所有256种一维二值规则归入四大行为类别62% similarUnverified图灵在1936年提出的通用图灵机概念蕴含了计算系统描述和模拟自身的思想62% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/523975API
curl https://kongchang.com/api/v1/knowledge/claims/523975MCP
get_claim(id=523975)