Aumann's agreement theorem
Aumann's agreement theorem says that two people acting rationally (in a certain precise sense) and with common knowledge of each other's beliefs cannot agree to disagree. More specifically, if two people are genuine Bayesian rationalists with common priors, and if they each have common knowledge of their individual posteriors, then their posteriors must be equal.
A question arises whether such an agreement can be reached in a reasonable time and, from a mathematical perspective, whether this can be done efficiently. Scott Aaronson has shown that this is indeed the case.
Of course, the assumption of common priors is a rather strong one and may not hold in practice. However, Robin Hanson has presented an argument that Bayesians who agree about the processes that gave rise to their priors (e.g., genetic and environmental influences) should, if they adhere to a certain pre-rationality condition, have common priors. Studying the same issue from a different perspective, a research paper by Ziv Hellman considers what happens if priors are not common. The paper presents a way to measure how distant priors are from being common. If this distance is ε then, under common knowledge, disagreement on events is always bounded from above by ε. When ε goes to zero, Aumann's original agreement theorem is recapitulated.
- Aumann, Robert J. (1976). "Agreeing to Disagree". The Annals of Statistics 4 (6): 1236–1239. doi:10.1214/aos/1176343654. ISSN 00905364. JSTOR 2958591.
- Aaronson, Scott (2005). "The complexity of agreement". Proceedings of ACM STOC: 634–643. doi:10.1145/1060590.1060686. ISBN 1-58113-960-8. Retrieved 2010-08-09.
- Hanson, Robin (2006). "Uncommon Priors Require Origin Disputes". Theory and Decision 61 (4): 319–328. doi:10.1007/s11238-006-9004-4.
- Hellman, Ziv (2013). "Almost Common Priors". International Journal of Game Theory 42 (2): 399–410. doi:10.1007/s00182-012-0347-5.