Aumanns avtalssats säger informellt att två personer som agerar rationellt (i någon snäv, väldefinierad mening) och medvetna om varandras övertygelser inte kan överens om oense Mer specifikt säger denna sats att om två personer är sanna bayesianer (dvs. anhängare av den bayesianska synen på sannolikhetsteori ), har matchande uppskattningar av tidigare sannolikheter för händelser och har gemensam kunskap om varandras uppskattningar av posteriora sannolikheter , då deras uppskattningar av posteriora sannolikheter måste stämma överens. [ett]
Frågan uppstår om en sådan överenskommelse kan nås inom rimlig tid och, ur matematisk synvinkel, om detta kan ske effektivt. Hur som helst, Scott Aaronsohn har visat att så verkligen är fallet. [2]
Naturligtvis är antagandet om sammanfallande uppsättningar av a priori-sannolikheter ett ganska starkt påstående och kanske inte är tillämpligt i praktiken. Hanson dock tillhandahållit bevis för att Bayesianer som är överens om karaktären hos de processer som leder till deras uppskattningar för tidigare sannolikheter måste, om de följer något "förrationellt villkor", ha matchande uppskattningar för tidigare sannolikheter [3]