Brewer's Theorem

Also known as the CAP theorem. Brewer's Theorem states that a distributed system cannot provide all of consistency, availability, and partition tolerance. It was proposed by Eric Brewer in 2000, and proven in 2002 by Seth Gilbert and Nancy Lynch.