Вряд ли. По большому счету, это не моя область. Я не занимаюсь гомотопической алгеброй, я занимаюсь гомологической алгеброй. А общеметодологический вопрос на уровне "зачем и какие нужны абстракции" обсуждать бессмысленно.
Вопрос-то был не в этом, а в том, какие есть killer applications всей этой технологии. Наверное, доказательство Концевичем теоремы формальности является таким примером. И ее недавнее обобщение Тоеном на высшие категории. Что-нибудь еще?
Технология мне не очень близка; постановка вопроса о killer applications мне очень не близка -- так что мне за забота? Не каждая битва лягушек с мышами требует непременно моего участия. Тем более, что в данном случае это, скорее, фантомные лягушки и фантомные мыши.
К тебе никаких претензий нет: неинтересно так неинтересно. Но многим нужна мотивация в виде killer applications, чтобы решить, стоит ли учить формализм. Дело вкуса. Я, например, когда читал Фоменко-Фукса, просто пропускал главы про квадраты Стинрода или обобщенные теории гомологий, потому что не понимал, зачем это все.
Для физиков (в душе) это, может быть, так. Для математиков, вопрос об убойных приложениях выступает, мне кажется, больше в роли красной селедки. В лучшем случае -- одного из факторов.
Настоящая мотивация всей этой публики -- чисто социальная. Вот и ведутся переговоры -- типа, а у нас в квартире газ, а у вас. Но важней водопровод, вот. Так куется социальный консенсус.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2014-06-06 02:34 pm (UTC)no subject
Date: 2014-06-06 02:50 pm (UTC)no subject
Date: 2014-06-06 04:42 pm (UTC)no subject
Date: 2014-06-06 05:56 pm (UTC)no subject
Date: 2014-06-06 06:07 pm (UTC)no subject
Date: 2014-06-06 06:29 pm (UTC)Настоящая мотивация всей этой публики -- чисто социальная. Вот и ведутся переговоры -- типа, а у нас в квартире газ, а у вас. Но важней водопровод, вот. Так куется социальный консенсус.