Кафедра математической логики и теории алгоритмов мехмата МГУ

#матлог #наука #конференция Международная конференция «Novikov-125», посвящённая 125-летию со дня рождения П.С. Новикова, пройдёт с 24 по 28 августа 2026 г. в Математическом институте им. В.А. Стеклова Российской академии наук (Москва, ул. Губкина, д. 8). «Новиков-125» — это конференция, посвящённая 125-летию со дня рождения Петра Сергеевича Новикова, который известен своим выдающимся вкладом в алгебру, дескриптивную теорию множеств и теорию доказательств, а также является одним из основателей Московской школы математической логики. Конференция будет покрывать широкий спектр тем в области теории множеств, теории доказательств, алгебры, алгоритмических проблем и теории вычислимости. Программа будет состоять из приглашённых докладов, включая три пленарных исторических доклада, посвящённых работам П.С. Новикова. Страница конференции. Просьба ко всем потенциальным участникам заполнить регистрационную форму (в том числе для участия без доклада). Онлайн-участие возможно.

#матлог #наука #конференция Срок подачи заявок на участие с докладом на Молодёжном коллоквиуме по математической логике и её приложениям продлён до 9 августа! Информация о коллоквиуме в посте. Ссылка для регистрации: https://forms.yandex.ru/u/69c699d5902902d410ad120b

#матлог #наука #конференция 💥Напоминаю о Молодёжном коллоквиуме. По сравнению с предыдущим объявлением, в программу добавлен мини-курс А.А. Разборова «Теория сложности доказательств». Молодёжный коллоквиум по математической логике и её приложениям (31 августа–4 сентября 2026 г., МИАН, Москва, ул. Губкина, 8, www.mathnet.ru/conf2744) 🧠Цель коллоквиума — познакомить молодых исследователей, включая студентов и аспирантов, с перспективными направлениями развития математической логики и предоставить им возможность выступить с докладами по результатам своих исследований. Параллельно с выступлениями молодых исследователей в рамках коллоквиума планируется чтение нескольких мини-курсов (по 2–3 лекции каждый), ориентированных на широкую аудиторию: ⚡Искандер Шагитович Калимуллин (КФУ, https://kpfu.ru/Iskander.Kalimullin): Теорема рекурсии и критерии полноты ⚡Александр Александрович Разборов (МИАН, U. Chicago, https://www.mathnet.ru/rus/person8770): Теория сложности доказательств ⚡Алексей Леонидович Таламбуца (МИАН, https://www.mathnet.ru/person/20324): Алгоритмические проблемы для матричных полугрупп ⚡Валентин Борисович Шехтман (МФТИ, https://www.mathnet.ru/person/37158): Семантики модальных предикатных логик К участию с докладом приглашаются молодые исследователи, в том числе студенты и аспиранты, при соблюдении следующих условий: 👉 возраст докладчика на момент начала коллоквиума — до 39 лет включительно; 👉 очный доклад (вместе с тем онлайн-участие без доклада будет возможно); 👉 тезисы доклада должны быть оформлены в соответствии с прилагаемым шаблоном (https://disk.yandex.ru/d/Jc8n3g_vF3tEng), иметь объём от одной до двух страниц, включая список литературы, и содержать ясную формулировку основных результатов. ✅Для подачи тезисов просьба использовать регистрационную форму (https://forms.yandex.ru/u/69c699d5902902d410ad120b). Решение о принятии или отклонении тезисов принимает оргкомитет. Допускаются доклады по работам в соавторстве при условии, что очный докладчик удовлетворяет условию 1 выше. Участвовать без доклада могут все желающие, как очно, так и дистанционно; онлайн-подключение планируется организовать через Контур.Толк. ‼Важнейшие даты регистрация на участие с докладом — не позднее 01.08.2026 регистрация на участие без доклада — не позднее 26.08.2026 даты проведения: c 31.08.2026 по 04.09.2026 Решения о принятии или отклонении тезисов принимаются в течение 10 рабочих дней с момента подачи.

