Companion paper from the NEMS (No External Model Selection) program: Explanatory Companion Note to Paper 30: Why Perfect Self-Certification Is Impossible in Self-Referential Systems. See parent record for the main paper and the NEMS hub for the full program.
Nova Spivack (Sun,) studied this question.