Косвенная ссылка на самого себя
Косвенная ссылка на самого себя описывает объект, ссылающийся на самого себя косвенно .
Например, определите функцию f такую, что f(x) = x(x). Любая функция, передаваемая в качестве аргумента функции f, вызывается сама с собой в качестве аргумента, и, таким образом, при любом использовании этого аргумента она косвенно ссылается на себя.
Этот пример аналогичен выражению схемы "((lambda(x)(xx)) (lambda(x)(xx)))", которое расширяется до самого себя за счет бета-сокращения, поэтому его вычисление выполняется бесконечно, несмотря на отсутствие явные конструкции цикла. Эквивалентный пример можно сформулировать в лямбда-исчислении .
Косвенная самореференция особенна тем, что ее качество самореференции не является явным, как в предложении «это предложение ложно». Фраза «это предложение» относится непосредственно к предложению в целом. В предложении с косвенной ссылкой на себя фраза «это предложение» будет заменена выражением, которое фактически по-прежнему относится к предложению, но не использует местоимение «это».
Пример поможет объяснить это. Предположим, мы определяем куайн фразы как цитату фразы, за которой следует сама фраза. Итак, квайн:
is a sentence fragment
будет:
"is a sentence fragment" is a sentence fragment
что, кстати, является верным утверждением.
Теперь рассмотрим предложение:
"when quined, makes quite a statement" when quined, makes quite a statement
Цитата здесь, а также фраза «когда quined» косвенно относятся ко всему предложению. Важность этого факта заключается в том, что оставшаяся часть предложения, фраза «делает важное заявление», теперь может содержать утверждение о предложении в целом. Если бы мы использовали для этого местоимение, мы могли бы написать что-то вроде: «Это предложение содержит весьма выразительное заявление».
Кажется глупым решать эту проблему, когда местоимений достаточно (и когда они имеют больше смысла для обычного читателя), но в системах математической логики обычно нет аналога местоимения. В действительности несколько удивительно, что в этих системах вообще можно достичь самореференции.
При ближайшем рассмотрении видно, что на самом деле в приведенном выше примере Scheme используется quine , а f на самом деле является самой функцией quine.
Косвенная ссылка на себя была глубоко изучена У. В. Куайном (в честь которого названа вышеописанная операция) и занимает центральное место в доказательстве теоремы Гёделя о неполноте . Среди парадоксальных утверждений, разработанных Куайном, можно выделить следующее:
"yields a false statement when preceded by its quotation" yields a false statement when preceded by its quotation
См. также
[ редактировать ]- Модель актера
- Диагональная лемма
- Фиксированная точка
- Комбинатор с фиксированной точкой
- Гёдель, Эшер, Бах
- Косвенность
- Самопереводчик