I haven’t talked with the original proponents, and I don’t think the original proponents have heard of Aumann agreement. It’s also kind of complicated because I think it’s not some monolithic thing that was created by the original proponents and then treated as a settled issue, but rather something that evolved over time.
Also I didn’t mean to imply that it is simply a logical consequence of Aumann’s agreement theorem. Rather, it is a consequence of Aumann’s agreement theorem combined with other things (people are usually neither crazy nor liars, talking with people about their experiences and concerns is cheap and easy, etc.). However Aumann’s agreement theorem seems like a key thing to point at since it is rarely discussed by rationalists.
I haven’t talked with the original proponents, and I don’t think the original proponents have heard of Aumann agreement. It’s also kind of complicated because I think it’s not some monolithic thing that was created by the original proponents and then treated as a settled issue, but rather something that evolved over time.
Also I didn’t mean to imply that it is simply a logical consequence of Aumann’s agreement theorem. Rather, it is a consequence of Aumann’s agreement theorem combined with other things (people are usually neither crazy nor liars, talking with people about their experiences and concerns is cheap and easy, etc.). However Aumann’s agreement theorem seems like a key thing to point at since it is rarely discussed by rationalists.