не могу вмешаться по сути, но мне Ваш спор напоминает о фразе, кажется, Адамса из книжки про Пространства Петель.

(очень неточная цитата) "когда тополог говорит, что два пространства петель совпадают, он подрузумевает, что он построил сисметему изморфизмов, которые ... и функториально ..."

также, видимо, и у конструктивистов --- постоянно должны подразумеваться оговорки о реализуемости .. впрочем, может я ошибаюсь.


Но ведь и на практике никому не надо складывать
любые натуральные числа, а надо
складывать весьма и весьма ограниченные числа.
То есть финитистская позиция полностью охватывает
всю практику приложения математики.

ага. но, скорей,
практику "наивного" приложения математики (без всяких теорем лефшеца в физике..)

(Reply to this) (Parent) (Thread)

>также, видимо, и у конструктивистов --- постоянно должны подразумеваться оговорки о реализуемости .. впрочем, может я ошибаюсь.

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

>ага. но, скорей,
>практику "наивного" приложения математики (без всяких теорем лефшеца в физике..)

Вот-вот. И я о том же.

(Reply to this) (Parent)