Tetraspace Grouping | v1.3.0Feb 7th 2021 | Use wayback machine link to Tyrrell McAllister's writeup so it works again | ||

Ruby | v1.2.0Sep 15th 2020 | (+104/-10) | ||

Ruby | v1.1.0Sep 15th 2020 | (+490/-7) | ||

Kaj_Sotala | v1.0.0Aug 10th 2020 | (+26/-501) |

*Related tags and wikis: *Disagreement, Modesty, Modesty argument, Aumann agreement, The Aumann Game

**Aumann's agreement theorem**, roughly speaking, says that two agents 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 Bayesians, share common ~~priors,~~priors, and have common knowledge of each other's current probability assignments, then they must have equal probability assignments.

- The Modesty Argument
- Agreeing to Agree by Hal Finney
- The Coin Guessing Game by Hal Finney
- The Proper Use of Humility
- Meme Lineages and Expert Consensus by Carl Shulman (OB)
- Probability Space & Aumann Agreement by Wei Dai
- Bayesian Judo

- A write-up of the proof of Aumann's agreement theorem (pdf) by Tyrrell McAllister

- (PDF)
- (PDF, Talk video)

**Aumann's agreement theorem**, roughly speaking, says that two agents 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 Bayesians, share common priors, and have common knowledge of each other's current probability assignments, then they must have equal probability assignments.