“Cooperate iff I prove my partner cooperates with me” cooperates with itself, by Lob. “Defect iff I prove my opponent defects against me” defects against itself, by Lob. The first beats the latter in a direct contest as well (even with inequal compute, IIRC).
I don’t think humans have an equivalent in the sense of actually computing anything really Lobian. If you mean, equivalent in the sense of playing the same role, then I vaguely think it’s something like what I gestured at by saying:
What people actually do seems to be some sort of “conjecture / leap of faith”, where at some point they kinda just assume / act-as-though there is common knowledge
“Cooperate iff I prove my partner cooperates with me” cooperates with itself, by Lob. “Defect iff I prove my opponent defects against me” defects against itself, by Lob. The first beats the latter in a direct contest as well (even with inequal compute, IIRC).
What is the human equivalent?
I don’t think humans have an equivalent in the sense of actually computing anything really Lobian. If you mean, equivalent in the sense of playing the same role, then I vaguely think it’s something like what I gestured at by saying:
See some related discussion here: https://tsvibt.blogspot.com/2025/11/constructing-and-coordinating-around.html#flattening-levels-of-recursive-knowledge-into-base-level-percepts