#матлог #спецсеминар #не_мехмат #МФТИ Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ). Страница семинара: www.mathnet.ru/rus/conf2559. Семинар пройдет в среду 24 июня в 14:00. Адрес: МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный. Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com. Докладчик: О.В. Сипачёва Название: Ультрафильтры в топологической алгебре и общей топологии Аннотация. Будет представлен обзор некоторых вопросов топологической алгебры и общей топологии, в которых естественно возникают ультрафильтры, за период с 1955 по 2026 г. К числу таких вопросов относятся существование однородных компактов без сходящихся последовательностей, максимальные топологические пространства, существование максимальных и экстремально несвязных топологических групп, существование совместимых с операциями недискретных топологий на бесконечных группах, существование незамкнутых дискретных множеств в топологических группах и факторизация непрерывных отображений топологических пространств (групп) через непрерывные отображения (гомоморфизмы) в пространства (группы) со счётной базой. Многие рассматриваемые проблемы либо не решены, либо решены не до конца, и для продвижения в их решении весьма желательно доказательство существования или несуществования ультрафильтров со специальными свойствами. Для понимания доклада не требуется никаких специальных знаний.

#матлог #ВШЭ #конференция Приглашаем вас на Однодневный семинар по математической логике, который пройдет 29 июня с 11:00 до 18:00. На семинаре планируем заслушать несколько коротких докладов, отражающих прикладные аспекты математической логики в Computer Science и смежных науках. Сейчас математическая логика имеет всё больше приложений "в жизни": пруверы (системы автоматических доказательств); лямбда-исчисление, ставшее основой для функционального программирования; изучение естественных языков при помощи исчисления Ламбека; модальные логики используются для представления знаний и многое другое. Семинар пройдет по адресу Покровский бульвар 11, аудитория R503. Программа семинара будет уточняться: https://cs.hse.ru/big-data/seminatfknlogic26 Регистрация: https://cs.hse.ru/big-data/polls/1050612121.html

#матлог #спецсеминар #не_мехмат #МФТИ Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ). Страница семинара: www.mathnet.ru/rus/conf2559. Семинар пройдет в среду 10 июня в 14:00. Адрес: МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный. Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com. Докладчик: С.М. Дудаков (ТвГУ, ВШЭ) Название: Об определимости в 3-дереве Аннотация. Мы рассматриваем решётку определимости теории 3-дерева, то есть (бесконечного) неориентированного дерева, все вершины которого имеют степень 3. Единственным сигнатурным символом является двухместный предикат E, означающий наличие ребра. Рассматривается множество определимых в этой теории предикатов. Если предикат A может быть быть определён через предикат B, то предикат B можно рассматривать как «более выразительный». Это отношение «быть более выразительным» является предпорядком, поэтому профакторизовав его, мы получим отношение частичного порядка на классах предикатов, каждый из которых состоит из определимых друг через друга предикатов. Наш основной результат — для теории 3-дерева этот частичный порядок состоит всего из трёх элементов, соответствующих отношению равенства, отношению «находиться на расстоянии 2» и собственно отношению E, то есть исходному предикату.

10 июня в 18:10 состоится заседание теоретического семинара «Формальная философия». Тема доклада: Расплывчатость и смутность в пространстве научного поиска: объективные предпосылки и субъективный опыт переживания. Докладчик: А.Н. Поддьяков (НИУ ВШЭ). Аннотация: Рассматривается роль неясных идей, понятий, образов, метафор в математике и естественно-научных областях. Обсуждается осмысление исследователями своих неясных и смутных идей (понятий, образов, метафор), возникающих в ходе научного поиска. Представлены два авторских автобиографических примера развития изначально не вполне ясных идей в области: а) этики; б) математики. Второй пример подтвержден историей публикаций с 2021 по 2026 г. с наблюдаемой пульсацией ясности и неясности развивающихся идей. Обсуждается динамика ясных и неясных знаний детей при столкновении с чем-то необычным на первых онтогенетических этапах развития мышления, исследовательского поведения и любознательности как источник значимых автобиографических воспоминаний взрослых исследователей (маленький Эйнштейн и компас - самый известный, но не единственный пример). _____________________ Ждём вас в кабинете А-117 или в Zoom! Анонс и регистрация: https://llfp.hse.ru/announcements/1166726837.html

