самоприменимость
Смотреть что такое "самоприменимость" в других словарях:
Самоприменимость — в теории алгоритмов свойство алгоритма успешно завершаться на данных, представляющих собой формальную запись этого же алгоритма. Задача распознавания самоприменимости является алгоритмически неразрешимой и сводится к тому, чтобы найти… … Википедия
антиномия — (от греч. antinomia противоречие в законе) рассуждение, доказывающее, что два высказывания, являющиеся отрицанием друг друга, вытекают одно из другого. Характерным примером логической А. является лжеца парадокс. Наибольшую известность из открытых … Словарь терминов логики
АНТИНОМИЯ — (от греч. antinomia противоречие в законе) рассуждение, доказывающее, что два высказывания, являющиеся отрицанием друг друга, вытекают одно из другого. Характерным примером логической А. является «Лжеца» парадокс. Наибольшую известность из… … Философская энциклопедия
Аппликативные вычислительные системы — Аппликативные вычислительные системы, или АВС, включают системы исчислений объектов, основанные на комбинаторной логике и ламбда исчислении[1]. Единственное, что существенно разрабатывается в этих системах это представление об объекте. В… … Википедия
Вычислимая функция — Вычислимые функции это множество функций вида, которые могут быть реализованы на машине Тьюринга. Задачу вычисления функции называют алгоритмически разрешимой или алгоритмически неразрешимой, в зависимости от того, возможно ли написать… … Википедия
