Вычислимое число

Вычислимое число

В математике, вычислимое (или рекурсивное) число — это число, которое может быть вычислено с любой заданной точностью с помощью алгоритма (для комплексных чисел должны быть вычислимы и действительная, и мнимая части). Число, не являющееся вычислимым, называется невычислимым. Любое алгебраическое число (а значит, любое рациональное и любое целое число) является вычислимым. Любой элемент кольца периодов (что включает в себя число π и многие другие трансцендентные числа) является вычислимым. Любое вычислимое число является арифметическим.

Множество всех вычислимых чисел является счётным множеством, а множество всех невычислимых чисел — несчётным. Множество всех вычислимых чисел (равно как и множество всех невычислимых чисел) плотно в \R и в \C.

Порядок на множестве вычислимых действительных чисел изоморфен порядку на множестве рациональных чисел.

Свойства

См. также

  • Степень неразрешимости (англ.)



Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Полезное


Смотреть что такое "Вычислимое число" в других словарях:

  • ВЫЧИСЛИМОЕ ДЕЙСТВИТЕЛЬНОЕ ЧИСЛО — действительное число, для к рого существует алгоритм, находящий сколь угодно точные рациональные приближения к этому числу. Близкое значение имеет термин конструктивное действительное число , обычно употребляемый при рассмотрении В. д. ч. в… …   Математическая энциклопедия

  • Нормальное число — по основанию n ( ) всякое действительное число, в записи которого в n ричной системе счисления каждая группа из k последовательных цифр встречается с одной и той же асимптотической частотой, равной n k для каждого k = 1, 2, …. Числа, нормальные… …   Википедия

  • КОНСТРУКТИВНОЕ ДЕЙСТВИТЕЛЬНОЕ ЧИСЛО — понятие действительного числа, употребляемое в конструктивной математике. В более широком смысле действительное число, конструируемое в соответствии с тем пли иным кругом конструктивных средств. Близкое значение имеет термин вычислимое… …   Математическая энциклопедия

  • Арифметическое множество — В теории множеств и математической логике, множество натуральных чисел называется арифметическим, если оно может быть определено формулой в языке арифметики первого порядка, то есть если существует такая формула с одной свободной переменной что… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»