I Am a Strange Loop - Douglas R. Hofstadter [229]
Page 128 Gödel’s analogy was very tight… The essence and the meaning of Gödel’s work are well presented in many books, including [Nagel and Newman], [DeLong], [Smullyan 1961], [Jeffrey], [Boolos and Jeffrey], [Goodstein], [Goldstein], [Smullyan 1978], [Smullyan 1992], [Wilder], [Kneebone], [Wolf], [Shanker], and [Hofstadter 1979].
Page 129 developed piecemeal over many centuries… See [Nagel and Newman], [Wilder], [Kneebone], [Wolf ], [DeLong], [Goodstein], [Jeffrey], and [Boolos and Jeffrey].
Page 135 Anything you can do, I can do better!… My dear friend Dan Dennett once wrote (in a lovely book review of [Hofstadter and FARG], reprinted in [Dennett 1998]) the following sentence: “‘Anything you can do I can do meta’ is one of Doug’s mottoes, and of course he applies it, recursively, to everything he does.”
Well, Dan’s droll sentence gives the impression that Doug himself came up with this “motto” and actually went around saying it (for why else would Dan have put it in quote marks?). In fact, I had never said any such thing nor thought any such thought, and Dan was just “going me one meta”, in his own inimitable way. To my surprise, though, this “motto” started making the rounds and people quoted it back to me as if I really had thought it up and really believed it. I soon got tired of this because, although Dan’s motto is clever and funny, it does not match my self-image. In any case, this note is just my little attempt to squelch the rumor that the above-displayed motto is a genuine Hofstadter sentence, although I suspect my attempt will not have much effect.
Page 137 suppose you wanted to know if statement X is true or false… The dream of a mechanical method for reliably placing statements into two bins — ‘true’ and ‘false’ — is known as the quest for a decision procedure. The absolute nonexistence of a decision procedure for truth (or for provability) is discussed in [DeLong], [Boolos and Jeffrey], [Jeffrey], [Hennie], [Davis 1965], [Wolf], and [Hofstadter 1979].
Page 139 No formula can literally contain… [Nagel and Newman] presents this idea very clearly, as does [Smullyan 1961]. See also [Hofstadter 1982].
Page 139 an elegant linguistic analogy… See [Quine] for the original idea (which is actually a variation of Gödel’s idea (which is itself a variation of an idea of Jules Richard (which is a variation of an idea of Georg Cantor (which is a variation of an idea of Euclid (with help from Epimenides))))), and [Hofstadter 1979] for a variation on Quine’s theme.
Page 147 “…and Related Systems (I)”… Gödel put a roman numeral at the end of the title of his article because he feared he had not spelled out sufficiently clearly some of his ideas, and expected he would have to produce a sequel. However, his paper quickly received high praise from John von Neumann and other respected figures, catapulting the unknown Gödel to a position of great fame in a short time, even though it took most of the mathematical community decades to absorb the meaning of his results.
Page 150 respect for …the most mundane of analogies… See [Hofstadter 2001] and [Sander], as well as Chapter 24 in [Hofstadter 1985] and [Hofstadter and FARG].
Page 159 X’s play is so mega-inconsistent… This should be heard as “X’s play is omega-inconsistent”, which makes a phonetic hat-tip to the metamathematical concepts of omega-inconsistency and omega-incompleteness, discussed in many books in the Bibliography, such as [DeLong], [Nagel and Newman], [Hofstadter 1979], [Smullyan 1992], [Boolos and Jeffrey], and others. For our more modest purposes here, however, it suffices to know that this “o”-containing quip, plus the one two lines below it, is a play on words.
Page 160 Indeed, some years after Gödel, such self-affirming formulas were concocted… See [Smullyan 1992], [Boolos and Jeffrey], and [Wolf].
Page 164 Why would logicians …give such good odds… See [Kneebone], [Wilder], and [Nagel and Newman], for reasons to believe