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

В осеннем семестре 2026 г. в Научно-образовательном центре Математического института им. В. А. Стеклова РАН (ул. Губкина, 8) будут читаться следующие курсы по математической логике и смежным темам:

✏Алгоритмические вопросы алгебры — д. ф.-м. н. И. Г. Лысенок, понедельник, 18:15, ауд. 104, первая лекция 14 сентября
✏Топосы и логика — д. ф.-м. н. В. Б. Шехтман, к. ф.-м. н. Д. С. Шамканов, вторник, 16:00, ауд. 530, первая лекция 15 сентября
✏Комбинаторика слов и переписывающие системы — асп. Т. Г. Пшеницын, к. ф.-м. н. А. Л. Таламбуца, пятница, 16:00, ауд. 430, первая лекция 18 сентября [лекции 18.09, 25.09 и 02.10 пройдут в ауд. 530]

Продолжают работу семинары:
✏Logic Online Seminar / «Теория доказательств» (рук. Л. Д. Беклемишев, С. Л. Кузнецов, С. О. Сперанский),
✏Рабочий семинар по математической логике (рук. С. Л. Кузнецов, С. О. Сперанский)
✏семинар «Геометрическая теория групп» (рук. И. Г. Лысенок, А. Л. Таламбуца).

❗В связи с ремонтом в здании Математического института возможен временный перенос занятий НОЦ в другие аудитории! Следите за информацией на страницах курсов и семинаров НОЦ.

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

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

Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)

14 September, 18:30 MSK (17:30 Paris time)

Nikolay Vereshchagin will continue his talk about tilings and the Goodman-Strauss theorem.

Видеозапись семинара 7 сентября: https://youtu.be/AVWn2w5xioE
Что такое подстановки и подстановочные замощения. Давние мечты о локальных правилах (возможно, в большем алфавите), порождающих все иерархические замощения или хотя бы их часть.

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

Возобновляет работу семинар им. В.А. Успенского "Некоторые применения математических методов в языкознании"!

Обратите внимание на новое время семинара: он будет проходить по вторникам в 18:00.

Во вторник 15 сентября в Институте языкознания РАН (с возможностью подключения онлайн) состоится доклад Н. В. Лукашевич "Предвзятость в LLM: национальности и государства".

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

Анонс:
Проблема предвзятости больших языковых моделей достаточно хорошо известна.
Выделяют большое количество разных типов предвзятостей, для преодоления которых используется специальная процедура дообучения — alignment. В докладе будет рассмотрен тип предвзятости, который относительно менее известен — предвзятость по отношению к странам и народам. Мы рассмотрим метод построения модели, которая выявляет предвзятость (guard model), а также подход к дообучению моделей для снижения выявленной предвзятости.

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

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

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

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

Д.С. Трофимов (МГУ)

О доказательственной интерпретации монотонной логики Гёделя–Лёба

Аннотация:

Недавно В.И. Данилов обнаружил неожиданные связи между структурами, возникающими в математической экономике, и монотонными окрестностными шкалами, на которых общезначима аксиома Лёба: $\Box (\Box p \to p) \to \Box p$. Это привело к формулировке монотонного варианта логики $GL$, в котором аксиома нормальности заменена на более слабое правило монотонности. Соответствующая логика, обозначаемая через $mGL$, в дальнейшем изучалась Л.Д. Беклемишевым, В.И. Даниловым и Д.С. Шамкановым. В частности, Л.Д. Беклемишев предложил интерпретировать выражение $\Box \varphi$ над этой логикой как утверждение о доказуемости $\varphi$ в хотя бы одной из нескольких фиксированных арифметических теорий [см. https://www.mathnet.ru/rus/present50573]. Автором доклада доказано, что: 1) $mGL$ аксиоматизирует логику распределенной доказуемости для счётного числа независимых модальностей, удовлетворяющих аксиомам $GL$; 2) логика, отвечающая нескольким перечислимым предикатам доказуемости, оказывается строго более сильной, чем $mGL$. Кроме того, получена аксиоматизация для случая неограниченного числа предикатов доказуемости, а также установлена разрешимость соответствующего расширения $mGL$.

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

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

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

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

Докладчики: И.Горбунов, М.Рыбаков

Название: Минимальная вполне-определённая логика и её теории.

Аннотация:

Понятие вполне-определённой логики (well-determined logic) было введено Р.Вуйцицким. Так он назвал логики, которые обладают слабым дедуктивным свойством (т.е. для них выполняется слабая теорема о дедукции) и свойством конъюнкции. Слабая теорема о дедукции заключается в том, что каждой секвенции логики сопоставлена некоторая её тавтология специального вида. Вполне-определёнными логиками являются, например, все суперинтуиционистские логики.

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

В ходе исследований вполне-определённых логик в сигнатуре {∧, →} авторами были получены следующие результаты:
👉найден эффективный критерий дедуктивности множества формул;
👉найдена аксиоматика минимальной вполне-определённой логики W;
👉построена характеристическая семантика логики W;
👉доказано, что множество тавтологий логики W не является ни табличным, ни локально табличным, но обладает свойством конечных моделей;
👉доказана полиномиальная разрешимость множества тавтологий логики W;
👉описана сложность конечно аксиоматизируемых теорий логики W.

Нами также рассматривались некоторые расширения минимальной вполне-определённой логики в той же сигнатуре. В частности, исследовалась минимальная вполне-определённая логика с сильным дедуктивным свойством. Доказано, что множество её тавтологий совпадает с конъюнктивно-импликативным фрагментом тавтологии интуиционистской логики.

Эти вопросы и будут затронуты в докладе.

Международная конференция «Формальная философия 2026»

«Формальная философия» – ежегодная международная конференция, которую организует Международная лаборатория логики, лингвистики и формальной философии. В 2026 конференция пройдет в 9-й раз (о прошедших конференциях). Конференция посвящена обсуждению проблематики философской логики, формальной эпистемологии, эпистемической логики, формальной онтологии, аналитической метафизики,  философии логики, математической логики, филоcофии математики, а также другим аспектам формальной философии. 

Даты конференции: с 27 по 30 октября 2026

Место проведения: г. Москва, ул. Старая Басманная,  д. 21/4, А-307  +  Zoom

Формат: гибридный (возможно как очное, так и дистанционное участие)

Рабочие языки: русский и английский  

Важные даты:
05.10.2026 - прием заявок
27.10.2026 - начало конференции
30.10.2026 - окончание конференции

Подробнее с информацией о конференции можно ознакомиться на сайте.

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

Семинар отдела математической логики МИАН, 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