待验证60% 置信事实精确时间
Hoare逻辑由计算机科学家Tony Hoare于1969年提出，通过前置条件—程序语句—后置条件三元组对程序正确性做出数学演绎证明
2
来源数
60%
置信度
长期有效
时效性
2026/7/18
首次发现
来源
相关事实
待验证1965年J.A. Robinson提出的Resolution方法成为一阶逻辑自动推理的基石64% 相似待验证结构化编程定理由计算机科学家Böhm和Jacopini在1966年证明，即顺序、分支和循环三种基本控制流结构可以表达任意复杂的逻辑63% 相似已验证四色定理的计算机辅助证明由Kenneth Appel和Wolfgang Haken于1976年首次发表，需要计算机检验1936种不可约构型，是数学史上第一个本质依赖计算机的重要定理证明60% 相似待验证莫拉维克悖论由人工智能先驱汉斯·莫拉维克等人于20世纪80年代提出，其核心观点是：逻辑推理、数学运算等高阶智能对计算机而言相对容易，而感知、运动、抓取等低阶能力反而需要巨大计算资源才能模拟。59% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/548403API
curl https://kongchang.com/api/v1/knowledge/claims/548403MCP
get_claim(id=548403)