Доказательство FLP

Оно было опубликовано в 1983 году в статье Impossibility of Distributed Consensus with One Faulty Process [ссылка]. 

В более доступной форме его можно найти в:

A Brief Tour of FLP Impossibility [ссылка] - статья

The FLP Proof [ссылка] - ролик на Youtube

Кстати, нашёл конспект лекций по распределенным алгоритмам знаменитой Нэнси Линч, одного из авторов FLP [ссылка]