Unverified50% confidenceFactExact time
Hoare逻辑由计算机科学家Tony Hoare于1969年提出，通过前置条件—程序语句—后置条件三元组对程序正确性做出数学演绎证明
1
Sources
50%
Confidence
Long-term
Relevance
7/18/2026
First Seen
Sources
Related Claims
Unverified结构化编程定理由计算机科学家Böhm和Jacopini在1966年证明，即顺序、分支和循环三种基本控制流结构可以表达任意复杂的逻辑63% similarUnverified1854年乔治·布尔出版《思维规律研究》，将逻辑关系用代数方程表达（与对应乘法、或对应加法、非对应补集），证明逻辑推理可化约为符号计算61% similarUnverified四色定理的计算机辅助证明由Kenneth Appel和Wolfgang Haken于1976年首次发表，需要计算机检验1936种不可约构型，是数学史上第一个本质依赖计算机的重要定理证明60% similarUnverifiedCurry-Howard同构揭示了命题对应类型、证明对应程序、证明化简对应程序执行的结构对应，是1934-1969年间逐步发现的59% similarVerifiedGo的并发模型基于CSP（通信顺序进程）理论，由计算机科学家Tony Hoare于1978年提出58% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/548403API
curl https://kongchang.com/api/v1/knowledge/claims/548403MCP
get_claim(id=548403)