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

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

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