Network programming 为什么CAP定理有趣？

CAP定理在数学上有什么有趣的地方吗？看，两种形式主义中的两种不同陈述似乎有四种不同的情况。CAP定理适用于三种常见情况，而不适用于第四种情况。所有这些都使用了非常迂回的证明技巧来表达非常简单的事情

3.1三卤甲烷1。如果两台机器没有任何通信，它们就不能包含一致的数据

3.1推论1.1如果不允许两台机器等待接收彼此的消息，并且它们之间的通信线路任意缓慢，则如果您向其中一台机器写入消息，然后立即查询另一台机器，则会得到不一致的结果

4.2三卤甲烷2。如果允许超时等待的两台机器没有任何连接，它们仍然不能包含一致的数据

。。。但是，如果它们之间的通信线路保证了最坏情况下的传输时间，那么每次执行写操作时，您都可以等待超时，而CAP定理不适用

---

我是不是遗漏了什么？论文中使用的证明技术似乎更像是你在山上将军问题中发现的那种（这是非常重要的），将军们可以设定一个时间来协调他们的攻击，并同意他们将要这样做，但他们不能同意他们同意。但我不明白这在这里是怎么回事。

我没听清你的问题？你是否不清楚CAP定理/它的证明，或者，你只是在指出一个微不足道的概念？你到底想得到什么答案？问Q1、Q2等。我确认我理解正确，并询问是否正确，那么为什么会使用涉及前缀等的过度证明技术？您能否准确强调您试图提出的要点？这个定理已经从数学的角度证明了，你不能简单地认为它是一个微不足道的声明！我不明白你的问题？你是否不清楚CAP定理/它的证明，或者，你只是在指出一个微不足道的概念？你到底想得到什么答案？问Q1、Q2等。我确认我理解正确，并询问是否正确，那么为什么会使用涉及前缀等的过度证明技术？您能否准确强调您试图提出的要点？这个定理已经从数学的角度证明了，你不能简单地认为它是一个微不足道的声明！