Telegram Group Search
Читаем What Numbers Could not Be, Benacerraf

Мы решили немного попробовать разобраться в структурализме в контексте философии математики. После прочтения статьи на SEP Structuralism in the Philosophy of Mathematics (советую) у меня сложилось впечатление, что это собственно то, чему меня пытались научить в начале моего математического пути. До сих пор помню как Н. А. Вавилов на первых лекциях по алгебре учил нас, что при встрече с новым незнакомым словом не надо думать о том, что это, а надо воспринимать как просто слово. Предлагаю подумать вместе правда ли, что "mathematics is the general study of structures". Начнём с, видимо, центральной статьи в историческом начале дискуссии на эту тему. Бенасерраф расскажет нам почему не стоит начинать обучение детей математике с теории множеств.

Прочитать статью к пятнице, 14 июня. Встречаемся на нашем дискорд-сервере в 19:00 по Москве.

Статья в первом комменте.
Сервер: https://discord.gg/SxBjqVrW37
Читаем Mathematics without Foundations, Putnam

В прошлый раз мы прочитали Бенацеррафа, который рассказал о том, что не получится однозначно определить натуральные числа в терминах множеств и какие у этого последствия. Насколько я понял, Путнам говорит в том же ключе и убеждает, что хоть вопросы оснований сами по себе интересны, но математике основания не нужны.

Прочитать статью к пятнице, 21 июня. Встречаемся на нашем дискорд-сервере в 19:00 по Москве.

Статья в первом комменте.
Сервер: https://discord.gg/sB56VShSy5
Читаем Mathematics as A Science of Patterns: Ontology and Reference, Resnik

Резник утверждает, что он платонист, и указывает на две основные проблемы такого взгляда в философии математики: проблема познания абстрактных объектов и проблема идентификации объектов с точностью до изоморфизма. В этой статье он развивает идею Бенацеррафа и предлагает рассматривать математические объекты как позиции в паттернах, надеясь, что такой подход решит эпистемологические проблемы платонизма.

Прочитать статью к пятнице, 28 июня. Встречаемся на нашем дискорд-сервере в 19:00 по Москве.

Статья в первом втором комменте.
Сервер: https://discord.gg/Pa4az2e7MC
Читаем Mathematics and Reality, Shapiro

В этой статье Шапиро указывает на одну из важных задач философии математики — объяснить, как математика связана с нематематической реальностью. В этом контексте кратко обсудим традиционные философские позиции: платонизм, формализм, логицизм и интуиционизм. Шапиро утверждает, что каждый из этих взглядов в стандартной формулировке либо не даёт ответа вообще на "загадку Вигнера" (формализм), либо оставляет на уровне мистики в лучшем случае (платонизм). Он надеется, что его вариант структурализма лишён этих недостатков. Взгляды Шапиро и Резника похожи. Кажется, что они расходятся только в том, как и возможно ли вообще выбрать адекватное равенство структур.

Прочитать статью к пятнице, 5 июля. Встречаемся на нашем дискорд-сервере в 19:00 по Москве.

Статья в первом комменте.
Сервер: https://discord.gg/Pa4az2e7MC
Начинаем чтение Mathematics without Numbers: Towards a Modal-Structural Interpretation, Hellman

К сожалению, мы не нашли у Хеллмана никакой статьи, в которой он бы высказал свою позицию, поэтому решили попробовать за 3-4 недели прочитать его книгу. Своим главным источником вдохновения он называет статью Путнама "Mathematics without Foundations". Хеллман выделяет Сциллу и Харибду в философии математики: платонизм и конструктивизм. Первый хорош относительно вопросов математических истин, но проблематичен, когда речь идет о математическом знании. Второй же имеет преимущества и недостатки с точностью до наоборот. Хеллман хочет найти позицию, которая будет совмещать основные плюсы противоположных позиций и к тому же избежит их проблем.

