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