Aumannova věta o shodě neformálně říká, že dva lidé jednající racionálně (v nějakém úzkém, přesně definovaném smyslu) a vědomi si vzájemných přesvědčení souhlasit nesouhlasí Přesněji řečeno, tato věta říká, že pokud jsou dva lidé skutečnými Bayesiánci (tj. přívrženci bayesovského přístupu k teorii pravděpodobnosti ), mají odpovídající odhady předchozích pravděpodobností událostí a mají společné znalosti o vzájemných odhadech pozdějších pravděpodobností , pak jejich odhady zadních pravděpodobností pravděpodobnosti se musí shodovat. [jeden]
Nabízí se otázka, zda lze takové dohody dosáhnout v rozumném čase a zda to lze z matematického hlediska provést efektivně. Ať je to jak chce, Scott Aaronsohn ukázal, že tomu tak skutečně je. [2]
Premisa shodných množin apriorních pravděpodobností je samozřejmě dost silné tvrzení a nemusí být v praxi použitelné. Hanson však důkaz, že Bayesané, kteří se shodují na povaze procesů vedoucích k jejich odhadům pro předchozí pravděpodobnosti, musí, pokud se drží nějaké „předracionální podmínky“, mít odpovídající odhady pro předchozí pravděpodobnosti [3]