Yuri Gendelman писал(а):
Руст писал(а):
Фрёлёхер,Бухер. Дифференциальное исчисление в псевдотопологических векторных пространствах.
Мне встречалась книга этих авторов "Дифференциальное исчисление в векторных пространствах без нормы".
Что касается божественности натуральных чисел, то существует концепция категорификации, к-рую разрабатывали Крейн (Crane) и Бэз (Baez). См. напр. обзор: John C. Baez, James Dolan. Categorification
http://arxiv.org/math.QA/9802029Грубо говоря, "множество натуральных чисел было изобретено с помощью декатегорификации категории конечных множеств"


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

Что касается высказывания Кронекера, то это мистика и глупость. Современная
теория натурального ряда это просто формализация представлений первобытного человека
о процессах реального счета. Существуют и другие более сложные формализации этого дела.
То что в современной математике используется каноническая формализация объясняется
хорошо известными субъективными причинами
