Bakkot comments on Prisoner’s Dilemma (with visible source code) Tournament

[Bakkot]

I’m not sure I understand. A is a TM—which aspect is it proving inconsistent?

[Decius]

A proves that the logic A uses to prove that B is Reasonable is inconsistent. It is sufficient to say “If I can prove that B is Reasonable, B is Reasonable”.