CAP定理在数学方面有什么有趣的吗？看the proof，两种形式主义的两种不同陈述似乎有四种不同的情况。 CAP定理在三个小案例中都存在，而不是在第四个案例中。所有这些都使用极其迂回的证明技术来说出非常简单的东西。
3.1 Thm 1.如果两台机器没有任何通信，则它们不能包含一致的数据。
3.1推论1.1如果两台机器不允许等待接收来自彼此的消息，并且它们之间的通信线路任意慢，如果您写入一台然后立即查询另一台机器，则会得到不一致的结果。
4.2 Thm 2.如果两台允许等待超时的机器没有任何连接，它们仍然不能包含一致的数据。
...但是如果它们之间的通信线路保证了最坏情况下的传输时间，那么每次执行写操作时都可以等待超时，并且CAP定理不适用。
我在这里遗漏了什么吗？本文中使用的证明技术似乎更像是你在山上将军问题中找到的那种东西（这是非常重要的），将军可以设定时间协调他们的攻击并同意他们要去这样做，但他们不同意他们同意。但我不知道这是怎么回事。