|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)|
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.