Креативное Множество

84

творческое множество, - рекурсивно перечислимое множество Анатуральных чисел, дополнение к-рого Адо натурального ряда является продуктивным множеством;иными словами, множество Акреативно, если оно рекурсивно перечислимо и существует такая частично рекурсивная функция j(x), что для всякого содержащегося в рекурсивно перечислимого множества Wx с гёделевым номером х К. М. Часто встречаются в различных алгоритмически неразрешимых проблемах, в силу чего образуют важнейший класс рекурсивно перечислимых множеств, неявляющихся рекурсивными. Креативными оказываются множества номеров доказуемых и опровержимых формул многих формальных теорий (при естественной нумерации всех формул теории). В частности, так обстоит дело в арифметике Пеано и вообще во всех рекурсивно-неотделимых теориях (т.

Е. В теориях, множества доказуемых и опровержимых формул к-рых эффективно неотделимы). Все К. М. Рекурсивно изоморфны между собой (т. Е. Для каждой пары К. М. Существует рекурсивное взаимно однозначное преобразование натурального ряда, отображающее одно из них на другое) и принадлежат одной тьюринговой степени, наибольшей среди степеней рекурсивно перечисленных множеств. Понятие креативности обобщается на последовательности множеств и другие объекты. Лит.:[1] Роджерс X., Теория рекурсивных функций и эффективная вычислимость, пер. С англ., М., 1972. [2] Шенфилд Дж., Математическая логика, пер. С англ., М., 1975. В. А. Душский.

Значения в других словарях
Кратный Ряд

S-кратный ряд,- выражение вида составленное из членов таблицы Каждый член этой таблицы занумерован индексами т, п, . , р, к-рые пробегают независимо друг от друга все натуральные числа. Теория К. Р. Аналогична теории двойных рядов. См. Также Абсолютно сходящийся ряд. Лит.:[1] Ф и х т е н г о л ь ц Г. М., Курс дифференциального и интегрального исчисления, 4 изд., т. 2, М., 1959. Е. Г. Соболевская. ..

Кратчайшая

- линия в метрическом пространстве, соединяющая две его точки и не превосходящая по длине любую другую линию с теми же концами. На плоскости К. - отрезки прямых, на сфере - дуги больших полуокружностей. В римановых пространствах геодезические линии являются К. На малых участках. Длины подобных участков оцениваются в зависимости от кривизны и топологии пространства. Важную роль играют К. В геометрии в целом поверхностей и метрик, не подчиненных требованиям регулярности. Так, понятие К.- одно и..

Кремоново Преобразование

бирациональное преобразование проективного пространства над полем k. Бирациональные преобразования плоскости и трехмерного пространства систематически изучал (начиная с 1863) Л. Кремона (L. Cremona). Группа К. П также называется его именем - группа Кремоны и обозначается Простейшими примерами К. П., отличными от проективных преобразований, являются квадратичные бирациональные преобразования плоскости. В неоднородных координатах (x, у).их можно записать в виде дробно-линейных преобразований ..

Кремоны Группа

- группа бирациональных автоморфизмов проективного пространства над полем k, или, что то же, группа кремоновых преобразований пространства Группа естественным образом содержит в качестве подгруппы группу проективных преобразований пространства причем при эти группы не совпадают. Группа будет изоморфна группе автоморфизмов над kполя рациональных функций от ппеременных над k. Основным результатом о К. Г. Проективной плоскости является теорема Нётера. Группа над алгебраически замкнутым..

Дополнительный поиск Креативное Множество Креативное Множество

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

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

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