A good OB-level proof or explication of the innards of Aumann’s theorem, much more precise than Hanson and Cowen’s but less painful than Aumann’s original or this other one.
Not that I am necessarily going to tackle this, but how math intensive is “much more precise” in your mind? Do you think there is any particular hanging point in existing explanations that prevents full understanding?
I’d like to understand the precise arguments so that I can understand the limits, so that I can think about Robin and Eliezer’s disagreement, so I can get intuition for the Hanson/Cowen statement that “A more detailed analysis says not only that people must ultimately agree, but also that the discussion path of their alternating expressed opinions must follow a random walk.” I’m guessing that past the terminology it’s not actually that complicated, but I haven’t been able to find the four hours to understand all the terminology and structure.
Not that I am necessarily going to tackle this, but how math intensive is “much more precise” in your mind? Do you think there is any particular hanging point in existing explanations that prevents full understanding?
I’d like to understand the precise arguments so that I can understand the limits, so that I can think about Robin and Eliezer’s disagreement, so I can get intuition for the Hanson/Cowen statement that “A more detailed analysis says not only that people must ultimately agree, but also that the discussion path of their alternating expressed opinions must follow a random walk.” I’m guessing that past the terminology it’s not actually that complicated, but I haven’t been able to find the four hours to understand all the terminology and structure.