Тогда всё становится ещё проще.
Является ли программа, вычисляющая число Грехема,
конструктивным натуральным числом?

Что касается остальное, то andrey_bovykin@lj
формулирует гораздо более содержательные вопросы:
http://bbixob.livejournal.com/75286.html?thread=680982#t680982

(Reply to this) (Parent) (Thread)

> Является ли программа, вычисляющая число Грехема,
> конструктивным натуральным числом?

Нет, не является. Зато теоремой конструктивной математики является утверждение, что при наличии достаточного количества ресурсов эта программа будет результативной. Точно так же, как другой теоремой этой же самой конструктивной математики является утверждение, что для современной вычислительной техники оных ресурсов не хватит (в этом отношении КМ вполне разделяет Ваш подход к вопросу: Вы тоже не брали это число "в железе", а охарактеризовали его перечислением неких свойств, после чего теоретически заключили, что среди "относительно осязаемых" чисел объекта с требуемыми свойствами не имеется).

С уважением,
Гастрит

(Reply to this) (Parent)