Цитата:
Вот Вы и отказались от констуктивного принципа: "Утверждаем существование объекта только тогда, когда имеем возможность его предъявить".
Вы путаете потенциальную возможность с реальной. Если способ вычислить функцию есть, но его невозможно привести в действие из-за недостаточной мощности компьютера, это не значит, что функции не существует. Вы когда-нибудь слышали про абстракцию потенциальной осуществимости?
Цитата:
Утверждение о том, что рациональная дробь "существует" (или "не существует", или "не знаю") - это будет Ваше утверждение.
Вам напомнить ваши слова? Вы утверждали, что х - рациональное. Следовательно, по определению, его можно предствить в виде несократимой дроби, а значит, у нее есть знаменатель m. Таким образом, из вашего утверждения, что x - рационалное в любом случае, следует, что знаменатель m существует в любом случае.
Цитата:
Неизвестно. Но вопрос не об этом, а о
том, является ли
рациональным (может ли оно быть не рациональным).
Очевидно, что если пользоваться вашими определениями рационального и действительного числа, х может быть действительным, но при этом не быть рациональным.