Что ж, эта шутливая фразочка создает впечатление, что Дуг сам придумал этот «девиз» и действительно его озвучил (иначе зачем Дэн поставил его в кавычки?). На самом деле я никогда такого не говорил и не думал, и Дэн просто «рекурсивно меня обставил» в своем неподражаемом стиле. К моему удивлению, этот «девиз» вошел в оборот, и люди цитировали его мне так, будто я действительно его придумал и в него верил. Вскоре я от этого устал, поскольку девиз Дэна, хоть он был остроумным и смешным, не вписывался в мой образ. Так или иначе, своей ремаркой я просто попытался сокрушить мнение, что вышеуказанный девиз – действительно слова Хофштадтера, хотя я не думаю, что эта попытка возымеет значительный эффект.
190 допустим, вам хочется узнать, истинно или ложно высказывание X… Мечта о механическом методе надежной сортировки утверждений в две урны – «истина» и «ложь» – известна как поиск алгоритма принятия решений. Абсолютное отсутствие алгоритма принятия решений для истины (или доказуемости) обсуждается в [DeLong], [Boolos and Jeffrey], [Jeffrey], [Hennie], [Davis 1965], [Wolf] и [Hofstadter 1979].
193 Ни одна формула не может буквально содержать в себе… [Nagel and Newman] очень хорошо освещает эту идею, как и [Smullyan 1961]. См. также [Hofstadter 1982].
194 элегантную лингвистическую аналогию… Оригинальную идею ищите в [Quine] (которая вообще-то является вариацией идеи Гёделя (которая, в свою очередь, вариация идеи Жюля Ришара (которая является вариацией идеи Георга Кантора (которая является вариацией идеи Евклида (при участии Эпименида))))), а в [Hofstadter 1979] ищите вариацию на тему Куайна.
202 «…и схожих систем (I)»… Гёдель поставил римскую цифру в конце названия статьи, поскольку опасался, что недостаточно четко расписал свои идеи, и ожидал, что придется писать продолжение. Однако его работа быстро заслужила похвалу Джона фон Неймана и других уважаемых фигур, которые стремительно обеспечили неизвестному Гёделю великую славу, хотя большей части математического сообщества потребовались десятилетия, чтобы усвоить смысл его результатов.
206 с большим уважением относиться к тому, что выглядит банальнейшей аналогией… См. [Hofstadter 2001] и [Sander], а также Главу 24 в [Hofstadter 1985] и [Hofstadter and FARG].
218 Пьеса X просто мегапротиворечивая… Это созвучно «Пьеса X омега-противоречивая», что является фонетическим реверансом математическим понятиям омега-непротиворечивости и омега-неполноты, которые обсуждаются во многих книгах Библиографии, например [DeLong], [Nagel and Newman], [Hofstadter 1979], [Smullyan 1992], [Boolos and Jeffrey] и других. Для наших более скромных целей, впрочем, достаточно знать, что эта «о»-содержащая шалость здесь – просто игра слов.