Aumann’s agreement theorem shows that ideal Bayesian agents with common priors cannot “agree to disagree” once their posterior beliefs are common knowledge.
1The problem it solves
Persistent disagreement feels normal, but the theorem reveals how much hidden asymmetry it requires. If two perfectly rational Bayesian agents begin from the same prior and each knows the other’s posterior, and knows that the other knows, and so on, their posteriors must coincide. Real disagreement therefore diagnoses failure of at least one idealizing condition.
2The idea
Two rational agents with common priors, who each know the other's posterior, cannot agree to disagree. Persistent disagreement between them is formally impossible.
3Origin & context
Robert Aumann proved the theorem in 1976. It is a result in interactive epistemology, relying on common priors, Bayesian conditioning, and common knowledge. Its practical importance is not that humans satisfy the theorem but that the theorem provides a checklist for why they do not.
4Canonical example
Formally proven, and almost never observed. Which tells you at least one condition fails in every real disagreement.
5Objections & replies
Objection. The common-prior assumption is unrealistic and may hide the entire disagreement.
Reply. Yes. Different priors are one obvious route to persistent disagreement. The theorem then becomes diagnostic: ask whether the crux is prior beliefs, private evidence, non-Bayesian updating, or lack of common knowledge rather than treating disagreement as primitive.
Objection. Humans cannot achieve infinite common knowledge of one another’s posteriors.
Reply. Correct. Finite communication and strategic behavior break the idealization. Again, the theorem is most useful as a benchmark showing which information or rationality friction must be present for disagreement to persist.
6Don't confuse it with
Common knowledge and shared information
A fact can be known by everyone without everyone knowing that everyone knows it, and so on. Common knowledge is a much stronger recursive condition.
Aumann and averaging
The theorem does not say two people should average their probabilities. Under its assumptions, fully shared posteriors converge because information is recursively incorporated.
7Common mistakes
- Using Aumann to call real disagreement irrational without checking the common-prior and common-knowledge assumptions.
- Treating a stated posterior as transparent evidence when strategic incentives may make people misreport beliefs.
8In your work
Locates the problem precisely. Persistent disagreement is about priors or about information — never about “we just see it differently”, which is not an available explanation.
9Check yourself
Two Bayesian analysts publicly know each other’s posterior but continue to disagree. What does the theorem tell you to look for rather than simply calling one irrational?
Show answer
A failed assumption: different priors, private information not fully revealed, lack of common knowledge, different models, non-Bayesian updating, or strategic reporting. Persistent disagreement identifies a wedge.
قضیهٔ توافقِ اومن نشان میدهد عاملانِ بیزیِ آرمانی با پیشینِ مشترک، وقتی باورهای پسینشان «دانشِ مشترک» شود، نمیتوانند بر اختلاف توافق کنند.
1مسئلهای که حل میکند
اختلافِ پایدار عادی به نظر میرسد، اما قضیه نشان میدهد چه مقدار عدمتقارنِ پنهان لازم دارد. اگر دو عاملِ کاملاً بیزی از یک پیشین شروع کنند و هر کدام پسینِ دیگری را بداند و بداند که دیگری میداند و الی آخر، پسینها باید برابر شوند. پس اختلافِ واقعی نشانهٔ شکستِ دستکم یکی از شرایطِ آرمانی است.
2ایدهٔ اصلی
دو عاملِ عقلانی با احتمالاتِ پیشینِ مشترک، که هر یک احتمالِ پسینِ دیگری را میداند، نمیتوانند بر سرِ اختلاف توافق کنند. اختلافِ پایدار میان آنها صوراً ناممکن است.
3خاستگاه و زمینه
رابرت اومن قضیه را در ۱۹۷۶ اثبات کرد. نتیجهای در معرفتشناسیِ تعاملی است و به پیشینهای مشترک، شرطیسازیِ بیزی و دانشِ مشترک تکیه دارد. اهمیتِ عملیاش این نیست که انسانها شرایط را دارند، بلکه اینکه قضیه چکلیستی برای فهمِ علتِ نداشتنشان میدهد.
4مثالِ کلاسیک
صوراً اثبات شده و تقریباً هرگز مشاهده نشده. یعنی در هر اختلافِ واقعی دستکم یکی از شرطها برقرار نیست.
5اعتراضها و پاسخها
اعتراض. فرضِ پیشینِ مشترک غیرواقعی است و شاید تمامِ اختلاف را در خود پنهان کند.
پاسخ. بله. پیشینهای متفاوت یکی از مسیرهای روشنِ اختلافِ پایدارند. آنگاه قضیه ابزارِ تشخیص میشود: بپرسید گره در پیشین، شاهدِ خصوصی، بهروزرسانیِ غیربیزی یا نبودِ دانشِ مشترک است، نه اینکه اختلاف را واقعیتی اولیه بدانید.
اعتراض. انسانها نمیتوانند دانشِ مشترکِ بازگشتی و نامتناهی از پسینِ هم بسازند.
پاسخ. درست است. ارتباطِ محدود و رفتارِ راهبردی آرمانسازی را میشکند. باز هم قضیه بیشتر بهعنوان خطِ مبنا مفید است که نشان میدهد برای دوامِ اختلاف چه اصطکاکِ اطلاعاتی یا عقلانیتی باید حاضر باشد.
6با اینها اشتباه نگیرید
دانشِ مشترک و اطلاعاتِ مشترک
ممکن است همه واقعیتی را بدانند بیآنکه همه بدانند که همه میدانند و الی آخر. دانشِ مشترک شرطی بسیار قویتر و بازگشتی است.
اومن و میانگینگیری
قضیه نمیگوید دو نفر باید احتمالها را میانگین بگیرند. تحتِ فرضها، پسینهای کاملاً بهاشتراکگذاشتهشده با ورودِ بازگشتیِ اطلاعات همگرا میشوند.
7خطاهای رایج
- استفاده از اومن برای غیرعقلانی نامیدنِ اختلافِ واقعی بدون بررسیِ پیشینِ مشترک و دانشِ مشترک.
- شفاف دانستنِ پسینِ اعلامشده در حالی که انگیزهٔ راهبردی میتواند مردم را به گزارشِ نادرستِ باور وادارد.
8در کارِ شما
مسئله را دقیق مکانیابی میکند. اختلافِ پایدار یا دربارهٔ پیشینهاست یا دربارهٔ اطلاعات — هرگز دربارهٔ اینکه «ما فقط جور دیگری میبینیم»، که اصلاً تبیینِ در دسترسی نیست.
9خودآزمایی
دو تحلیلگرِ بیزی پسینِ اعلامیِ هم را میدانند اما همچنان اختلاف دارند. قضیه به شما میگوید بهجای اینکه یکی را فوراً غیرعقلانی بنامید دنبال چه بگردید؟
نمایش پاسخ
فرضِ شکسته: پیشینهای متفاوت، اطلاعاتِ خصوصیِ آشکارنشده، نبودِ دانشِ مشترک، مدلهای متفاوت، بهروزرسانیِ غیربیزی یا گزارشِ راهبردی. اختلافِ پایدار وجودِ یک گُوِ پنهان را تشخیص میدهد.