Доступная статья, где кратко изложена суть теоремы, ее история, вопрос ее "теоремности" и продолжение в лице PACELC.