Unverified50% confidenceFactExact time
Tony Hoare是1980年图灵奖获得者、快速排序算法的发明者、CSP并发模型的提出者以及霍尔逻辑的创建者
1
Sources
50%
Confidence
Long-term
Relevance
8/28/2026
First Seen
Sources
Related Entities
Related Claims
Unverified形式化方法起源于20世纪70年代，由Tony Hoare的公理语义和Dijkstra的程序正确性理论奠基65% similarVerifiedMoE架构的核心思想源自1991年Jacobs等人提出的混合专家系统57% similarVerifiedThe Mixture of Experts (MOE) architecture was first proposed by Hinton et al. in 1991.56% similarVerifiedThe Mixture of Experts (MoE) architecture can be traced back to the neural network ensemble theory proposed by Jacobs et al. in 1991.55% similarUnverifiedThe concept of Literate Programming was proposed by computer scientist Donald Knuth in 1984.53% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/812722API
curl https://kongchang.com/api/v1/knowledge/claims/812722MCP
get_claim(id=812722)