Нумерически Выразимый Предикат
- арифметический предикат обладающий по отношению к данной формальной системе S арифметики следующим свойством. Существует такая формула в языке арифметики формальной, что для любых натуральных чисел 1) если истинно, то 2)еслиложно, то где означает выводимость в системе S, а - результат подстановки в формулу вместо переменных - термов, изображающих числа . В этом случае говорят, что формула нумерически выражает предикат . Для формальной системы Sарифметики имеет место утверждение. В Sнумерически выразимы все рекурсивные предикаты и только они. N-местная арифметич. Функция f наз. Нумерически пррдставимой в формальной системе Sарифметики, если существует такая арифметич. Формула что для любых натуральных чисел В обычных формальных системах арифметики нумерически представимы все общекурсивные функции и только они.
Лит.:[1] Клини С. К., Введение в метаматематику, пер. С англ., М., 1957. В. Е. Плиско.
Дополнительный поиск Нумерически Выразимый Предикат
На нашем сайте Вы найдете значение "Нумерически Выразимый Предикат" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Нумерически Выразимый Предикат, различные варианты толкований, скрытый смысл.
Первая буква "Н". Общая длина 30 символа