[Конструктивный объект] Иррациональные числа.

[vladimir_vg]

Почему иррациональное число не является конструктивным объектом?

Т.к. для описания такого числа потребуется бесконечное число знаков после запятой.

Но например $\sqrt{2}$ вполне записывается.

Согласен, есть другие иррациональные числа, которые нельзя выразить подобным образом, но тогда наверное следует разбить иррациональные числа на два множества: те что выражаются подобным образом, и не обладающие подобной способностью.

Или уже это сделано?

[Xaositect]

vladimir_vg в сообщении #290759 писал(а):

Или уже это сделано?

Сделано.
Гуглить по словосочетанию "конструктивные действительные числа"

[vladimir_vg]

Ясно.