"Рекурсивные вещественные числа"

Почти сразу после отправления в сообщество ru_math вопроса о применимости счетного представимого подмножества континуума вещественных чисел была приведена ссылка на так называемый "конструктивный вещественный анализ", описанный, к примеру, в диссертации "Constructive Real Analysis" (Luis Cruz-Filipe). Сами же числа, содержащиеся в построенном ранее множестве, эквивалентны так называемым "рекурсивным вещественным числам", определяемым в статье "Recursive Real Numbers" (H. G. Rice).

Упомянутый раздел изучает точно представимые и решаемые задачи в континуальной математике, поэтому он тесно связан с лямбда-исчислением.