待验证50% 置信事实精确时间
CAP定理由加州大学伯克利分校教授埃里克·布鲁尔于2000年提出，并由吉尔伯特与林奇在2002年给出形式化证明
1
来源数
50%
置信度
长期有效
时效性
2026/7/17
首次发现
来源
相关事实
待验证CAP定理由Eric Brewer于2000年提出，2002年经Gilbert与Lynch正式证明，指一致性、可用性与分区容错性三者只能取其二68% 相似待验证Robertson、Seymour、Sanders、Thomas在1997年给出了四色定理的第二个计算机辅助证明62% 相似待验证经济学家迈克尔·斯彭斯因信号理论获得2001年诺贝尔经济学奖61% 相似待验证CAP 定理由 Eric Brewer 于2000年提出，后由 Gilbert 和 Lynch 于2002年正式证明，指出分布式系统无法同时保证一致性、可用性和分区容错性61% 相似待验证数学家科克斯特称凯利的证明为「来自天书的证明」60% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/542452API
curl https://kongchang.com/api/v1/knowledge/claims/542452MCP
get_claim(id=542452)