Comment by rosyatrandom (rosyatrandom-1) on [Book review] Gödel, Escher, Bach: an in-depth explainer · 2021-10-01T16:56:46.981Z · LW · GW

I think this interpretation is both intriguing and clarifying, thanks. It suggests that a good framing of the incompleteness theorem is:

• Any sufficiently rich system S can be extended by multiple interpretations I, such that all of its provable theorems are true for all of I, but I contains interpretations who disagree on the truth of some unprovable statements of S