ЭФ>>Но самое главное, я так и не понял,
ЭФ>>для чего мне надо изучить эту квадратуру круга, трисекцию угла и разбиение шара на два.
σ> у нас спрашиваешь зачем ты это изучаешь?

Всё было не так. Я это не изучаю и не изучал (что в общем-то видно по теме).
У меня вопрос — а почему это вообще изучают
(применительно к программистам, и доказательству корректности ПО в курсе Матлогики)

Вот если это изучено, какие бонусы это даёт,
и какие новые потенциальные достижения делает доступными (анлочит)?

ЭФ>>Но самое главное, я так и не понял,
ЭФ>>для чего мне надо изучить эту квадратуру круга, трисекцию угла и разбиение шара на два.
σ> у нас спрашиваешь зачем ты это изучаешь?

Всё было не так. Я это не изучаю и не изучал (что в общем-то видно по теме).
У меня вопрос — а почему это вообще изучают
(применительно к программистам, и доказательству корректности ПО в курсе Матлогики)

Если это будет изучено, какие бонусы это даст,
и какие новые потенциальные достижения делает доступными (анлочит)?