Starting with the punk rock creation story, Brewer’s CAP Theorem discusses the fascinating, proven theorem that you can’t have all three of consistency, availability, and partition-tolerance in a distributed system.

A very interesting follow-up is: A CAP Solution (Proving Brewer Wrong). It approaches the problem by dynamically guaranteeing different CAP properties instead of trying to guarantee them all at once.