🎬 Вышел S1E6 математического «сериала», который записывает мой приятель. Обсуждаются основания математики и фундаментальные теории.

— Теория типов
— Теория категорий
— Теория множеств

#wild_recommendation