Самоприменимость

Самопримени́мость в теории алгоритмов — свойство алгоритма успешно завершаться на данных, представляющих собой формальную запись этого же алгоритма.

Задача распознавания самоприменимости является алгоритмически неразрешимой и сводится к тому, чтобы найти алгоритм, позволяющий за конечное число шагов по формальной записи некоего алгоритма узнать, является ли он самоприменимым или нет. Хотя эта задача несколько искусственна и не представляет самостоятельного интереса, но часто используется для того, чтобы доказать неразрешимость других, более сложных задач. Общий метод для подобных выводов состоит в том, что из предположения о существовании алгоритма, решающего некую задачу, выводится существование алгоритма, решающего задачу распознавания самоприменимости.

Источник: Википедия

Упоминания в литературе

Разумеется, речь не идет о том, чтобы выдвигать какие-либо запреты или апологетически превозносить философию только ради ее превознесения; напротив, предлагается выстраивать собственные размышления и рассуждения максимально последовательно и рефлексивно адекватно, то есть отслеживая их самоприменимость как минимум на следующем метауровне и учитывая неустранимые перформативные эффекты, неизбежно производимые самим актом выполняемого в той или иной контекстуальной среде утверждения. Ведь даже концептуальный отказ от философии неизбежно совершается средствами самой философии, а потенциальный отказ от культуры – средствами самой культуры; поскольку прямолинейный ход мысли тут не приводит к ожидаемому результату, постольку представляется принципиально важным не игнорировать соответствующую связность. Конечно, обратить внимание на такого рода неизбежную связность имеет смысл совсем не для того, чтобы превратить ее в новый абсолют взамен прежних (это ненужно, да и вряд ли выполнимо), а затем, чтобы попытаться обнаружить – отсутствие абсолюта вовсе не должно автоматически означать (насколько бы очевидным это кому бы то ни было ни казалось – из перспективы опять-таки классической бинарной оппозиции) подавляющего господства субъективизма и разгула вседозволенности или наступления полного хаоса. Ведь появление новых геометрий Лобачевского и Римана хотя и подорвало монополию единственной и несравненной Геометрии Евклида, но никоим образом не ликвидировало доказательность теорем, пусть даже и разных в различных аксиоматических системах. А создание Эйнштейном теории относительности хотя и устранило абсолютный характер системы отсчета, который предполагался в классической механике Ньютона, однако не уничтожило системы отсчета как таковые.

В. Ю. Кузнецов, Взаимосвязь единства мира и единства культуры, 2013