| Re: Интегралы Мак-Шейна |
Feb. 8th, 2008|09:52 am |
> если T — вполне отделимый
> элементарный топос с объектом натуральных чисел,
> то тогдка верно следующее: …
> Этот факт устраняет сам предмет спора и делает всё яснее.
> Кстати, веровать при этом ни во что не надо.
Кирпич можно взять и положить на стол. Конструктивное вещественное число — тоже (в виде распечатки соответствующей программы или дискеты, на которую эта программа записана). Можно положить на стол элементарный топос? Если нет — то в его существование остаётся именно веровать.
> А для конструктивной математики вместо
> топоса ZFC используется эффективный топос.
В конструктивной математике используется только то, что можно положить на стол. А то, что говорите Вы — это попытка понимания результатов конструктивной математики "классиками", к собственно конструктивной математике отношения не имеющая.
С уважением,
Гастрит
|
|