Матклуб

Channel photo updated

Недавно я придумал шутку — математику надо начинать изучать с английского. Однажды я уже рассказывал, почему в Матклубе большинство книг и статей на английском. Не от большой любви к англичанам, конечно. Теперь же обнаружил, что англопишущие авторы излагают, кажется, доступнее, понятнее даже базовую теорию. Может быть, у них какой-то другой подход, может быть, то уже дело моей привычки, но в любом случае серьёзный любитель математики английский игнорировать не может. В этот раз приглашаю вас подумать о письме. Мы уже читали классическую статью Халмоша, Как писать математические тексты, современную статью Pak, How to write a clear math paper: some 21st century tips, которые в целом дают советы о том, как стоит или не стоит писать математический текст. Сосинский же в этом смысле выделяется тем, что расскажет нам, как носителям русского, почему писать по-английски всё-таки лучше самому и как при этом не рассмешить носителя конечным результатом. К тому же интересно проверить на упражнениях, насколько книга актуальна в контексте LLM. Может ли LLM перевести математику лучше знакомых с иняза? Может ли LLM обнаружить неточное использование специальных терминов? Встречаемся на нашем сервере в пятницу 13 февраля в 21:00 по Москве. Прочитать первые 2 главы и сделать упражнения.Книга в первом комменте.Формат | Методы доступа в дискорд

Матклуб pinned «Всем привет! За последние 4 месяца могло сложиться впечатление, что в Матклубе ничего не происходит. Хорошо, давайте расскажу, чем мы занимались в уходящем году. Идеальный человек, не пропустивший ни одного чтения, мог бы в 2025 году вместе с Матклубом прочитать…»

Всем привет! За последние 4 месяца могло сложиться впечатление, что в Матклубе ничего не происходит. Хорошо, давайте расскажу, чем мы занимались в уходящем году. Идеальный человек, не пропустивший ни одного чтения, мог бы в 2025 году вместе с Матклубом прочитать 983 страницы! Это неполных 3 книги и полных 7 статей. Он бы продолжил разбираться в универсальной алгебре, модальной логике, послушал доклад о магистерской xud (кстати, вот презентация), ознакомился с понятием энтропии, вспомнил критику Понтрягина реформы школьного образования Колмогорова, освежил базу математической логики, прочитав статью Хинтикки о Гёделе и статью Тарского о понятии истины в формализованных языках, попытался понять влияние древних философов на становление математической логики, и между Лейбницем и Кантом начал тяжёлый путь ознакомления с алгебраической топологией. Чуть интересных чисел:- в среднем на неделю нагрузка была 19 страниц;- универсальную алгебру прочитали на 55%, модальную логику на 51%, статьи, конечно, полностью;- список планируемых к чтению книг и статей вырос на 24 пункта;- в дискорде написали ~37810 сообщений, в войсе наговорили ~572 часа;С одной стороны, я был на каждом евенте, так что программа получилась посильная. С другой стороны, заметно снижение темпа появления новых чтений относительно предыдущего года. Где-то после универсальной алгебры я понял, что две книги становится тяжело читать одновременно и качество усвоения падает. Видимо, естественным образом книги становятся сложнее, и это ожидаемо. К тому же, после 4,5 лет так много уже прочитано, что, вообще говоря, стоит выделять время просто на повторение. Постепенно, к сожалению, необходимое забывается, и надо освежать.На ближайшие месяцы я запланировал тройку относительно лёгких статей и одну непростую книгу. Хотелось бы вернуться к темпу один евент в месяц. Плюс, вроде новый рассказ об ещё одной магистерской тоже скоро. В общем, следите за анонсами! На Новый год желаю вам снова ясных целей и постоянства намерений.

За последние полгода могло сложиться впечатление, что вы подписались на Венский кружок, а не Матклуб. Хорошо, давайте займёмся чем-то серьёзным.Мы уже читали "Algebra: Chapter 0", Paolo Aluffi (до канала в тг) и первую часть топологии Мункерса. Кажется, уже достаточно готовы, чтобы ознакомиться с относительно классическим введением Хатчера. В ходе этого чтения я бы хотел попробовать найти ответы на следующие вопросы: 1. Как алгебраическая топология смотивировала введение категорного языка в дополнение к теории множеств? Да, понятно, что можно прочитать оригинальные статьи, воспоминания, объяснения, но хочется сперва почувствовать на практике необходимость категорических рассуждений. Не то чтобы Хатчер прячет категории, но появляются они ближе ко второй половине книги в отличие от, например, более современного изложения "Algebraic Topology", Tammo tom Dieck. 2. Какого рода алгебра используется и с какими целями? Недавно мы закончили чтение универсальной алгебры с мыслью, что эта область, по крайней мере руками, ощущается как попытка расширить набор классических теорий алгебры до покрытия им оригинально неалгебраических объектов (логик, латинских квадратов и т.п.). 3. И наконец, простая и понятная любому математику цель — выучить новые умные слова. Что такое гомология? Что такое гомотопия? После нескольких лет наших чтений есть подозрение, что у этих понятий имеется некоторое спорадическое, нишевое, контркультурное использование в современной математике 😳Прочитать "Preface" к воскресению, 31 августа. Встречаемся на нашем дискорд-сервере в 19:00 по Москве.Книга в первом комменте.Формат | Методы доступа в дискорд

В прошлом году нам очень понравилось читать про историю становления структурного подхода в современной алгебре. И поскольку Матклуб, в целом, живёт по принципу "алгебра и логика", то сразу было понятно общее желание прочитать что-нибудь похожее о логике, а именно: во-первых, без древностей типа 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 по Москве.Книга в первом комменте.Формат | Методы доступа в дискорд

