Unverified50% confidenceFactExact time
CAP定理由加州大学伯克利分校教授埃里克·布鲁尔于2000年提出，并由吉尔伯特与林奇在2002年给出形式化证明
1
Sources
50%
Confidence
Long-term
Relevance
7/17/2026
First Seen
Sources
Related Claims
UnverifiedThe CAP theorem was proposed by Eric Brewer in 2000 and formally proved by Gilbert and Lynch in 2002, stating that only two of the three properties—consistency, availability, and partition tolerance—can be guaranteed simultaneously.68% similarUnverifiedRobertson、Seymour、Sanders、Thomas在1997年给出了四色定理的第二个计算机辅助证明62% similarUnverified经济学家迈克尔·斯彭斯因信号理论获得2001年诺贝尔经济学奖61% similarUnverifiedThe CAP theorem was proposed by Eric Brewer in 2000 and formally proved by Gilbert and Lynch in 2002, stating that a distributed system cannot simultaneously guarantee consistency, availability, and partition tolerance.61% similarUnverifiedMathematician Coxeter called Kelly's proof "a proof from The Book."60% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/542452API
curl https://kongchang.com/api/v1/knowledge/claims/542452MCP
get_claim(id=542452)