My belief is that this one was fine, because self-reference occurs only under quotation, so it can be constructed by modal fixpoint / quining. But that is why the base definition of “good” is built non-recursively.
Is that what you were talking about?
(Edit: I’ve updated the post to be clearer on this technical detail.)
My belief is that this one was fine, because self-reference occurs only under quotation, so it can be constructed by modal fixpoint / quining. But that is why the base definition of “good” is built non-recursively.
Is that what you were talking about?
(Edit: I’ve updated the post to be clearer on this technical detail.)
Sorry, I was wrong. By Lob’s theorem, all versions of goodnew are provably equivalent, so they will trust each other.