А мы не спим, уже вчера начали плодотворно трудиться и продолжили обсуждение книги Леона Хорстена «Метафизика и математика произвольных объектов». Обсуждение касалось девятой главы, в которой Леон Хорстен показывает, как с помощью произвольных объектов построить формальную теорию арифметики, и обсуждает некоторые её ключевые особенности. Доклад представил Арсен Вольский. С записью можно ознакомиться на нашем YouTube-канале, в паблике VK и на канале Дзен. Не забывайте подписываться, нажимать на колокольчик и ставить реакции. Нам от этого радостно.