Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет D. Kaledin ([info]kaledin)
>наверняка в коммутативной алгебре полно (не таких важных) мутных технических доказательств

Полно, да, но не таких непробиваемых.

В принципе, это старая телега, еще из переписки Серра с Гротендиком, где Серр пенял Гротендику на метод доказательства "методом поднимающегося моря" (доказываешь много тривиальностей, понемногу заполняется все) и указывал, что в алгебре такое не сработает. Алгебра надо полагать имелась в виду коммутативная. Однако я бы сказал, что одно дело коммутативная алгебра, другое дело теория категорий и гомотопическая топология. Везде, где можно без сложностей, лучше без.

Анализ же это вообще не наука, а искусство. Местами просто восхитительное, но вещь в себе. По крайней мере, если кто в статье по комплексной геометрии начинает применять Хана-Банаха, ищи ошибку.

>себе в технических местах с большим количеством деталей верят с большим трудом

Я себе в таких местах вообще не верю (and for a good reason). Но я бы и компьютеру не поверил.


(Читать комментарии)

Добавить комментарий:

Как:
(комментарий будет скрыт)
Identity URL: 
имя пользователя:    
Вы должны предварительно войти в LiveJournal.com
 
E-mail для ответов: 
Вы сможете оставлять комментарии, даже если не введете e-mail.
Но вы не сможете получать уведомления об ответах на ваши комментарии!
Внимание: на указанный адрес будет выслано подтверждение.
Имя пользователя:
Пароль:
Тема:
HTML нельзя использовать в теме сообщения
Сообщение:



Обратите внимание! Этот пользователь включил опцию сохранения IP-адресов пишущих комментарии к его дневнику.