Essentially this is an attempt to get past the recursion. The key issue is that one can’t say “X would cooperate iff (Y cooperates if X cooperates)” because one needs to talk about provability of cooperation.
Essentially this is an attempt to get past the recursion. The key issue is that one can’t say “X would cooperate iff (Y cooperates if X cooperates)” because one needs to talk about provability of cooperation.