#матлог #учёба #просеминар
💥В пятницу 25 сентября возобновляется работа просеминара по математической логике и информатике!
✨Тема: "Исчисление секвенций для логики высказываний" (А.А.Оноприенко).
✨Аннотация. Исчисления секвенций являются базовым инструментом теории доказательств. На примере классической логики высказываний мы покажем, как исчисления секвенций помогают прояснить устройство интересующих нас дедуктивных систем и получить альтернативные доказательства теорем о полноте.
✨Можно заранее порешать задачи.
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 426 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти в группе кафедры ВК или в телеграм-канале по хештегу #просеминар
💥В пятницу 25 сентября возобновляется работа просеминара по математической логике и информатике!
✨Тема: "Исчисление секвенций для логики высказываний" (А.А.Оноприенко).
✨Аннотация. Исчисления секвенций являются базовым инструментом теории доказательств. На примере классической логики высказываний мы покажем, как исчисления секвенций помогают прояснить устройство интересующих нас дедуктивных систем и получить альтернативные доказательства теорем о полноте.
✨Можно заранее порешать задачи.
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 426 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти в группе кафедры ВК или в телеграм-канале по хештегу #просеминар
👍2
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 427 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 25.09.2026 в 16:20
Докладчик: Кудинов Андрей
Название доклада:
Модальная логика: базовые сведения
Аннотация:
В докладе будет дано введение в модальную логику высказываний. В классической логике истинность формулы рассматривается не только относительно заданного набора истинностных значений, в модальной логике рассматриваются различные состояния или «возможные миры», в каждом из которых значения высказываний могут отличаться. Это позволяет формализовать рассуждения о необходимости и возможности, доказуемости, знании агентов, времени, переходах между состояниями и др. Благодаря этому модальная логика находит свое применение и в математике, и в философии, и в компьютерных науках.
Мы расскажем про семантику Крипке, которая чаще всего используется для модальной логики. Сформулируем теорему о полноте для нее. Поговорим про разрешимость модальной логики, которая выгодно отличает ее от логики предикатов.
Модальная логика является одним из активно развивающимся направлением в математической логике, и имеет богатые связи с большим количеством других направлений. Поэтому она хорошо подходит для курсовых и дипломных работ.
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 427 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 25.09.2026 в 16:20
Докладчик: Кудинов Андрей
Название доклада:
Модальная логика: базовые сведения
Аннотация:
В докладе будет дано введение в модальную логику высказываний. В классической логике истинность формулы рассматривается не только относительно заданного набора истинностных значений, в модальной логике рассматриваются различные состояния или «возможные миры», в каждом из которых значения высказываний могут отличаться. Это позволяет формализовать рассуждения о необходимости и возможности, доказуемости, знании агентов, времени, переходах между состояниями и др. Благодаря этому модальная логика находит свое применение и в математике, и в философии, и в компьютерных науках.
Мы расскажем про семантику Крипке, которая чаще всего используется для модальной логики. Сформулируем теорему о полноте для нее. Поговорим про разрешимость модальной логики, которая выгодно отличает ее от логики предикатов.
Модальная логика является одним из активно развивающимся направлением в математической логике, и имеет богатые связи с большим количеством других направлений. Поэтому она хорошо подходит для курсовых и дипломных работ.
👍4
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 28 сентября 16:00 MSK (UTC+3), ауд. 313 МИАН + Kontur Talk
28.09.2026 Мати Рейнович Пентус (мехмат МГУ):
Сети доказательства для мультипликативной некоммутативной линейной логики без констант (очный доклад)
Рассматривается бесконстантный мультипликативный фрагмент некоммутативной линейной логики. Для этого фрагмента известен критерий выводимости в терминах сетей доказательства с областями. Такую сеть доказательства можно определить как биективный ациклический каркас доказательства. Каркасом доказательства (proof structure) является плоский граф, образованный деревом разбора формулы и аксиомными рёбрами, а сеть доказательства (proof net) — это каркас доказательства, удовлетворяющий дополнительным аксиомам.
Мы покажем, что каждый биективный каркас доказательства, содержащий цикл, обязательно содержит цикл специального регулярного вида. Отсюда следует более удобный критерий выводимости: формула выводима тогда и только тогда, когда для неё существует биективный каркас доказательства, где нет циклов этого специального вида.
Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 28 сентября 16:00 MSK (UTC+3), ауд. 313 МИАН + Kontur Talk
28.09.2026 Мати Рейнович Пентус (мехмат МГУ):
Сети доказательства для мультипликативной некоммутативной линейной логики без констант (очный доклад)
Рассматривается бесконстантный мультипликативный фрагмент некоммутативной линейной логики. Для этого фрагмента известен критерий выводимости в терминах сетей доказательства с областями. Такую сеть доказательства можно определить как биективный ациклический каркас доказательства. Каркасом доказательства (proof structure) является плоский граф, образованный деревом разбора формулы и аксиомными рёбрами, а сеть доказательства (proof net) — это каркас доказательства, удовлетворяющий дополнительным аксиомам.
Мы покажем, что каждый биективный каркас доказательства, содержащий цикл, обязательно содержит цикл специального регулярного вида. Отсюда следует более удобный критерий выводимости: формула выводима тогда и только тогда, когда для неё существует биективный каркас доказательства, где нет циклов этого специального вида.
❤2👍2🌚1
#матлог #спецсеминар #нпммвя
Во вторник 29 сентября на семинаре «Некоторые применения математических методов в языкознании» им. В. А. Успенского состоится доклад С. Л. Кузнецова (МИАН) "Алгоритмы для грамматик Ламбека и их расширений".
Время: 29 сентября, 18:00-19:30.
Место: Институт языкознания РАН, Большой Кисловский пер., 1, стр. 1, конференц-зал. Для прохода необходимо зарегистрироваться по ссылке ниже и взять с собой паспорт.
Ссылка для регистрации: https://forms.gle/gTTJR4XoHoRczxRcA
(все зарегистрировавшиеся получат ссылку для онлайн-подключения)
Анонс:
Категориальные грамматики Ламбека представляют собой один из формализмов для задания синтаксиса и формальной семантики естественного языка. Из-за ограничений, присущих грамматикам Ламбека, рассматриваются также их расширения и модификации. При этом важным свойством таких расширений является его алгоритмическая разрешимость: должен существовать алгоритм, проверяющий принадлежность слова задаваемому грамматикой языку, и желательно, чтобы этот алгоритм работал относительно быстро. В докладе будет приведено несколько естественных расширений грамматик Ламбека, для которых задача принадлежности перестаёт быть алгоритмически разрешимой, и показано, как вернуть разрешимость, вводя ограничения на эти расширения. Речь пойдёт о грамматиках сr добавлением аксиом, с итерацией Клини и с комбинацией субэкспоненциальной модальности и управляемой неассоциативности. В изложении большее внимание будет уделяться содержательным примерам, чем детальным математическим доказательствам (на которые будут даны ссылки).
Страница семинара: http://tipl.philol.msu.ru/index.php/science/seminars/npmmvia
Во вторник 29 сентября на семинаре «Некоторые применения математических методов в языкознании» им. В. А. Успенского состоится доклад С. Л. Кузнецова (МИАН) "Алгоритмы для грамматик Ламбека и их расширений".
Время: 29 сентября, 18:00-19:30.
Место: Институт языкознания РАН, Большой Кисловский пер., 1, стр. 1, конференц-зал. Для прохода необходимо зарегистрироваться по ссылке ниже и взять с собой паспорт.
Ссылка для регистрации: https://forms.gle/gTTJR4XoHoRczxRcA
(все зарегистрировавшиеся получат ссылку для онлайн-подключения)
Анонс:
Категориальные грамматики Ламбека представляют собой один из формализмов для задания синтаксиса и формальной семантики естественного языка. Из-за ограничений, присущих грамматикам Ламбека, рассматриваются также их расширения и модификации. При этом важным свойством таких расширений является его алгоритмическая разрешимость: должен существовать алгоритм, проверяющий принадлежность слова задаваемому грамматикой языку, и желательно, чтобы этот алгоритм работал относительно быстро. В докладе будет приведено несколько естественных расширений грамматик Ламбека, для которых задача принадлежности перестаёт быть алгоритмически разрешимой, и показано, как вернуть разрешимость, вводя ограничения на эти расширения. Речь пойдёт о грамматиках сr добавлением аксиом, с итерацией Клини и с комбинацией субэкспоненциальной модальности и управляемой неассоциативности. В изложении большее внимание будет уделяться содержательным примерам, чем детальным математическим доказательствам (на которые будут даны ссылки).
Страница семинара: http://tipl.philol.msu.ru/index.php/science/seminars/npmmvia
👍3
🤖 PRO&CONTRA 2026: генеративный ИИ в математическом исследовании
Механико-математический факультет МГУ приглашает на Международную научно-практическую конференцию «Применение генеративного искусственного интеллекта PRO&CONTRA 2026».
🤖 11–14 ноября 2026 года
🤖 Гибридный формат: очно в Москве, Иваново и Томске + онлайн-трансляция
🤖 13 ноября на механико-математическом факультете МГУ имени М.В.Ломоносова пройдет секция «Интеллектуальные инструменты в математическом исследовании»
Для кого: исследователи, молодые ученые, преподаватели, EdTech-специалисты, представители бизнеса и госструктур.
🤖 Участие бесплатное, нужна регистрация.
🤖 Для доклада — аннотация (900–1500 символов) и ключевые слова (4–8).
🤖 Подробности и регистрация: https://gai-procontra.ai/
#МГУ #МехматМГУ #ИскусственныйИнтеллект #ГенеративныйИИ #Наука #Конференция #Математика #PROCONTRA2026
Механико-математический факультет МГУ приглашает на Международную научно-практическую конференцию «Применение генеративного искусственного интеллекта PRO&CONTRA 2026».
🤖 11–14 ноября 2026 года
🤖 Гибридный формат: очно в Москве, Иваново и Томске + онлайн-трансляция
🤖 13 ноября на механико-математическом факультете МГУ имени М.В.Ломоносова пройдет секция «Интеллектуальные инструменты в математическом исследовании»
Для кого: исследователи, молодые ученые, преподаватели, EdTech-специалисты, представители бизнеса и госструктур.
🤖 Участие бесплатное, нужна регистрация.
🤖 Для доклада — аннотация (900–1500 символов) и ключевые слова (4–8).
🤖 Подробности и регистрация: https://gai-procontra.ai/
#МГУ #МехматМГУ #ИскусственныйИнтеллект #ГенеративныйИИ #Наука #Конференция #Математика #PROCONTRA2026
gai-procontra.ai
ГИИ:Pro&Contra 2026
Международная научно-практическая конференция «Генеративный искусственный интеллект в отраслях экономики и социальной сфере: Pro&Contra 2025»
❤2🔥2🌚1
#матлог #учёба #спецсеминар
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
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
❤4🐳1🌚1
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.
Семинар пройдет в среду 30 сентября в 14:00.
Адрес:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com.
Докладчик: Георгий Евстигнеев
Название: О метризуемых булевых пространствах
Аннотация.
Существует взаимно-однозначное соответствие между булевыми алгебрами и компактными нульмерными хаусдорфовыми топологическими пространствами: для булевой алгебры можно рассмотреть пространство ультрафильтров на ней, а для такого пространства – булеву алгебру его открыто-замкнутых подмножеств. Соответственно, такие пространства называются булевыми. Если ограничиться счётными булевыми алгебрами, получится соответствие между ними и метризуемыми булевыми пространствами. А все метризуемые булевы пространства реализуются как замкнутые подмножества канторова множества. Естественная задача – классифицировать их с точностью до гомеоморфизма.
Классификацию счётных булевых пространств построили Мазуркевич и Серпинский ещё в 1920-м – это ординалы вида ω^α · n + 1 с порядковой топологией. Классифицировать все удалось Кетонену только в 1978 г., инвариантами получаются некоторые наследственно счётные множества. Я расскажу об этих классификациях.
Доклад будет основан на двух работах:
[1] Mazurkiewicz, Stefan, and Sierpiński, Wacław. Contribution à la topologie des ensembles dénombrables. Fundamenta Mathematicae 1 (1920), 17–27.
[2] Ketonen, Jussi. The structure of countable Boolean algebras. Annals of Mathematics 108 (1978), 41–89.
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.
Семинар пройдет в среду 30 сентября в 14:00.
Адрес:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com.
Докладчик: Георгий Евстигнеев
Название: О метризуемых булевых пространствах
Аннотация.
Существует взаимно-однозначное соответствие между булевыми алгебрами и компактными нульмерными хаусдорфовыми топологическими пространствами: для булевой алгебры можно рассмотреть пространство ультрафильтров на ней, а для такого пространства – булеву алгебру его открыто-замкнутых подмножеств. Соответственно, такие пространства называются булевыми. Если ограничиться счётными булевыми алгебрами, получится соответствие между ними и метризуемыми булевыми пространствами. А все метризуемые булевы пространства реализуются как замкнутые подмножества канторова множества. Естественная задача – классифицировать их с точностью до гомеоморфизма.
Классификацию счётных булевых пространств построили Мазуркевич и Серпинский ещё в 1920-м – это ординалы вида ω^α · n + 1 с порядковой топологией. Классифицировать все удалось Кетонену только в 1978 г., инвариантами получаются некоторые наследственно счётные множества. Я расскажу об этих классификациях.
Доклад будет основан на двух работах:
[1] Mazurkiewicz, Stefan, and Sierpiński, Wacław. Contribution à la topologie des ensembles dénombrables. Fundamenta Mathematicae 1 (1920), 17–27.
[2] Ketonen, Jussi. The structure of countable Boolean algebras. Annals of Mathematics 108 (1978), 41–89.
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 427 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 02.10.2026 в 16:20
Докладчик: Кудинов Андрей
Название доклада:
Модальная логика: базовые сведения (продолжение)
Аннотация:
В первой части мы определили семантику Крипке и аксиоматику модальной логики. Поговорили про соответстветствие формул и свойств шкал Крипке. А также определили p-морфизм и доказали невыразимость некоторых свойств модальными формулами.
Во второй части мы поговорим про каноническую модель, полноту модальных логик, разрешимость и финитную аппроксимируемость модальных логик.
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 427 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 02.10.2026 в 16:20
Докладчик: Кудинов Андрей
Название доклада:
Модальная логика: базовые сведения (продолжение)
Аннотация:
В первой части мы определили семантику Крипке и аксиоматику модальной логики. Поговорили про соответстветствие формул и свойств шкал Крипке. А также определили p-морфизм и доказали невыразимость некоторых свойств модальными формулами.
Во второй части мы поговорим про каноническую модель, полноту модальных логик, разрешимость и финитную аппроксимируемость модальных логик.
#матлог #учёба #просеминар
💥В пятницу 2 октября состоится очередное занятие просеминара по математической логике и информатике!
✨Тема: "Исчисление секвенций для логики высказываний, продолжение" (А.А.Оноприенко).
✨Аннотация. Исчисления секвенций являются базовым инструментом теории доказательств. На примере классической логики высказываний мы покажем, как исчисления секвенций помогают прояснить устройство интересующих нас дедуктивных систем и получить альтернативные доказательства теорем о полноте.
✨Можно заранее порешать задачи.
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 426 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти в группе кафедры ВК или в телеграм-канале по хештегу #просеминар
💥В пятницу 2 октября состоится очередное занятие просеминара по математической логике и информатике!
✨Тема: "Исчисление секвенций для логики высказываний, продолжение" (А.А.Оноприенко).
✨Аннотация. Исчисления секвенций являются базовым инструментом теории доказательств. На примере классической логики высказываний мы покажем, как исчисления секвенций помогают прояснить устройство интересующих нас дедуктивных систем и получить альтернативные доказательства теорем о полноте.
✨Можно заранее порешать задачи.
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 426 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти в группе кафедры ВК или в телеграм-канале по хештегу #просеминар
#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
5 October, 18:30 MSK
"How AI answers the questions about Kolmogorov complexity"
Cole Wyeth asked the following question: let m(x) be the discrete a priori probability and let a(x) and a(x|y) be continuous a priori probability (+ conditional one, when y is a discrete condition). Then there is an inequality (up to constant factors) for the probability of concatenation: a(xy) \le m(x) a(y|x)
Indeed, the right hand side corresponds to the generation process when first x is generated according to m(x) and then y is generated according to a(y|x). This can be rewritten as m(x)\ge a(xy)/a(y|x) and then as m(x) \ge \inf_y a(xy)/a(y|x)
Question: is the last inequality an equality up to O(1) factor?
I thought for a while and couldn't find the answer - then Alexey Milovanov (who formalized a lot of statements about Kolmogorov complexity with AI - this is another story worth telling) asked the LLMs about this, and they found a solution, and, moreover, explained it to me.
So we will discuss this solution (and maybe its history or other related questions).
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
5 October, 18:30 MSK
"How AI answers the questions about Kolmogorov complexity"
Cole Wyeth asked the following question: let m(x) be the discrete a priori probability and let a(x) and a(x|y) be continuous a priori probability (+ conditional one, when y is a discrete condition). Then there is an inequality (up to constant factors) for the probability of concatenation: a(xy) \le m(x) a(y|x)
Indeed, the right hand side corresponds to the generation process when first x is generated according to m(x) and then y is generated according to a(y|x). This can be rewritten as m(x)\ge a(xy)/a(y|x) and then as m(x) \ge \inf_y a(xy)/a(y|x)
Question: is the last inequality an equality up to O(1) factor?
I thought for a while and couldn't find the answer - then Alexey Milovanov (who formalized a lot of statements about Kolmogorov complexity with AI - this is another story worth telling) asked the LLMs about this, and they found a solution, and, moreover, explained it to me.
So we will discuss this solution (and maybe its history or other related questions).
👏2
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Семинар отдела математической логики МИАН «Теория доказательств», Logic Online Seminar (https://www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 МИАН + Kontur Talk
05.10.2026 Иван Смирнов (МФТИ):
Фрагменты арифметики и циклические выводы (очный доклад)
Циклические выводы, в отличие от классических древовидных, допускают циклы в графе вывода. Для арифметики первого порядка Симпсон и, независимо, Берарди и Тацута предложили формальные системы циклических выводов, эквивалентные арифметике Пеано. В докладе будет рассмотрена альтернативная циклическая система для арифметики первого порядка. Её глобальное условие корректности вывода устроено проще, чем в предшествующих системах; в частности, оно проверяется за полиномиальное время. Также будут описаны фрагменты этой системы, соответствующие известным фрагментам арифметики Пеано I\Sigma_n и I\Sigma_n^R.
Доклад основан на совместной работе с Л. Д. Беклемишевым и Д. С. Шамкановым.
Семинар отдела математической логики МИАН «Теория доказательств», Logic Online Seminar (https://www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 МИАН + Kontur Talk
05.10.2026 Иван Смирнов (МФТИ):
Фрагменты арифметики и циклические выводы (очный доклад)
Циклические выводы, в отличие от классических древовидных, допускают циклы в графе вывода. Для арифметики первого порядка Симпсон и, независимо, Берарди и Тацута предложили формальные системы циклических выводов, эквивалентные арифметике Пеано. В докладе будет рассмотрена альтернативная циклическая система для арифметики первого порядка. Её глобальное условие корректности вывода устроено проще, чем в предшествующих системах; в частности, оно проверяется за полиномиальное время. Также будут описаны фрагменты этой системы, соответствующие известным фрагментам арифметики Пеано I\Sigma_n и I\Sigma_n^R.
Доклад основан на совместной работе с Л. Д. Беклемишевым и Д. С. Шамкановым.
👍3