#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 21 сентября 16:00 MSK (UTC+3), Kontur Talk (онлайн-заседание)

Н.А. Баженов (Nanyang Technological University, https://dr.ntu.edu.sg/entities/person/Nikolay-Bazhenov)

О степенях Вайрауха для проблем эффективной категоричности

Аннотация:

Исследования эффективной категоричности вычислимых структур восходят к работам А.И. Мальцева. Для данной тьюринговой степени d говорят, что вычислимая структура S является d-вычислимо категоричной, если для любой вычислимой изоморфной копии A структуры S существует d-вычислимый изоморфизм, действующий из A на S. Спектр категоричности структуры S состоит из всех степеней d, таких что структура S d-вычислимо категорична. В докладе будет представлен подход к изучению спектров категоричности, основанный на сводимости по Вайрауху (являющейся одним из стандартных инструментов современного вычислимого анализа).

Доклад основан на совместной работе с J. Jacobsen-Grocott, L. Ko, H.T. Koh и K.M. Ng.

#матлог #учёба #спецсеминар

23 сентября 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского.

Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533

Станислав Сперанский (МИАН, https://www.mathnet.ru/rus/person/71546)

О сложности теории безатомных конечно-аддитивных вероятностных пространств

Аннотация:

Пусть L — элементарный язык вероятностных пространств, содержащий переменные по событиям и переменные по вещественным числам; см. подробности тут (https://homepage.mi-ras.ru/~speranski/files/preprints/speranski-2024-igpl-a.pdf). Известно, что любые два безатомных (счётно-аддитивных) вероятностных пространства имеют одну и ту же L-теорию; более того, соответствующая теория (совпадающая с L-теорией пространства Лебега на отрезке [0, 1]) алгоритмически разрешима. Мы обсудим вычислительные аспекты понятия безатомности при переходе к «слабым» вероятностным пространствам, в которых меры подразумеваются конечно-аддитивными, но не обязательно счётно-аддитивными.

Рассказ будет ориентирован на студенческую аудиторию; используемые понятия будут пояснены в ходе доклада.

#матлог #спецсеминар #не_мехмат #МФТИ

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.

Семинар пройдет в среду 23 сентября в 14:00.

Адрес:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com.

Докладчик: Вадим Миллер

Название: Об аксиоматизируемости некоторых свойств топологий Зарисского

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

23 сентября в 18:10 состоится заседание научно-исследовательского семинара «С логической точки зрения».

Тема доклада: Эпистемические модели вопросов и ответов

Докладчик: Юрий Казаков (стажер-исследователь МЛ ЛогЛинФФ)

Аннотация: Доклад посвящён исследованию формальных репрезентаций вопросительных конструкций. В работе обосновывается возможность переосмысления императивно-эпистемического подхода Я. Хинтикки и Л. Оквиста средствами современной эпистемической логики. Исходя из этой предпосылки, предлагается авторская логическая система SQDL, представляющая собой расширение стандартной эпистемической логики (EL) оператором вопроса. Данный оператор формализует публичную постановку вопроса одним агентом с целью получения ответа от другого. Разрабатываемая система опирается на аппарат логики DELq Й. ван Бентема и Ш. Миникэ, однако свободна от избыточной формальной сложности и задаёт удобный базис для переноса на более широкие классы контекстов и типов вопросов.

‎Кроме того, в докладе представлен альтернативный вектор исследований семантики вопросов — инквизитивная логика, базирующаяся на семантике команд (team semantics). Рассматривается возможность использования данного класса систем, обогащённого динамическими модальностями, в качестве инструмента для дальнейшего развития императивно-эпистемического подхода.

Ждём вас в кабинете А-117 или в Zoom!

Анонс и регистрация: https://llfp.hse.ru/announcements/1202359566.html

#матлог #учёба #просеминар

💥В пятницу 25 сентября возобновляется работа просеминара по математической логике и информатике!

✨Тема: "Исчисление секвенций для логики высказываний" (А.А.Оноприенко).
✨Аннотация. Исчисления секвенций являются базовым инструментом теории доказательств. На примере классической логики высказываний мы покажем, как исчисления секвенций помогают прояснить устройство интересующих нас дедуктивных систем и получить альтернативные доказательства теорем о полноте.
✨Можно заранее порешать задачи.

✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 426 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти в группе кафедры ВК или в телеграм-канале по хештегу #просеминар

#матлог #учёба #семинар #не_мехмат #ВШЭ

Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.

Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 427 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.

Дата и время: 25.09.2026 в 16:20

Докладчик: Кудинов Андрей

Название доклада:
Модальная логика: базовые сведения

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

Мы расскажем про семантику Крипке, которая чаще всего используется для модальной логики. Сформулируем теорему о полноте для нее. Поговорим про разрешимость модальной логики, которая выгодно отличает ее от логики предикатов.

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

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 28 сентября 16:00 MSK (UTC+3), ауд. 313 МИАН + Kontur Talk

28.09.2026 Мати Рейнович Пентус (мехмат МГУ):
Сети доказательства для мультипликативной некоммутативной линейной логики без констант (очный доклад)

Рассматривается бесконстантный мультипликативный фрагмент некоммутативной линейной логики. Для этого фрагмента известен критерий выводимости в терминах сетей доказательства с областями. Такую сеть доказательства можно определить как биективный ациклический каркас доказательства. Каркасом доказательства (proof structure) является плоский граф, образованный деревом разбора формулы и аксиомными рёбрами, а сеть доказательства (proof net) — это каркас доказательства, удовлетворяющий дополнительным аксиомам.

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

#матлог #спецсеминар #нпммвя

Во вторник 29 сентября на семинаре «Некоторые применения математических методов в языкознании» им. В. А. Успенского состоится доклад С. Л. Кузнецова (МИАН) "Алгоритмы для грамматик Ламбека и их расширений".

Время: 29 сентября, 18:00-19:30.
Место: Институт языкознания РАН, Большой Кисловский пер., 1, стр. 1, конференц-зал. Для прохода необходимо зарегистрироваться по ссылке ниже и взять с собой паспорт.
Ссылка для регистрации: https://forms.gle/gTTJR4XoHoRczxRcA
(все зарегистрировавшиеся получат ссылку для онлайн-подключения)

Анонс:
Категориальные грамматики Ламбека представляют собой один из формализмов для задания синтаксиса и формальной семантики естественного языка. Из-за ограничений, присущих грамматикам Ламбека, рассматриваются также их расширения и модификации. При этом важным свойством таких расширений является его алгоритмическая разрешимость: должен существовать алгоритм, проверяющий принадлежность слова задаваемому грамматикой языку, и желательно, чтобы этот алгоритм работал относительно быстро. В докладе будет приведено несколько естественных расширений грамматик Ламбека, для которых задача принадлежности перестаёт быть алгоритмически разрешимой, и показано, как вернуть разрешимость, вводя ограничения на эти расширения. Речь пойдёт о грамматиках сr добавлением аксиом, с итерацией Клини и с комбинацией субэкспоненциальной модальности и управляемой неассоциативности. В изложении большее внимание будет уделяться содержательным примерам, чем детальным математическим доказательствам (на которые будут даны ссылки).

Страница семинара: http://tipl.philol.msu.ru/index.php/science/seminars/npmmvia

🤖 PRO&CONTRA 2026: генеративный ИИ в математическом исследовании

Механико-математический факультет МГУ приглашает на Международную научно-практическую конференцию «Применение генеративного искусственного интеллекта PRO&CONTRA 2026».

🤖 11–14 ноября 2026 года
🤖 Гибридный формат: очно в Москве, Иваново и Томске + онлайн-трансляция
🤖 13 ноября на механико-математическом факультете МГУ имени М.В.Ломоносова пройдет секция «Интеллектуальные инструменты в математическом исследовании»

Для кого: исследователи, молодые ученые, преподаватели, EdTech-специалисты, представители бизнеса и госструктур.

🤖 Участие бесплатное, нужна регистрация.
🤖 Для доклада — аннотация (900–1500 символов) и ключевые слова (4–8).
🤖 Подробности и регистрация: https://gai-procontra.ai/

#МГУ #МехматМГУ #ИскусственныйИнтеллект #ГенеративныйИИ #Наука #Конференция #Математика #PROCONTRA2026

#матлог #учёба #спецсеминар

30 сентября 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского.

Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533

Н.А. Андрусов (НИУ ВШЭ)

Неразрешимость проблемы гомеоморфности многообразий

Аннотация:

Будет представлен результат из работы А.А. Маркова [3] по её современному изложению В.П. Лескина и А.В. Чернавского [4], посвящённой неразрешимости проблемы гомеоморфности многообразий. Основное утверждение заключается в следующем: для любого натурального n, начиная с 4, существует n-мерное топологическое многообразие, проблема распознаваемости которого алгоритмически неразрешима. Ключевая идея доказательства состоит в том, чтобы, перейдя от многообразия к его фундаментальной группе, свести задачу распознавания определённым образом сконструированного многообразия к задаче распознавания тривиальной группы среди конечно-порождённых конечно-представленных групп. Неразрешимость этой задачи доказал С.И. Адян в работе [1].

Рассказ планируется в двух частях. Сначала будет кратко неформально объяснена конструкция нераспознаваемого многообразия Маркова. Затем будут введены все необходимые понятия из комбинаторной топологии, а также рассказана конструкция Адяна в необходимой для дальнейшего применения модификации. Во второй части будет подробное описание конструкции соответствующего многообразия, доказательство основной теоремы из работы Маркова [3], а также без доказательства обзор дальнейших результатов в этой области: работы С.П. Новикова [2] о нераспознаваемости пятимерной сферы и следствие о нераспознаваемости любого многообразия размерности хотя бы 5.

Некоторая литература:

[1] С.И. Адян. Алгоритмическая неразрешимость проблем распознавания некоторых свойств групп. Доклады АН СССР 103(4), 533–535, 1955

[2] И.А. Володин, В.Е. Кузнецов, А.Т. Фоменко. О проблеме алгоритмического распознавания стандартной трёхмерной сферы. УМН 29(5), 71–168, 1974. — см. раздел 10 (С.П. Новиков)
https://www.mathnet.ru/rus/rm4417

[3] А.А. Марков. Неразрешимость проблемы гомеоморфии. УМН 13(4), 213–216, 1958.
https://www.mathnet.ru/rus/rm7462

[4] A.V. Chernavsky, V.P. Leksine. Unrecognizability of manifolds. Annals of Pure and Applied Logic 141(3), 325–335, 2006.
https://doi.org/10.1016/j.apal.2005.12.011