Telegram Group Search
Читаем Why Philosophers Should Care About Computational Complexity, Aaronson

Статья о том, почему разница между полиномиальным временем и экспоненциальным может быть важна в контексте различных философских проблем.

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

Статья в первом комменте.
Сервер: https://discord.gg/FbWdZKJ8DS
Привет! Сегодня у Матклуба день рождения! В этом году многое произошло: у нас появился свой собственный сервер в дискорде, тг-канал, прочитали много статей и книг, присоединилось к нам много крутых математиков, логиков и философов. В итоге наше комунити выросло в 3 раза! Всем спасибо за участие в чтениях. Надеюсь, что всё больше людей будут заниматься математикой с нами.

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

Может кто-нибудь не в курсе, вот наши ссылки:
- Собственно сервер в дискорде
- Репозиторий на гитхабе
- Библиотека на гугл-драйве
Читаем 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/12/23 17:59:34
Back to Top
HTML Embed Code: