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