You’re right, zzz. Proof, if I needed it, that I am not yet a perfect reasoner.
Caledonian: While Gödel formalised some sorts of self-reference, it’s not clear to me how his work applies to puzzles like these, or to the question of how hostile perfect reasoners can communicate. Barwise and Etchemendy’s “The Liar” has other approaches to the problem, but I don’t think they solve it either.
You’re right, zzz. Proof, if I needed it, that I am not yet a perfect reasoner.
Caledonian: While Gödel formalised some sorts of self-reference, it’s not clear to me how his work applies to puzzles like these, or to the question of how hostile perfect reasoners can communicate. Barwise and Etchemendy’s “The Liar” has other approaches to the problem, but I don’t think they solve it either.