#матлог #учёба #семинар #не_мехмат #ВШЭ Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ. Семинар пройдет ОНЛАЙН! В аудитории 110 (ул. Усачева, д. 6) будет организована трансляция. Если вам нужна ссылка или пропуск в здание матфака, пишите на почту kudinov.andrey@gmail.com. Дата и время: 05.06.2026 в 16:20 Докладчик: Игорь Почепчов Название доклада: Формальные доказательства — Lean как инфраструктура исследований Аннотация: Один из самых интересных сдвигов последних лет в математике — превращение Lean из нишевого инструмента в реальную инфраструктуру исследований. Lean — это интерактивный пруфассистент: язык программирования, в котором доказательство проверяется до уровня аксиом, и если код скомпилировался — теорема верна. За два года в области произошёл качественный скачок. Полиномиальная гипотеза Фреймана–Рузы (Тао, Гауэрс, Грин, Манерс) была формализована за 23 дня силами Blueprint-проекта. AlphaProof от DeepMind взял серебро IMO 2024, доказывая задачи на Lean — все шаги верифицированы компилятором. На докладе разберём, что такое Lean, посмотрим на примеры исследований с его использованием и обсудим идею автоматической формализации научных статей.

#матлог #учёба #спецсеминар #не_мехмат #МИАН We plan the next Proof Society Seminar talk on June 8 (at 13:00 UTC = 15:00 CEST = 16:00 MSK). Site: https://www.proofsociety.org/proof-society-seminar/ Speaker: Andreas Weiermann, University of Ghent Title: Logical limit laws and analytic combinatorics for the proof-theoretic ordinal of PA Abstract: Given a sentence S from the first order (or monadic second order) language of linear orders one might ask what the probability is that S is true on the linear order determined by a randomly chosen ordinal below the proof-theoretic ordinal of PA. Here the notion of randomness is modeled in terms of asymptotic density or averaged asymptotic density. These densities are tied to counting questions for ordinals which are amenable to analytic combinatorics. In this talk we will discuss some older results which have been obtained jointly with Alan Woods and we also cover a recent averaged zero one law emerging from the standard Gödel coding which is based on prime factorization and coding subterms at exponential positions. To prove the more recent results we used modern AI tools to some extent.

3 июня в 18:10 состоится заседание научно-исследовательского семинара «С логической точки зрения» («From the Logical Point of View»). А.В. Кудинов НИУ ВШЭ выступит с докладом «Логика SSL и ее сложность» Аннотация Доклад посвящён логике подмножеств пространства (Subset Space Logic, SSL) — бимодальной эпистемической логике с одной модальностью знания (K) и второй модальностью (\Box), соответствующей тому, что агент потратил какие-то ресурсы, чтобы увеличить свои знания. Вторую модальность можно воспринимать, как некоторую динамику, поэтому SSL можно отнести к динамической эпистемической логике. Логика была введена в работе A. Dabrowski, L. S. Moss & R. Parikh «Topological reasoning and the logic of knowledge» (Annals of Pure and Applied Logic, 1996), где, в частности, были предложены её аксиоматизации для класса всех подмножеств и для класса топологических пространств. В работе была доказана финитная аппроксимируемость, дающая оценку сверху на сложность логики SSL, а именно, что SSL лежит в 2EXPTIME. Также очевидно, что SSL - PSPACE-трудна, т.к. в нее погружается логика S4. Более точные оценки долгое время были неизвестны. В работе 2021 года (препринт был в 2019) Гертлингом и Кроммесом (Hertling, Krommes) было доказано, что SSL является EXPSPACE-полной. В докладе мы сделаем короткое введение и постараемся дать представление о том, как доказываются результаты о сложности. Все нужные определения и понятия будут даны, предварительные знания о сложности не требуются, но приветствуются. https://llfp.hse.ru/announcements/1164883547.html