Встречаемся на нашем дискорд-сервере в пятницу 12 июля, в 19:00 по Москве, прочитать главу "1. The Natural Numbers and Analysis".

Книга в первом комменте.
Сервер: https://discord.gg/Pa4az2e7MC
Всем привет! Сегодня без новых чтений, но думаю, что многим тема будет полезна.

Много раз уже видел сокрушения по поводу того, что у нас что-нибудь в очередной раз читается на английском. Во-первых, к сожалению, много интересных книг и статей написаны только на английском. Да, есть какие-то книги и какие-то статьи на русском, но это обычно что-то относительно устаревшее. Плюс, это совсем разные вещи прочитать культовую статью в оригинале или в переводе. Во-вторых, считаю, что читать на английском, вообще говоря, сегодня может почти любой человек. Особенно если мы говорим про специальную область типа математики. Я большую часть жизни не изучал английский систематически, а просто смотрел видео на ютубе и разбирал какие-то документации, что в итоге оказалось достаточным для чтения учебников и статей по математике. Так что навык чтения на иностранном языке по-моему достаточно независим и от знания грамматики, и от умения говорить.

С другой стороны, эта же независимость может сыграть в обратную сторону, когда внезапно понадобится всё-таки говорить или хотя бы писать. Если со второй необходимостью можно попросить исправить ChatGPT, то говорить с людьми пока с помощью компутера крайне неудобно. Поэтому последние пару месяцев я занимаюсь английским с прекрасной Сонечкой. Уже больше года мы с ней знакомы, но только совсем недавно я обнаружил насколько она хороша в английском и в преподавании. Хотя, конечно, странно ожидать иного от отличницы, победительницы олимпиад и филологини с красным дипломом. В общем, если вы искали с кем бы поучить английский, то рекомендую написать Сонечке.

Телеграм: @turbodispanzer541
Дискорд: seisanisdead
Вк: https://vk.com/krsak
Матклуб pinned «Всем привет! Сегодня без новых чтений, но думаю, что многим тема будет полезна. Много раз уже видел сокрушения по поводу того, что у нас что-нибудь в очередной раз читается на английском. Во-первых, к сожалению, много интересных книг и статей написаны только…»
Читаем Современная модальная логика: между математикой и информатикой, И.Б. Шапировский, В.Б. Шехтман

Думаю, стоит нам немного отдохнуть от философии и заняться чем-то более приземлённым. Предлагаю прочитать обзор современного состояния исследований в модальной логике от крупных специалистов в ней. По-хорошему, конечно, надо было бы эту статью читать до книги Хеллмана, но как уж получилось. Зато теперь чтение будет мотивированное!

Прочитать статью к пятнице, 9 августа. Встречаемся на нашем дискорд-сервере в 19:00 по Москве.

Статья в первом комменте.
Сервер: https://discord.gg/Pa4az2e7MC
Читаем What is a Reciprocity Law?, Wyman

В качестве продолжения нашего отдыха от структурализма давайте отвлечёмся в этот раз даже на математику и попробуем понять, что такое общий закон взаимности или чем он должен быть.

Прочитать статью к пятнице, 16 августа. Встречаемся на нашем дискорд-сервере в 19:00 по Москве.

Статья в первом комменте.
Сервер: https://discord.gg/Pa4az2e7MC
Начинаем чтение Modern Algebra and the Rise of Mathematical Structures, Corry

Возвращаемся к разговору о структурах в математике, и теперь предлагаю вместе с Корри проследить историю алгебраических структур. В первой части обсудим, что такое структурный подход на примере развития теории идеалов от Дедекинда до Нётер. Во второй части посмотрим на три наиболее влиятельные попытки сформулировать теорию математических структур. Начнём с менее известной работы Ойстина Оре, в которой алгебраическая структура определялась на основе идей теории решёток. Дальше обсудим Бурбаки. Вероятно, большинство ассоциирует идею структур в математике именно с их работой. Закончим, конечно же, теорией категорий — самым подробным и успешным примером теории, которая позволяет систематически анализировать различные структуры.

