I often read paraphrases of one or other of Gödel’s theorems that talk about true, unprovable statements. I’ve said before that I’m a formalist of sorts. Talk of undecidable statements in a system being true gives me headaches. And I’m an analyst so I work in ZFC. If I say “statement X is true” I’m telling you that there exists a proof of statement X in ZFC. If you ask me if I think the continuum hypothesis is true, I’ll explain to you that it’s known to be undecidable. If you tell me you know it’s undecidable but still want to know if I think it’s true, I’ll look at you as if you asked me what colour integrity is.

(more…)