待验证50% 置信事实精确时间
结构化编程定理由计算机科学家Böhm和Jacopini在1966年证明，即顺序、分支和循环三种基本控制流结构可以表达任意复杂的逻辑
1
来源数
50%
置信度
长期有效
时效性
2026/8/9
首次发现
来源
相关事实
待验证Hoare逻辑由计算机科学家Tony Hoare于1969年提出，通过前置条件—程序语句—后置条件三元组对程序正确性做出数学演绎证明63% 相似待验证1854年乔治·布尔出版《思维规律研究》，将逻辑关系用代数方程表达（与对应乘法、或对应加法、非对应补集），证明逻辑推理可化约为符号计算62% 相似待验证1969年Manna和Waldinger提出了基于形式化规范和定理证明的演绎合成方法61% 相似待验证冯·诺依曼架构决定了计算必须在内存中进行61% 相似待验证Curry-Howard同构揭示了命题对应类型、证明对应程序、证明化简对应程序执行的结构对应，是1934-1969年间逐步发现的61% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/719094API
curl https://kongchang.com/api/v1/knowledge/claims/719094MCP
get_claim(id=719094)