Verified65% confidenceFactExact time
Paxos was proposed by Leslie Lamport in 1989 and was the first consensus algorithm to be rigorously proven correct
3
Sources
65%
Confidence
Long-term
Relevance
8/2/2026
First Seen
Sources
Deep Dive into Raft Leader Election: Building a Distributed Consensus Algorithm from Scratch
Related Entities
Related Claims
UnverifiedLeslie Kaelbling在1998年发表的经典论文提出了高效的POMDP近似求解算法61% similarUnverified金字塔原理（Pyramid Principle）由麦肯锡公司前顾问Barbara Minto于1973年提出，核心逻辑是结论先行、以上统下61% similarVerifiedThe Kalman filter algorithm was first proposed by Rudolf Kálmán in 196057% similarUnverified拓扑优化起源于1988年Bendsøe和Kikuchi的论文，通过迭代算法在给定设计空间内寻找最优材料分布方案57% similarUnverified检查点机制的理论基础可追溯至1985年由Chandy和Lamport提出的分布式快照算法57% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/680611API
curl https://kongchang.com/api/v1/knowledge/claims/680611MCP
get_claim(id=680611)