Channel photo updated

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

Читаем The Writting of Introduction to Metamathematics, KleeneПотому что расскажу сегодня их вечером!! Приглашаю вас на чтение статьи Клини, в которой он вспоминает, как и зачем написал дорогую для Матклуба книгу "Введение в метаматематику". Малыши, заходите узнать о планах на ближайшие месяцы. Старички, приходите рассказать как у вас дела. Всех ждём!!Прочитать к пятнице, 6 июня. Встречаемся на нашем дискорд-сервере в 21:00 по Москве.Книга в первом комменте.Методы доступа в дискорд

Всем привет! Свою жизнь Матклуб отсчитывает официально с первой встречи, которая прошла летним вечером на философском сервере Несон (благодарим @mrkolbas), — 6 июня 2021 года. Хочу обратить ваше внимание, что вообще-то сегодня ровно 4 года!! 🥳🎉В этом году к нам снова пришли много крутых математикой, логиков, философов и даже физиков. Были осенью, конечно, какие-то шероховатости с баном Дискорда в России, но как будто большой проблемы это не создало. По крайней мере пока достойной альтернативы Дискорду не видим. В целом, мне кажется, что Матклуб движется в верном направлении: неформальный дух первых встреч сохраняется, внимание к деталям остаётся, новые форматы добавляются, а книги по математике и логике не заканчиваются. Большое спасибо всем, кто приходит на чтения! Матклуб в первую очередь это сообщество, поэтому любые обсуждения являются ядром нашего существования. Надеюсь, что мы сможем за следующий год больше людей смотивировать покинуть ридонли.А про планы я вам ничего не буду писать, потому что читать продолжение в источнике...

Читаем The Concept of Truth in Formalized Languages, TarskiОдной из задач программы Гильберта было использование в теории доказательств исключительно финитных методов. Как мы узнали от Хинтикки, Гёдель, в частности, показал принципиальную проблему с выражением арифметических истин допустимыми по Гильберту средствами. Интересно, что в то же время — конец 20-х и начало 30-х годов — Тарский разработал семантическую концепцию истины. Она позволяет говорить о семантическом выводе, опираясь на Т-схему и изучая выполнимость формул в моделях.Давайте попробуем понять первое объяснение этой концепции, данное Тарским. Прочитать до "Formalized Languages, especially the Language of the Calculus of Classes" включительно к субботе, 24 мая. Встречаемся на нашем дискорд-сервере в 21:00 по Москве.Книга в первом комменте.Методы доступа в дискорд

Читаем On Gödel, HintikkaУже несколько месяцев мы изучаем модальные логики. Я, правда, в основном страдаю и ничего не понимаю, но неунывающий Мейнониган радует своими объяснениями (спасибо ему). Недавно мы по какой-то причине обсуждали полноту и обнаружили, что моё понимание этого свойства оказалось спутанным, поэтому Мейнониган посоветовал ознакомиться с тем, как Хинтикка интерпретирует работы и жизнь Гёделя. Приглашаю всех в течение пары недель разобраться, почему Гёдель один из самых влиятельных логиков 20 века, чему его теорема о полноте и теоремы о неполноте нас научили, а также как аксиоматический подход привёл нас к проблемам вычислимости. Прочитать до "Gödel's Puzzling Inсompleteness Proof" включительно к пятнице, 25 апреля. Встречаемся на нашем дискорд-сервере в 21:00 по Москве.Книга в первом комменте.Методы доступа в дискорд

Читаем О математике и качестве её преподавания, Л. С. ПонтрягинСтатья Л. С. Понтрягина — одна из итераций борьбы некоторых наших учёных с иностранным влиянием. В данном случае автора волнует цифр "бурбакизация", якобы насаждаемая в тот период реформой школьного образования, возглавляемой А. Н. Колмогоровым. Если при слове "бурбаки" у вас срабатывает условный рефлекс, и вы уже заочно согласны, то замечу, что не всё так однозначно. А. Б. Сосинский, например, в статье "Умер ли Никола Бурбаки?" пишет, что критика Понтрягина "во многом основана на искажении фактов и порой квасном патриотизме". К тому же, хоть авторитет Льва Семёновича как учёного велик, но заявления вроде "считаю своим долгом вести борьбу с ними [сионистами] как с опасными расистами" сложно игнорировать. Да и история с премией Филдса В. И. Арнольду тоже смущает.В общем, приглашаю найти рациональное в статье.Прочитать статью к пятнице, 28 марта. Встречаемся на нашем дискорд-сервере в 21:00 по Москве.Методы доступа в дискорд

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

А вот и новый формат для Матклуба — соло-выступления! Первым выступит для нас с презентацией xud. Приглашение от автора:Приглашаю вас в увлекательный мир алгебраической теории графов. Графы — это универсальные объекты, используемые для моделирования множества явлений: от социальных сетей до биологических процессов, не говоря о том, что они интересны сами по себе. Достижения в области абстрактной алгебры в XX веке, включая формирование её структуралистского ядра, стали важным этапом в развитии математики. Алгебраическая теория графов применяет мощь алгебры для анализа их структуры. Расскажу о подходе применения теории Галуа к изучению конечных графов. Обсуждение будет проводиться в неформальной и доступной форме, с мотивацией, разъяснением основных определений и их обсуждением, а также с указанием связей с другими областями науки.Собираемся на нашем дискорд-сервере в пятницу, 10 января, 21:00 по Москве.Методы доступа в дискорд: https://t.me/club_math/39