Нумерически Выразимый Предикат

81

- арифметический предикат обладающий по отношению к данной формальной системе S арифметики следующим свойством. Существует такая формула в языке арифметики формальной, что для любых натуральных чисел 1) если истинно, то 2)еслиложно, то где означает выводимость в системе S, а - результат подстановки в формулу вместо переменных - термов, изображающих числа . В этом случае говорят, что формула нумерически выражает предикат . Для формальной системы Sарифметики имеет место утверждение. В Sнумерически выразимы все рекурсивные предикаты и только они. N-местная арифметич. Функция f наз. Нумерически пррдставимой в формальной системе Sарифметики, если существует такая арифметич. Формула что для любых натуральных чисел В обычных формальных системах арифметики нумерически представимы все общекурсивные функции и только они.

Лит.:[1] Клини С. К., Введение в метаматематику, пер. С англ., М., 1957. В. Е. Плиско.

Значения в других словарях
Нульмерное Пространство

в смысле ind - пространство, обладающее базой из множеств одновременно открытых и замкнутых в нем. Каждое дискретное пространство нульмерно, однако Н. П. Может не иметь изолированных точек (пример - пространство рациональных чисел ). Все нульмерные пространства вполне регулярны. Нульмерность пространства наследуется его подпространствами и влечет сильную несвязность пространства. Единственными связными множествами в Н. П. Являются одноточечное и пустое. Однако последнее свойство, наз. Вполне н..

Нумерация

НУМЕРА́ЦИЯ -и. Ж. [от лат. Numero - считаю]. ..

Нумерованная Модель

- пара , где - модель нек-рой фиксированной сигнатуры и - нумерация основного множества модели Наиболее развитым направлением в изучении Н. М. Является конструктивных моделей теория. Другим направлением в теории Н. М. Является исследование проблемы сложности Н. М., под к-рой понимается сложность множеств натуральных чисел либо множества . В качестве здесь берется нек-рая гёделева нумерация всех формул сигнатуры где константы не принадлежат сигнатуре - это множество всех замкнутых ..

Нуссельта Число

- безразмерный параметр, характеризующий интенсивность конвективного теплообмена между поверхностью тела и потоком газа (жидкости). - коэффициент теплообмена, - количество тепла, отдаваемого (или получаемого) поверхностью тела в единицу времени, - разница между температурой поверхности тела и температурой газа (жидкости) вне пограничного слоя, - площадь поверхности, - характерный размер,- коэффициент теплопроводности газа. Н. Ч. Наз. По имени В. Нуссельта (W. Nusselt). БСЭ-З.. ..

Дополнительный поиск Нумерически Выразимый Предикат Нумерически Выразимый Предикат

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Нумерически Выразимый Предикат" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Нумерически Выразимый Предикат, различные варианты толкований, скрытый смысл.

Первая буква "Н". Общая длина 30 символа