Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Древний символ Уроборос , дракон, который постоянно поглощает себя, означает самоотнесение. [1]

Само-ссылка происходит в естественных или формальных языках, когда предложение , идея или формула ссылаются на себя. Ссылка может быть выражена либо напрямую - посредством некоторого промежуточного предложения или формулы - либо посредством некоторого кодирования . В философии , он также относится к способности субъекта говорить о или ссылаться на себя, то есть иметь вид мышления , выраженного первого лица именительном падеже единственного числа местоимения «Я» на английском языке.

Самореференция изучается и находит применение в математике , философии , компьютерном программировании и лингвистике . Самореференционные утверждения иногда парадоксальны , а также могут считаться рекурсивными .

В логике, математике и информатике [ править ]

В классической философии , парадоксы были созданы автореферентными такими понятиями, как всемогущество парадокс спрашивать , если это было возможно существо существовать настолько сильно , что может создать камень , который он не мог поднять. Epimenides парадокс «Все критяне лжецы» , когда произнесенные древнегреческого критской был один из первых записанных версий. Современная философия иногда использует ту же технику, чтобы продемонстрировать бессмысленность или неопределенность предполагаемого понятия. [2]

В математике и теории вычислимости самоотнесение (также известное как импредикативность ) является ключевым понятием при доказательстве ограничений многих систем. Теорема Гёделя использует его, чтобы показать, что никакая формальная непротиворечивая система математики никогда не может содержать все возможные математические истины, потому что она не может доказать некоторые истины о своей собственной структуре. Эквивалент проблемы остановки в теории вычислений показывает, что всегда есть задача, которую компьютер не может выполнить, а именно рассуждения о себе. Эти доказательства относятся к давней традиции математических парадоксов , таким как парадокс Рассела и парадокс Беррии, в конечном итоге, к классическим философским парадоксам.

В теории игр может возникнуть неопределенное поведение, когда два игрока должны моделировать психические состояния и поведение друг друга, что приводит к бесконечному регрессу.

В компьютерном программировании самооценка возникает при отражении , когда программа может читать или изменять свои собственные инструкции, как любые другие данные. [3] Многие языки программирования в той или иной степени поддерживают рефлексию с разной степенью выразительности. Кроме того, в функциональном программировании ссылка на себя проявляется в рекурсии (связанной с соотношением математической рекурсии ) , когда структура кода обращается к самой себе во время вычислений. [4] «Приручение» самоотнесения от потенциально парадоксальных концепций к хорошо управляемым рекурсиям было одним из величайших успехов информатики., и теперь обычно используется, например, при написании компиляторов с использованием «метаязыка» ML . Использование компилятора для компиляции называется начальной загрузкой . Самомодифицирующийся код можно писать (программы, которые работают сами с собой) как на ассемблере, так и на функциональных языках, таких как Lisp , но это обычно не рекомендуется в реальном программировании. Вычислительное оборудование фундаментально использует самореферентность в триггерах., основные единицы цифровой памяти, которые преобразуют потенциально парадоксальные логические самоотношения в память, расширяя свои термины с течением времени. Мышление в терминах самореференции является неотъемлемой частью культуры программистов, при этом многие программы и аббревиатуры называются самореферентными формами юмора, такими как GNU («Gnu не Unix») и PINE («Pine is not Elm») . GNU Hurd назван в честь пары взаимно автореферентных аббревиатур.

Самореференционная формула Таппера - это математическое любопытство, которое строит образ собственной формулы.

В биологии [ править ]

Биология саморепликации является самореференциальной, что воплощено в механизмах репликации ДНК и РНК . Модели самовоспроизведения можно найти в «Игре жизни» Конвея и послужить источником вдохновения для инженерных систем, таких как самовоспроизводящийся 3D-принтер RepRap .

В искусстве [ править ]

Самодостаточное произведение граффити, извиняющееся за свое существование

