Читаем "Умер ли Никола Бурбаки?", А. Б. Сосинский

Простая, краткая статья о Николе Бурбаки: не очень достоверная история, анализ влияния. Мне понравилась тем, насколько причина объединения студентов-математиков под этим псевдонимом напоминает разговоры, которые я слышу сегодня. Плюс идея автоматических доказательств и собственно переноса математических результатов в условную библиотеку Lean кажется закономерным продолжением стремлений Николы. Всё это как будто даёт ощущение актуальности духа их работы и ответ на вопрос в заглавии статьи остаётся, по крайней мере мне, неочевидным.

Приглашаю всех прочитать статью к пятнице, 19 апреля, 19:00 по Москве.

Статья в первом комменте.
Сервер: https://discord.gg/wAEDKyrWdE