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