待验证50% 置信事实精确时间

Tony Hoare是1980年图灵奖获得者、快速排序算法的发明者、CSP并发模型的提出者以及霍尔逻辑的创建者

1

来源数

50%

置信度

长期有效

时效性

2026/8/28

首次发现

来源

Casey Muratori谈万恶之源：软件性能危机的深层根因

涉及实体

Tony Hoareperson CSPconcept Hoare Logicconcept

相关事实

待验证形式化方法起源于20世纪70年代，由Tony Hoare的公理语义和Dijkstra的程序正确性理论奠基65% 相似已验证MoE架构的核心思想源自1991年Jacobs等人提出的混合专家系统57% 相似已验证混合专家（MOE）架构最早由Hinton等人在1991年提出56% 相似已验证混合专家（Mixture of Experts，MoE）架构最早可追溯至1991年Jacobs等人提出的神经网络集成理论55% 相似待验证文学编程（Literate Programming）理念由计算机科学家 Donald Knuth 于 1984 年提出53% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/812722

API

curl https://kongchang.com/api/v1/knowledge/claims/812722

MCP

get_claim(id=812722)