В «Арии на струне соль» («Гёдель, Эшер, Бах» Дугласа Хофштадтера) Ахилл рассказал мистеру Черепахе о странном телефонном звонке, который он получил несколько дней назад. Звонивший лишь прокричал "Yields falsehood when preceded by its quotation! Yields falsehood when preceded by its quotation!" и бросил трубку. Как вы понимаете, звонившим был Уиллард Ван Орман Куайн, а прокричал он парадокс Куайна.
Мистер Черепаха предложил обозначит глаголом «куайнить» вот это самое действие — действие, при котором перед произвольной фразой, приводится та же фраза в кавычках. И в некоторых случаях, как в случае того, что прокричал в телефонную трубку Куайн, возникает парадокс. В таких парадоксах нет демонстративов, нет индексикалов, нет прямого указания на самого себя, то есть нет, скажем так, «неприкрытой» самореферентности.
Куайн (то есть куайнированная фраза) является неподвижной точкой. В том числе можно говорить о неподвижной точке среды выполнения программы. Тогда куайн — это программа, в результате выводящая свой собственный исходный код. А это уже из разряда виртуозного искусства. Достаточно посмотреть на куайн 128 языков программирования, написанный многократным победителем ICCC (Международного соревнования запутанного кода на C) Юсуке Эндо.
На картинке исходный код куайна на языке Ruby, с которого у Юсуке Эндо всё начинается.
