> если T — вполне отделимый
> элементарный топос с объектом натуральных чисел,
> то тогдка верно следующее: …
> Этот факт устраняет сам предмет спора и делает всё яснее.
> Кстати, веровать при этом ни во что не надо.

Кирпич можно взять и положить на стол. Конструктивное вещественное число — тоже (в виде распечатки соответствующей программы или дискеты, на которую эта программа записана). Можно положить на стол элементарный топос? Если нет — то в его существование остаётся именно веровать.

> А для конструктивной математики вместо
> топоса ZFC используется эффективный топос.

В конструктивной математике используется только то, что можно положить на стол. А то, что говорите Вы — это попытка понимания результатов конструктивной математики "классиками", к собственно конструктивной математике отношения не имеющая.

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

(Reply to this) (Parent) (Thread)

>Можно положить на стол элементарный топос?

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

>В конструктивной математике используется только то, что можно положить на стол.

Для этого сначала надо определить, что такое
объект, который можно положить на стол.

(Reply to this) (Parent)