3 ms·

Did you really get to the end of the first paragraph before you decided this wasn't going to be about formal proofs/specs? "It will then formalize the Two Gene

by tofof 8y ago

Did you really get to the end of the first paragraph before you decided this wasn't going to be about formal proofs/specs? "It will then formalize the Two Generals' Problem and formally prove the impossibility."

mlevental 8y ago
>Did you really get to the end of the first paragraph before you decided this wasn't going to be about formal proofs/specs? yes because i have heard of the word juxtaposition >This guide will introduce the Two Generals' Problem and give an [INTUITIVE] explanation for why finding a solution to the problem is impossible. It will then formalize the Two Generals' Problem and formally prove the impossibility.