#матлог #спецсеминар #не_мехмат #МФТИ Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ). Страница семинара: www.mathnet.ru/rus/conf2559. Семинар пройдет в среду 3 июня в 14:00. Адрес: МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный. Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com Докладчик: В.Б. Шехтман Название: Введение в семантику модальных предикатных логик, ч. 5. Аннотация. В докладе рассматриваются реляционные семантики модальных предикатных логик, последовательно усиливающие семантику Крипке: семантика расслоений Крипке, функциональная семантика Гиларди, семантика меташкал и симплициальная семантика Скворцова. Формулируются и частично доказываются результаты о полноте и неполноте для этих семантик.

#матлог #наука Сайт нашей кафедры взламывали 😨 удивительно, но безобидные учёные-математики кому-то показались идеальной целью для сетевой атаки 😞 Теперь сайт обновился и стал ещё лучше! Я потихоньку восстанавливаю материалы. Сейчас я восстановила самое ценное, что там есть - список открытых проблем 😎 Это самые настоящие задачи, которые может решать студент или аспирант!!! https://logic.math.msu.ru/problems/

#матлог #учёба #спецсеминар Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com) On June 1st, 2026 at 18:30 (Moscow time) we will have a talk by K. Gorbunov and V.A. Lubetsky (in Russian) on the distance between binary trees К. Горбунов, В.А. Любецкий "Расстояние между бинарными деревьями и эволюция одного дерева относительно другого". MAF-расстояние между двумя корневыми бинарными деревьями с разметкой листьев одним и тем же множеством имён определяется как минимальное число частей, на которые можно разрезать оба дерева так, чтобы эти части были попарно изоморфны. Доказано, что это расстояние вычисляется алгоритмом квадратичного времени, который допускает мультипликативную ошибку не более 2. Доказательство основано на вложении одного дерева в другое. Наш алгоритм принципиально отличается, как и доказательство, от известных, и проще других, которые основаны на теории двойственности в линейном программировании.

