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

Однако по таким критериям найти книгу оказалось непросто. В итоге, рассмотрев 3-4 варианта, было решено прочитать Handbook of the History of Logic, The Rise of Modern Logic: From Leibniz to Frege (далее HoHoL3). Да, понимаю, не хочется тратить время на события до 19 века, но авторы утверждают, что на самом деле математический поворот в логике начался совсем не с Фреге. Что ж, приглашаю ознакомиться!

Прочитать до "THE PLUS-MINUS-CALCULUS" включительно к пятнице, 18 июля. Встречаемся на нашем дискорд-сервере в 21:00 по Москве.

Книга в первом комменте.
Формат | Методы доступа в дискорд