Матклуб

За последние полгода могло сложиться впечатление, что вы подписались на Венский кружок, а не Матклуб. Хорошо, давайте займёмся чем-то серьёзным. Мы уже читали "Algebra: Chapter 0", Paolo Aluffi (до канала в тг) и первую часть топологии Мункерса. Кажется, уже достаточно готовы, чтобы ознакомиться с относительно классическим введением Хатчера. В ходе этого чтения я бы хотел попробовать найти ответы на следующие вопросы: 1. Как алгебраическая топология смотивировала введение категорного языка в доп...

Начинаем чтение What Is Entropy?, John C. Baez Пока большие книги читаются и доклады готовятся, давайте прочитаем за 2-3 недели рассказ о том, что такое энтропия. Заявленная цель книжки посчитать энтропию водорода (23 бита на молекулу!) и впоследствии энтропию гармонического осциллятора. В процессе мы выделим 5 различных определений энтропии, разберём, как энтропия связана с вероятностью, внимательно посмотрим на энтропию Шеннона из теории информации, энтропию Гиббса из классической статистическ...

Начинаем чтение Modal Logic, Chagrov A., Zakharyaschev M. Модальной логике уже более века, если считать с первого определения с помощью исчислений Кларенсом Льюсом. Сегодня это богатая область, результаты которой применяются от философии до компьютерных наук. В этой книге Чагров и Захарьящев исследуют расширения пропозициональной унимодальной классической логики K и интуиционистской логики Гейтинга Int. По уровню изложения теории книга находится примерно между вводными текстами и передовыми иссл...

Всем привет! Говорят, что в России проблемы с доступом к дискорду. Для Матклуба это, кажется, не сильно сказалось на онлайне, поэтому никаких переездов не планируется. Однако, если вы вдруг из тех, кто отсеивается на требовании "уверенный пользователь пк" (стыдитесь! у нас филологиня сама разобралась), то я поспрашивал у знакомых россиян, как они справляются с блокировкой. В итоге получилось три рабочих варианта со своими минусами: 1. Самый популярный вариант (заслуженно!) — это zapret как ориги...

А вот и новый формат для Матклуба — соло-выступления! Первым выступит для нас с презентацией xud. Приглашение от автора: Приглашаю вас в увлекательный мир алгебраической теории графов. Графы — это универсальные объекты, используемые для моделирования множества явлений: от социальных сетей до биологических процессов, не говоря о том, что они интересны сами по себе. Достижения в области абстрактной алгебры в XX веке, включая формирование её структуралистского ядра, стали важным этапом в развитии м...

Всем привет! Недавно понял, что ни разу в тг не рассказывал, как проходят встречи в рамках наших чтений. Так вот мы придерживаемся следующего процесса: 1. Обычно встречи начинаются вечером, примерно в 20:00 (UTC+3) в пятницу, субботу или воскресенье. Вряд ли позже 21:00, но и сомнительно, что раньше 18:00. Пятницу стараемся держать под статьи и доклады, а выходные — под большие книги. 2. Первые 10-15 минут болтаем и ждём тех, кто может опаздывать. 3. Дальше начинается основная часть встречи. В з...

Всем привет! Давайте подведём итоги деятельности Матклуба за год. Итак, идеальный человек, не пропустивший ни одного чтения, мог бы в 2024 году вместе с Матклубом прочитать 1643 страницы! Это неполных 7 книг и полных 13 статей. Наш герой получил бы основательное введение в аксиоматическую теорию множеств, общую топологию, теорию категорий, философию и историю структурализма в математике. В последние пару месяцев он ломал бы голову в универсальной алгебре и модальной логике. Вот ещё интересные чи...

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

Читаем О математике и качестве её преподавания, Л. С. Понтрягин Статья Л. С. Понтрягина — одна из итераций борьбы некоторых наших учёных с иностранным влиянием. В данном случае автора волнует цифр "бурбакизация", якобы насаждаемая в тот период реформой школьного образования, возглавляемой А. Н. Колмогоровым. Если при слове "бурбаки" у вас срабатывает условный рефлекс, и вы уже заочно согласны, то замечу, что не всё так однозначно. А. Б. Сосинский, например, в статье "Умер ли Никола Бурбаки?" пиш...

Читаем On Gödel, Hintikka Уже несколько месяцев мы изучаем модальные логики. Я, правда, в основном страдаю и ничего не понимаю, но неунывающий Мейнониган радует своими объяснениями (спасибо ему). Недавно мы по какой-то причине обсуждали полноту и обнаружили, что моё понимание этого свойства оказалось спутанным, поэтому Мейнониган посоветовал ознакомиться с тем, как Хинтикка интерпретирует работы и жизнь Гёделя. Приглашаю всех в течение пары недель разобраться, почему Гёдель один из самых влиятел...