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

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

Б. А Кушнер.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985