[personal profile] posic
надо что-то написать. Не просто использовать его, но изучить сначала. Придумал определение -- придумай и теоремы про него. Леммы хотя бы. Сообрази и напиши, какие есть естественные утверждения и как они доказываются.

Дело не в том, пригодятся эти леммы или не пригодятся. Все естественные постановки вопросов когда-нибудь пригождаются. Из каждой что-нибудь да вырастет, раньше или позже. Важно поддерживать широкий фронт исследовательской программы. С разными классами примеров, разными уровнями общности, разными постановками задач.

Так можно в чем-то разобраться. Если цель состоит в том, чтобы в чем-то разобраться. Если цель ставится другая, это другой разговор.

Profile

Leonid Positselski

March 2026

S M T W T F S
123 4 5 67
8 9 10 11 12 13 14
15 16 1718192021
22232425262728
293031    

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Mar. 18th, 2026 05:17 am
Powered by Dreamwidth Studios