Математическая энциклопедия - вычислимое действительное число

действительное число, для к-рого существует алгоритм, находящий сколь угодно точные рациональные приближения к этому числу. Близкое значение имеет термин "конструктивное действительное число", обычно употребляемый при рассмотрении В. д. ч. в рамках той или иной системы конструктивной математики (см. Конструктивный анализ). Б. .