Explanation-Gödel and Plausibility-Gödel

Here’s an observation that’s mathematically trivial but might not be widely appreciated. In kindergarten, we all learned Gödel’s First Incompleteness Theorem, which given a formal system F, constructs an arithmetical encoding of G(F) = “This sentence is not provable in F.” If G(F)...