Самоотсылка происходит в литературе и кино, когда автор ссылается на свою собственную работу в контексте самого произведения. Примеры включают Мигеля де Сервантеса « Дон Кихот , Шекспира » S в летнюю ночь Сон , Буря и Двенадцатая ночь , Дидро «s Жак ле fataliste ЕТ сын мэтра , Итало Кальвино » s Если на зимней ночью путешественник , много историй от Николая Гоголь , « Затерянный в доме развлечений » Джона Барта , Луиджи Пиранделло«S Шесть персонажей в поисках автора , Федерико Феллини » s и Брайан Форбс «S L-образный номер . Писатель-фантаст Сэмюэл Р. Делани использует это в своих романах « Нова» и « Дхалгрен» . В первом случае Катин (космический писатель) опасается давнего проклятия, когда писатель умирает, не завершив какое-либо произведение. Нова заканчивает на полуслове, таким образом подтверждая проклятие и осознавая, что романист является автором рассказа; аналогично, во всем ДхалгренеУ Делани есть главный герой, которого зовут просто Малыш (или Кидд, в некоторых разделах), чья жизнь и работа являются зеркальным отображением самих себя и самого романа. В научно-фантастическом фильме « Космические шары» режиссер Мел Брукс включает сцену, в которой злые персонажи просматривают VHS-копию своей собственной истории, которая показывает, как они смотрят на себя, «наблюдая за собой», до бесконечности. Возможно , самый ранний пример в Homer «s Илиады , где Елена Троянская сетует:„ в течение нескольких поколений еще нерожденного / мы будем жить в песне“(фигурирующих в самой песне). [5]

Самореференция в искусстве тесно связана с концепциями разрушения четвертой стены и мета-референции , которые часто включают самореференцию. Рассказы Хорхе Луиса Борхеса во многих отношениях играют с самоотчетами и связанными с ними парадоксами. Сэмюэля Беккета «S Krapp Последняя лента целиком состоит из главного героя прослушивания и делает записи самого себя, в основном о других записях. В течение 1990-х и 2000-х годов кинообращение к себе было популярной частью движения резиновой реальности , особенно в фильмах Чарли Кауфмана « Быть Джоном Малковичем» и « Адаптация»., Последний толкая концепцию , возможно , его переломным моментом , как он пытается изобразить свое собственное творение, в театрализованной версии этого Droste эффекта .

Различные мифы о творении ссылаются на себя, чтобы решить проблему того, что создало создателя. Например, в египетском мифе о сотворении мира бог заглатывает свою собственную сперму, чтобы создать себя. Уроборос мифический дракон , который ест сам.

Коран включает в себя многочисленные примеры самостоятельного референциальности. [6] [7]

Сюрреалистичный художник Рене Магритт известен своими автореферентные работы. Его картина «Предательство образов» включает в себя слова «это не трубка», истинность которых полностью зависит от того, относится ли слово ceci (по-английски «это») к изображенной трубке - или к картине, или к слову или сам приговор. [8] Искусство М.К. Эшера также содержит много самореференциальных концепций, таких как рисование рук.

На языке [ править ]

Слово, которое описывает само себя, называется аутологическим словом (или автонимом ). Обычно это применимо к прилагательным, например, полуторный (то есть «полуторный» - это полуторное слово), но также может применяться к другим частям речи, таким как TLA , как трехбуквенное сокращение от « трехбуквенного сокращения ».

Предложение, в котором есть собственные буквы и знаки препинания, называется автограммой .

Есть особый случай мета-предложения, в котором содержание предложения метаязыка и содержание предложения объектного языка совпадают. Такое предложение относится к самому себе. Однако некоторые мета-предложения этого типа могут приводить к парадоксам. «Это приговор». может считаться самореференциальным мета-предложением, что, очевидно, верно. Однако «Это предложение ложно» - это мета-предложение, которое приводит к парадоксу самореференции . Такие предложения могут привести к проблемам, например, в законе, где утверждения, приводящие в действие законы, могут противоречить друг другу или самим себе. Курт Гёдель заявил, что обнаружил такой парадокс в конституции США на церемонии получения гражданства.

Самостоятельная ссылка иногда встречается в средствах массовой информации, когда требуется написать о себе, например, когда BBC сообщает о сокращении рабочих мест на BBC. Заметные энциклопедии могут потребоваться очерки о себе, таких как Википедии статья «S в Википедии.

Fumblerules - это список правил хорошей грамматики и письма, демонстрируемый предложениями, которые нарушают эти правила, например «Избегайте клише, как чума» и «Не используйте двойные отрицания». Этот термин был введен Уильямом Сэфайром в опубликованном списке таких правил . [9] [10]