#матлог #учёба #семинар #не_мехмат #ВШЭ Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ. Семинар пройдет в очном формате с одновременной трансляцией на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно. Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com. Дата и время: 29.05.2026 в 16:20 Докладчик: Анна Оверчук Название доклада: Регулярные языки Аннотация: К формальным языкам можно подходить с разных сторон. Их можно рассматривать алгебраически - как множество слов над алфавитом с операцией конкатенации (приписывания одной строки к другой). Можно изучать их с вычислительной точки зрения - через алгоритмы и автоматы, распознающие язык. Наконец, возможен лингвистический подход: язык задаётся грамматикой, которая его порождает. Несмотря на обманчивую простоту, теория формальных языков необычным образом объединяет методы разных областей математики. В докладе я расскажу о классе регулярных языков и о том, как с их помощью можно алгебраически описывать вычисления.

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), Kontur Talk 01.06.2026 Dmitry Shkatov (University of the Witwatersrand, https://dshkatov.github.io/): Kripke completeness for predicate modal logics with axioms of bounded alternativity (online talk) Joint work with Valentin Shehtman. We present some recent results on Kripke completeness, Kripke incompleteness, and Kripke completions of first-order modal logics with propositional axioms that, in propositional Kripke semantics, correspond to the condition that every world sees at most n worlds. Kripke completeness is established using selective weak submodels of canonical models introduced by V. Shehtman. Kripke incompleteness is proven using the Kripke bundle semantics.

#матлог #спецсеминар #нпммвя В четверг 28 мая в Институте языкознания РАН (с возможностью подключения онлайн) состоится состоится заседание семинара «Некоторые применения математических методов в языкознании» им. В.А. Успенского с докладом Ани Шатских (МГУ) "Автоматическая морфологическая классификация для осетинского языка". (перенос не состоявшегося ранее доклада) Время: 28.05.2026, 18:00-19:30. Место: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 104. Для прохода потребуется студенческий/пропуск любой образовательной или научной организации либо паспорт. Ссылка для регистрации: https://forms.gle/JHdnkn9ApytBRV8ZA (все зарегистрировавшиеся получат ссылку для онлайн-подключения; указавшие очное участие будут внесены в список на проход) Анонс: Доклад посвящён созданию датасета и нейросетевой модели для автоматической морфологической классификации в осетинском языке. Осетинский язык – иранский язык индоевропейской семьи, распространённый на Северном Кавказе. Этот язык является родным для по меньшей мере 550 тыс. человек и обладает долгой письменной традицией: так, литературный корпус осетинского языка содержит около 12 млн словоупотреблений. Тем не менее, до недавнего времени для осетинского языка не существовало инструментов контекстной морфологической классификации. Эта задача состоит в определении для словоформы её части речи и грамматических признаков (таких как число или падеж) с учётом контекста и является незаменимым уровнем разметки языковых корпусов. В докладе будет описано создание обучающего корпуса с морфологической аннотацией в системе Universal Dependencies версии 2 (Nivre и др., 2020). Будут рассмотрены вызовы, которые типологические особенности осетинского ставят перед универсальными конвенциями аннотации, и расширения системы UD, принятые в ответ на них. Наконец, будет представлена первая в истории языковая модель архитектуры BERT (Devlin и др., 2019) для осетинского языка и морфологический классификатор на её основе, а также результаты экспериментов, проведённых в ходе создания и улучшения этих моделей. Литература: 1. Devlin, Jacob и др. (2019). BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding. URL: https://arxiv.org/abs/1810.04805v2 2. Nivre, Joakim и др. (2020). Universal Dependencies v2: An Evergrowing Multilingual Treebank Collection. URL: https://arxiv.org/abs/2004.10643

#матлог #спецсеминар #не_мехмат #МФТИ Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ). Страница семинара: www.mathnet.ru/rus/conf2559. ❗Время поменялось❗ Семинар пройдет в среду 27 апреля в 13:00. Адрес: МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный. Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com Докладчик: Михаил Рыбаков Тема: Сложность логик S1–S8 и их фрагментов. Аннотация: Нормальные модальные пропозициональные логики часто PSPACE-трудны (Р.Ладнер и др.), и даже при малом числе переменных в языке. В то же время все расширения таких логик как K5 или Grz.3 являются coNP-полными. Похожая ситуация наблюдается с ненормальными логиками, содержащимися в K: логики E, EM, EN и многие другие coNP-полны (М.Варди), и то же самое справедливо для их фрагментов от малого числа переменных (А.Кудинов, М.Рыбаков). Будет рассмотрен вопрос сложности систем S1–S8 (Льюис, Лэндфорд и др.). Две из них — S4 и S5 — являются нормальными и их сложность известна. Остальные являются ненормальными, и похоже, что вопрос их сложности не исследовался. Гипотеза автора состоит в том, что и они, и их фрагменты от одной переменной (а иногда и константные фрагменты) PSPACE-трудны. Почти для всех указанных логик эту гипотезу удалось обосновать. Предполагается представить синтаксическое и семантическое описание этих логик, а также обсудить идеи, лежащие в основе полученных доказательств.

#матлог #учёба #спецсеминар 27 мая 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН. Время начала: 16:00 Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533 Л. Д. Беклемишев Пространства Плотта и монотонная логика Гёделя–Лёба Аннотация: В. И. Данилов обнаружил связь между топологической семантикой логики Гёделя–Лёба и структурами, возникшими в 1960-х годах в теории рационального выбора, так называемыми функциями выбора Плотта. В дальнейшем оказалось, что фактически в этой теории речь идет об окрестностных моделях субнормальной модальной логики mGL, которая расширяет логику высказываний правилом монотонности (из A→B выводится □A→□B) и стандартной аксиомой Лёба. В докладе будет рассказано о свойствах этой логики, её моделях, связи с функциями выбора и о других результатах в этом направлении, полученных в последнее время — вместе и по отдельности — В. И. Даниловым, Д. С. Шамкановым, Д. Трофимовым и докладчиком.

#матлог #учёба #спецсеминар Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com) Monday, 25 May, 18:30 MSK Speaker: Donald Stull Title: The Dimension Spectrum of Lines in R^2. Abstract: In this talk, we discuss the dimension spectrum of planar lines, that is, the set of possible values of the effective dimension of points on a line. We will discuss the proof that, for every planar line L, the dimension spectrum of L contains a unit interval. The starting point of this proof is the technique of N. Lutz and Stull, which was also used to prove sharp bounds of certain Furstenberg sets.