Liar paradox #

• General
• Hofstadter:Metamagical Themas
• Gödel, Escher, Bach

Prisoner’s Dilemma #

Lawvere’s ideas may have corollaries for Prisoner’s Dilemma (worth of reviewing, I think):

• Cantor’s theorem, the prisoner’s dilemma, and the halting problem
• Robust Cooperation in the Prisoner’s Dilemma: Program Equilibrium via Provability Logic