Brewer's CAP Theorem
Starting with the punk rock creation story, 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.