> Paradox is a statement that can't be proved true or false

No it isn't.

> execution of a Turing machine can't be expressed as a Gödel number

Yes it can.