В популярной культуре [ править ]

  • Книги Дугласа Хофштадтера , особенно « Метамагические темы» и « Гедель», «Эшер», «Бах» , обыгрывают множество самореферентных концепций и оказали большое влияние на привнесение их в основную интеллектуальную культуру 1980-х годов. Закон Хофштадтера , который определяет, что «это всегда занимает больше времени, чем вы ожидаете, даже если вы принимаете во внимание закон Хофштадтера» [11], является примером самореферентной поговорки. Хофштадтер также предложил концепцию «Обзоров этой книги», книги, содержащей только обзоры самого себя, которая с тех пор была реализована с использованием вики и других технологий. Метафизика « странной петли » Хофштадтера пытается отобразитьсознание на самоотнесение, но это меньшинство в философии разума .
  • Поджанр « рекурсивной научной фантастики » или мета- фикшн сейчас настолько обширен, что создал поддерживаемую фанатами библиографию на веб-сайте Ассоциации научной фантастики Новой Англии ; некоторые из них посвящены научной фантастике , некоторые - научной фантастике и ее авторам. [12]

См. Также [ править ]

  • Циклическая ссылка  - серия ссылок, в которой последний объект ссылается на первый.
  • Эффект Дросте  - Рекурсивный визуальный эффект
  • Mise en abyme  - формальная техника помещения копии изображения внутрь себя.
  • Четвертая стена  - концепция исполнительского искусства, отделяющая исполнителей от публики.
  • Список парадоксов самореференции
  • Мета-шутка
  • Рекурсия  - процесс самоподобного повторения элементов.
  • Рекурсивный акроним  - аббревиатура , расширение которой включает копию самого себя.
  • Странный цикл  - циклическая структура, проходящая через несколько уровней иерархической системы.
  • this (компьютерное программирование)  - в языках программирования объект или класс, выполняемый в данный момент, принадлежит к
  • Эффект Вузла  - ложная достоверность из-за количества цитирований
  • Двуязычные тавтологические выражения  - использование большего количества слов, чем необходимо для четкого выражения
  • Осознанное сновидение - сон, во время которого сновидец осознает, что он видит сон.
  • Использование – упоминание различия

Ссылки [ править ]

  1. ^ Сото-Андраде, Хорхе; Харамильо, Себастьян; Гутьеррес, Клаудио; Летелье, Хуан-Карлос. «Аватары Уроборос: математическое исследование саморекламы и метаболического замыкания» (PDF) . MIT Press . Дата обращения 16 мая 2015 .
  2. ^ Парадокс лжеца
  3. ^ Malenfant, J .; Демерс, ФН. «Учебное пособие по поведенческой рефлексии и ее реализации» (PDF) . PARC . Дата обращения 17 мая 2015 .
  4. Друкер, Томас (4 января 2008 г.). Перспективы истории математической логики . Springer Science & Business Media. п. 110. ISBN 978-0-8176-4768-1.
  5. ^ Гомер (1990). Илиада . Перевод Роберта Фаглза. Книги пингвинов. п. 207. ISBN. 1-101-15281-8.
  6. ^ Мэдиган, Дэвид. Самовосприятие Корана. Письмо и авторитет в Священном Писании ислама .
  7. ^ Boisliveau, Анн-Сильви. Le Coran par lui-même .
  8. ^ Нёт, Винфрид; Бишара, Нина (2007). Самостоятельная ссылка в СМИ . Вальтер де Грюйтер. п. 75. ISBN 978-3-11-019464-7.
  9. Юмористические правила написания ^ alt.usage.english.org
  10. ^ Сафир, Уильям (4 ноября 1979). «О языке; Грамматика» . Нью-Йорк Таймс . п. SM4.
  11. ^ Хофштадтер, Дуглас . Гедель, Эшер, Бах: вечная золотая коса . 20-летие изд., 1999, с. 152. ISBN 0-465-02656-7 
  12. ^ Веб-сайт "Рекурсивная научная фантастика" Ассоциации научной фантастики Новой Англии, последнее обновление 3 августа 2008 г.

Источники [ править ]

  • Бартлетт, Стивен Дж. [Джеймс] (ред.) (1992). Рефлексивность: Справочник по саморекламе . Амстердам, Северная Голландия. (PDF). RePub, Университет Эразмус
  • Хофштадтер, Д.Р. (1980). Гедель, Эшер, Бах: вечная золотая коса . Нью-Йорк, старинные книги .
  • Smullyan, Raymond (1994), Diagonalization and Self-Reference , Oxford Science Publications, ISBN 0-19-853450-7 
  • Крэбтри, Джонатан Дж. (2016), Утраченная логика элементарной математики и галантерейщик, похитивший Кайдзен , Труды Ежегодной конференции математической ассоциации Виктории (MAV), 53, 98-106, ISBN 978-1-876949-60- 0