The addition of the word “honest” doesn’t come from an awareness of how the model is flawed. It is one of the explicit assumptions in the model. So, I’m still not sure what point are you going for here.
I think that applying Aumann’s theorem to people is mostly interesting in the prescriptive rather than descriptive sense. That is, the theorem tells us that our ability to converge can serve as a test of our rationality, to the extent that we are honest and share the same prior, and all of this is common knowledge. (This last assumption might be the hardest to make sense of. Hanson tried to justify it but IMO not quite convincingly.) Btw, you don’t need to compute uncomputable things, much less instantly. Scott Aaronson derived a version of the theorem with explicit computational complexity and query complexity bounds that don’t seem prohibitive.
Given all the difficulties, I am not sure how to apply it in the real world and whether that’s even possible. I do think it’s interesting to think about it. But, to the extent it is possible, it definitely requires honesty.
The addition of the word “honest” doesn’t come from an awareness of how the model is flawed. It is one of the explicit assumptions in the model. So, I’m still not sure what point are you going for here.
I think that applying Aumann’s theorem to people is mostly interesting in the prescriptive rather than descriptive sense. That is, the theorem tells us that our ability to converge can serve as a test of our rationality, to the extent that we are honest and share the same prior, and all of this is common knowledge. (This last assumption might be the hardest to make sense of. Hanson tried to justify it but IMO not quite convincingly.) Btw, you don’t need to compute uncomputable things, much less instantly. Scott Aaronson derived a version of the theorem with explicit computational complexity and query complexity bounds that don’t seem prohibitive.
Given all the difficulties, I am not sure how to apply it in the real world and whether that’s even possible. I do think it’s interesting to think about it. But, to the extent it is possible, it definitely requires honesty.