Indeed, Aumann’s original proof was not constructive. However, it has since been proved that the protocol “state your current posterior, update on the other agent’s statement, repeat” will converge to agreement.
Indeed, Aumann’s original proof was not constructive. However, it has since been proved that the protocol “state your current posterior, update on the other agent’s statement, repeat” will converge to agreement.