Мотивация

[posic]

Невозможно знать заранее, как дело пойдет, какие трудности возникнут, и что получится; но, по видимости, перечисленное в предыдущем постинге подразумевает большой объем работы, не направленной ни к какой очевидной конкретной цели, и большой объем текста, который в обозримой перспективе едва ли кто-нибудь прочтет. Зачем все это?

Подобный вопрос всегда подразумевает множество альтернативных ответов. Видимо, важнейший из них состоит в том, что, как мне это представляется, мне выпала возможность увидеть то, чего не видят другие, и понять то, что иначе оставалось бы непонятым еще долго. Что реализация этого требует большой работы от меня, так это обычное дело в науке; а что то же потребуется и от тех, кто возьмется это изучать, так это обычное дело для комплекса идей такой сложности, непривычности и удаленности от мейнстримных трюизмов. Формат уже дальше диктуется свойствами самого предмета: если оказывается, что здесь нужно писать много букв, значит, здесь нужно писать много букв; выбирать-то не приходится.

Другой ответ состоит в том, что -- глядя на вещи с точки зрения специалиста по гомологической алгебре -- как ни крути, но гомологическая алгебра, которой известно понятие производной категории второго рода, вместе с сопутствующими понятиями и методами работы с ними -- стоит на ногах намного прочнее, чем гомологическая алгебра, которой эти определения неизвестны, а необходимость иметь с ними дело в конкретных ситуациях разрешается через поиск обходных путей, и каждый раз других. Как представителю поколения, в годы юности которого гомологическая алгебра (не говоря о всей гротендиковской революции в целом) еще воспринималась отчасти как чудо, а не как набор банальностей, мне естественно взять эту задачу на себя.

Comments

[(Anonymous)]

Если много букв выходит, то может используемый язык не совсем удачный?

[posic.livejournal.com]

Боюсь, что "контрапроизводная категория комплексов контрагерентных копучков контрамодулей локально кокручения" будет на любом языке примерно одинаково длинно. И три части по пять глав по десять параграфов по пять лемм и теореме в каждом -- тоже.

[(Anonymous)]

Но язык позволяет сжимать такие длинные языковые конструкции: вводить новые понятия и операции с ними, обобщать и тривиалить.

[posic.livejournal.com]

Это все в равной мере позволяет любой язык.

[(Anonymous)]

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

[Антон Фонарёв (from livejournal.com)]

По-моему, перекликается с первым пунктом, но вы забыли самое главное: потому что от этого «прет»…

[posic.livejournal.com]

Это, наверное, для вас, молодежи, подходящая мотивация. А я, типа, старый, усталый, больной человек. Обычно скучный и/или мрачный. И математика -- главная в числе очень немногих вещей, наполняющих каким-то светом мою в остальном тоскливую жизнь. При этом разных дел и обязанностей у меня, как оно бывает в моем возрасте, ужасно много, а сил почему-то всю жизнь было и есть невероятно мало. Поэтому научные работы я пишу в психологическом режиме -- успеть бы только подготовить вот такую и такую версию для Архива, а там уж как Бог даст.