Чем интересна теорема CAP?
Есть ли что-нибудь математически интересное в теореме CAP? Глядя на доказательство, кажется, есть четыре разных случая для двух разных утверждений в двух формализмах. Теорема CAP справедлива в трех тривиальных случаях, а не в четвертом. Все из которых используют чрезвычайно окольные методы доказательства, чтобы сказать что-то необычайно простое.
3.1 Thm 1. Если две машины не имеют связи вообще, они не могут содержать согласованные данные.
3.1 Следствие 1.1. Если двум машинам не разрешено ждать получения сообщений друг от друга, а линия связи между ними произвольно медленная, вы получите противоречивый результат, если напишите одному и сразу же запросите другой.
4.2 Thm 2. Если две машины, которым разрешено время ожидания, не имеют никакого соединения, они все равно не могут содержать согласованные данные.
... но если линия связи между ними имеет гарантии о худшем времени передачи, то вы можете просто ждать тайм-аут каждый раз, когда выполняете теорию записи, а теорема CAP не применяется.
Я что-то здесь упускаю? Методы доказательства, использованные в статье, похоже, больше похожи на те, которые вы найдете в задаче "генералы на холме" (которая является нетривиальной), когда генералы могут установить время, чтобы скоординировать свою атаку и согласиться, что они идут сделать это, но они не могут согласиться, что они согласны. Но я просто не вижу, как это применимо здесь.