Proof — Distributed computing theory
Statement
Consensus impossibility; FLP; distributed algorithms. Proved in ZFC.
Source
Donald E. Knuth Prize 2007. Consensus impossibility; FLP; distributed algorithms. Proved in ZFC.
Domains
computer-science
Consensus impossibility; FLP; distributed algorithms. Proved in ZFC.
Donald E. Knuth Prize 2007. Consensus impossibility; FLP; distributed algorithms. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/proof/lynch-knuth-2007/