math-lab

logic · information

Two generals

A message is not enough. The acknowledgement is not enough either.

Two armies must attack together. They can only send messages by messenger, and messages can be lost.

A B

Each message needs confirmation, and each confirmation needs its own confirmation.

Neither general can ever be sure the other has received the final message.

Certain agreement is impossible with unreliable communication.