Imposibilidad FLP Fischer–Lynch–Paterson
Demostró en 1985 que ningún algoritmo de consenso determinista y asíncrono puede garantizar a la vez liveness y safety si aunque sea un nodo puede fallar.
Fischer, Lynch, Paterson. "Asíncrono" significa que no hay garantías sobre el tiempo de entrega de los mensajes. Consecuencia práctica: todos los algoritmos de consenso reales (Paxos, Raft, PBFT) esquivan el FLP apoyándose en (a) hipótesis de tiempo (sincronía parcial — los mensajes acaban llegando dentro de un límite), (b) aleatoriedad (consenso aleatorizado), o (c) detectores de fallos. Junto con el teorema CAP, es uno de los grandes pilares teóricos del diseño de sistemas distribuidos.