Прямое и косвенное

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

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

Теоретико-множественная гомологическая алгебра. В данном случае, множества счетные, что делает рассуждение возможным, но не делает его легким для понимания. В общем, с инфинитарно-комбинаторным привкусом нечто. В Москве таких не делают, но в Праге можно такое написать.

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

Год назад: Переживать свое несчастье и поражение в мягких условиях с разными мелкими утешениями

https://posic.dreamwidth.org/2425425.html

Продолжение -- https://posic.dreamwidth.org/2425622.html