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

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

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

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

(Reply to this) (Parent)