Computing & AI › Formal Systems & MindGödel, Escher, BachWhat is the difference between Gödel's actual incompleteness theorem and Hofstadter's broader use of self-reference to think about minds?Reveal answerSkipOpen source entry