![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicнадо что-то написать. Не просто использовать его, но изучить сначала. Придумал определение -- придумай и теоремы про него. Леммы хотя бы. Сообрази и напиши, какие есть естественные утверждения и как они доказываются.
Дело не в том, пригодятся эти леммы или не пригодятся. Все естественные постановки вопросов когда-нибудь пригождаются. Из каждой что-нибудь да вырастет, раньше или позже. Важно поддерживать широкий фронт исследовательской программы. С разными классами примеров, разными уровнями общности, разными постановками задач.
Так можно в чем-то разобраться. Если цель состоит в том, чтобы в чем-то разобраться. Если цель ставится другая, это другой разговор.
Дело не в том, пригодятся эти леммы или не пригодятся. Все естественные постановки вопросов когда-нибудь пригождаются. Из каждой что-нибудь да вырастет, раньше или позже. Важно поддерживать широкий фронт исследовательской программы. С разными классами примеров, разными уровнями общности, разными постановками задач.
Так можно в чем-то разобраться. Если цель состоит в том, чтобы в чем-то разобраться. Если цель ставится другая, это другой разговор.
