| |||
|
|
>наверняка в коммутативной алгебре полно (не таких важных) мутных технических доказательств Полно, да, но не таких непробиваемых. В принципе, это старая телега, еще из переписки Серра с Гротендиком, где Серр пенял Гротендику на метод доказательства "методом поднимающегося моря" (доказываешь много тривиальностей, понемногу заполняется все) и указывал, что в алгебре такое не сработает. Алгебра надо полагать имелась в виду коммутативная. Однако я бы сказал, что одно дело коммутативная алгебра, другое дело теория категорий и гомотопическая топология. Везде, где можно без сложностей, лучше без. Анализ же это вообще не наука, а искусство. Местами просто восхитительное, но вещь в себе. По крайней мере, если кто в статье по комплексной геометрии начинает применять Хана-Банаха, ищи ошибку. >себе в технических местах с большим количеством деталей верят с большим трудом Я себе в таких местах вообще не верю (and for a good reason). Но я бы и компьютеру не поверил. Добавить комментарий: |
||||