>Hofstatder takes the unititiated through the proof in his book ‘Goedel, Escher, Bach – An Eternal Golden Braid’.

nice of you to credit Hofstatder, but why not stick with his words: "...we can use two terms invented specially for this paradox: autological (= "self-descriptive"), and heterological (= "non-self-descriptive"). The question then becomes: "Is heterological heterological?" Try it!"

nice try...