Встречаемся на нашем дискорд-сервере в субботу, 24 августа, 18:00 по Москве, прочитать "Introduction: Structures In Mathematics".

Книга в первом комменте.
Сервер: https://discord.gg/Pa4az2e7MC
Читаем What is good mathematics?, Tao

Теренс Тао пытается определить по каким критериям мы могли бы считать математику хорошей. Иллюстрирует свои рассуждения историей вокруг теоремы Семереди.

Прочитать статью к пятнице, 20 сентября. Встречаемся на нашем дискорд-сервере в 19:00 по Москве.

Статья в первом комменте.
Сервер: https://discord.gg/Pa4az2e7MC
Читаем Архитектура математики, Бурбаки

Наверное, это самый известный труд Бурбаки. Однако исследователи утверждают, что написан в основном самостоятельно Жаном Дьёдонне. Статья оказала огромное влияние на современников, но во многом в рассуждении о математике или математиках повторяет идеи Гильберта из его списка открытых проблем начала 20 века. Также метафора о Вавилонской башне встречается ещё у Феликса Кляйна в его лекциях по истории математики XIX века, датированных 1926 годом. В статье вводятся фундаментальные структуры математики — "материнские" структуры, а именно алгебраические, упорядоченные и топологические, но в "Началах математики" они почти не играют никакой существенной роли. В общем, приглашаю разобраться, представляет ли статья интерес помимо исторического.

Прочитать статью к пятнице, 18 октября. Встречаемся на нашем дискорд-сервере в 19:00 по Москве.

Статья в первом комменте.
Сервер: https://discord.gg/Pa4az2e7MC
Так, так, так... Ага, без дела сидите, неприкаянные. А проявите-ка гражданскую сознательность и проголосуйте, так сказать, без задней мысли. На что влияет — не скажу 😳 На задних-то рядах уже всё поняли. Закончим 5 ноября.
Final Results
46%
Chagrov A., Zakharyaschev M., Modal Logic
54%
Burris S., Sankappanavar H., A Course in Universal Algebra
Начинаем чтение A Course in Universal Algebra, Burris S., Sankappanavar H.

Замечали ли вы когда-нибудь, что основные теоремы алгебраических теорий — это структурные теоремы о классификации? Может быть, это вообще основной вопрос алгебры: как сложные модели алгебраических структур раскладываются на простые? Может быть, самые фундаментальные теоремы мы получим, если будем смотреть на отношения структуры к её подструктурам? Тем более таким образом часто возникают решётки... С примерно такой мотивацией Ойстин Оре начинал развивать свою теорию структур в 1930х и его работы оказали влияние на развитие универсальной алгебры, наряду с Гарретом Биркгофом и Анатолием Мальцевым. Приглашаю разобраться, что может предложить универсальная алгебра и почему она остается важной даже в свете развития теории категорий.

Встречаемся на нашем дискорд-сервере в субботу, 9 ноября, 19:00 по Москве, прочитать Preface и Preliminaries.

Книга в первом комменте.
Сервер: https://discord.gg/Pa4az2e7MC
Начинаем чтение Modal Logic, Chagrov A., Zakharyaschev M.

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

Встречаемся на нашем дискорд-сервере в воскресение, 8 декабря, 19:00 по Москве, прочитать Preface.

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

1. Самый популярный вариант (заслуженно!) — это zapret как оригинальный, так и сборка zapret-discord-youtube. Не то чтобы сложный вариант, но как минимум придётся идти на гитхаб. Плюсы: дискорд работает полностью, ютуб тем же способом можно включить. Работает иначе чем впн, что тоже для кого-то может быть плюсом. Минусы: единожды видел как у человека пропадала возможность донести свои слова в войсе — слышит, но остальные его нет. Решается или рестартом zapret'а, или сменой канала.

2. Самый редкий способ — бесплатный впн. Только один человек признался, что пользуется им, а именно @free_vpn_amnezia_bot. Из плюсов: бесплатно, войс и чат работают. Из минусов: это впн, который надо включать\выключать, с понятными ограничениями, например, картинки и файлы благополучно не отправляются.

3. Чуть более распространённый способ — платный впн. Тут вариантов уйма на любой вкус и можно самим подобрать, но мне сообщали, что пользуются этими: @hitvpnbot, kaspersky. Здесь всё просто: минус - платно, плюс - дискорд работает. Пишут, что у hitvpn одно устройство стоит 100 рублей в месяц. Звучит посильно.

Если вы знаете другие возможности обойти блокировку или хотите что-то спросить или дополнить, то у нас есть чат в тг www.group-telegram.com/mathclub_chat_official. Да и на будущее не помешает. Мало ли какие ещё будут проблемы с дискордом.
Матклуб pinned «Всем привет! Говорят, что в России проблемы с доступом к дискорду. Для Матклуба это, кажется, не сильно сказалось на онлайне, поэтому никаких переездов не планируется. Однако, если вы вдруг из тех, кто отсеивается на требовании "уверенный пользователь пк"…»
Всем привет! Давайте подведём итоги деятельности Матклуба за год.

Итак, идеальный человек, не пропустивший ни одного чтения, мог бы в 2024 году вместе с Матклубом прочитать 1643 страницы! Это неполных 7 книг и полных 13 статей. Наш герой получил бы основательное введение в аксиоматическую теорию множеств, общую топологию, теорию категорий, философию и историю структурализма в математике. В последние пару месяцев он ломал бы голову в универсальной алгебре и модальной логике. Вот ещё интересные числа:
- в среднем на неделю нагрузка была 32 страницы;
- самое долгое чтение продлилось 8 месяцев, самое короткое (исключая статьи) — 1 месяц;
- медиана прочитанности книг у завершённых чтений составила 79% с минимумом в 44%;
- список планируемых к чтению книг и статей вырос на 24 пункта.

С одной стороны, идеальных людей мы пока не встретили. С другой стороны, надо уточнить, что в Матклубе среди активных участников чтений нет ни одного человека, который бы занимался только этим. Многие являются студентами не самых простых вузов, некоторые имеют фулл-тайм работу. Безусловно, количество страниц не всегда отражает глубину понимания, однако никто ещё не пожалел, что прочитал дополнительные 30 страниц хорошего текста. В общем, если ваши результаты значительно скромнее, то можно было лучше.

Что касается планов на следующий год, то, по моему мнению, не надо гнаться за наращиванием объёмов. Хотелось бы поднять минимум прочитанности, а в остальном процесс чтения хорошо сбалансирован. К тому же, по секрету: сейчас готовится новый формат встреч для Матклуба, так что следите за анонсами.

А пожелания вам на Новый год у нас не изменятся: ясных целей и постоянства намерений! Цели мы вам не придумаем, но если так получится, что они совпадут с нашими, то постоянство мы вам гарантируем.
Матклуб pinned «Всем привет! Давайте подведём итоги деятельности Матклуба за год. Итак, идеальный человек, не пропустивший ни одного чтения, мог бы в 2024 году вместе с Матклубом прочитать 1643 страницы! Это неполных 7 книг и полных 13 статей. Наш герой получил бы основательное…»
А вот и новый формат для Матклуба — соло-выступления! Первым выступит для нас с презентацией xud. Приглашение от автора:

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

Собираемся на нашем дискорд-сервере в пятницу, 10 января, 21:00 по Москве.

Сервер: https://discord.gg/Pa4az2e7MC
Методы доступа в дискорд: https://www.group-telegram.com/club_math.com/39
2025/01/11 09:22:33
Back to Top
HTML Embed Code: