#матлог #спецкурс

💥 ВСЕ СПЕЦКУРСЫ КАФЕДРЫ - В ОДНОМ ПОСТЕ!

👩‍🎓 Спецкурсы в МГУ

✅ Математическая логика
Яворская Татьяна Леонидовна, понедельник 15:00
➡https://scs.math.msu.ru/ru/node/9255

✅ Односторонние функции и их применения
Верещагин Николай Константинович, вторник 16:45
➡https://scs.math.msu.ru/ru/node/8576

✅ Коды с исправлением ошибок (на англ.яз.)
Верещагин Николай Константинович, понедельник 10:45
➡https://scs.math.msu.ru/ru/node/8574

✅ Математические методы анализа данных, II
Любецкий Василий Александрович, понедельник 16:45
➡https://scs.math.msu.ru/ru/node/8581

✅ Метод резолюций
Плиско Валерий Егорович, пятница 18:30
➡https://scs.math.msu.ru/ru/node/9712

👩‍🎓 Спецкурсы в МИАН

✅ Нестандартные модели арифметики
Беклемишев Лев Дмитриевич, Сперанский Станислав Олегович, вторник 16:00
➡https://www.mathnet.ru/conf2629

✅ Алгоритмические вопросы для формальных грамматик
Кузнецов Степан Львович, Пшеницын Тихон Григорьевич, четверг 18:00
➡https://www.mathnet.ru/conf2632

✅ Введение в геометрическую теорию групп. Дополнительные главы
Лысёнок Игорь Геронтьевич, вторник 18:00
➡https://www.mathnet.ru/conf2650

➰ ВК

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

8 октября (среда) в 18:10 состоится очередное заседание теоретического семинара «Формальная философия».

Тема доклада: П.Ф. Стросон и инструменталистский подход к моральной ответственности.

Докладчик: Арсений Савелов (аспирант кафедры истории зарубежной философии, философского факультета МГУ им. М.В. Ломоносова).

Аннотация: Обычно считается, что П.Ф. Стросон (1919-2006) в своей работе «Свобода и обида» (1962) стремился показать: консеквенциалистские подходы к моральной ответственности во многом проваливаются. Так, утилитаристы предлагают неправильную психологию моральной ответственности. Люди, когда реагируют на действия других, не руководствуются проспективными соображениями, соображениями полезности. Более того, согласно Стросону, люди не могут принять такой способ мысли в качестве всеобъемлющего. В литературе эти соображения Стросона называют аргументом неправильных оснований или тезисом Стросона. В общем виде его можно выразить так: неморальные основания не могут обосновывать моральные утверждения (в нашем случае утверждения, что в той или иной ситуации было бы уместно порицать или хвалить). Долгое время считалось, что этот аргумент полностью исключил консеквенциалистов из дискуссии о моральной ответственности, однако сегодня некоторые исследователи начали предлагать такой способ чтения Стросона, который не ставит консеквенциалистов в неудобное положение. Более того, некоторые исследователи выдвинули предположение, что Стросон сам мог бы быть консеквенциалистом. Подобные интерпретации предлагают двухуровневую теорию моральной ответственности, строящуюся на том, что агент, непосредственно участвуя в межличностных взаимодействиях, не занимается подсчетом выгод и потерь для себя. Его способ принятия решений «в поле» иной: он просто реагирует на качество воли других индивидов. На другом же уровне, принимая объективную точку зрения, мы можем рефлексировать над этим способом принятия решений. Эта рефлексия во многом должна разворачиваться в консеквенциалистском ключе. Согласно консеквенциалистским интерпретациям Стросона, философ должен определять, какой способ мыслить внутри межличностного взаимодействия мы должны принимать. Исходя из консеквенциалистских рассуждений, мы можем менять наш способ принятия решений и, как следствие, можем менять наши установки и практики. В своем докладе я реконструирую аргумент неправильных оснований, после чего, в деталях покажу какие ходы предпринимают интерпретаторы для того, чтобы согласовать Стросона с консеквенциализмом. В заключении я покажу, что такой способ прочтения «Свободы и обиды» скорее проваливается как историко-философская интерпретация. Также я продемонстрирую, что если смотреть на данную теорию исключительно как на подход к морально ответственности, то подобные двухуровневые теории сталкиваются со значительными сложностями.
_________________________

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

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

➰ ВК

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

В четверг 9 октября 14:00 в Математическом институте им. В.А. Стеклова РАН состоится заседание семинара "Некоторые применения математических методов в языкознании".

Где: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 110
Для прохода потребуется студенческий/пропуск любой образовательной или научной организации либо паспорт.
Ссылка для регистрации: https://forms.gle/TybWEje5GQ1AySLP9 (зарегистрировавшимся придет ссылка для онлайн-подключения).

Кто: Даниил Борисович Тискин (НИУ ВШЭ С.-Петербург, ИЛИ РАН)
Тема: Некоторые параллели между фокусом и модальностью

Аннотация:
Модальность — семантическое поле естественного языка, ответственное за его способность описывать неактуальные, альтернативные действительности ситуации. С другой стороны, фокус традиционно связывают со способностью семантики обращаться к множествам альтернативных друг другу значений (Rooth 1985 и др.): например, предложение Только ПЕТЯ пришёл предполагает, что Петя пришёл, и отрицает, что пришли альтернативные Пете индивиды.
И модальность, и фокус связаны с операторами (модальные наречия, глаголы мыслительной деятельности vs. фокусные частицы), имеющими сферу действия и переключающими интерпретацию в другой режим (в другой возможный мир vs. в альтернативные означивания фокусных переменных, Kratzer 1991). Это порождает ряд более или менее очевидных сходств и нетривиальных различий между ними, набор которых отчасти зависит от выбранной формализации каждого из явлений. В числе других параллелей в докладе будет рассмотрена формализация синтаксиса и семантики конструкций с фокусом, позволяющая объяснить поведение семантических признаков т. н. «связанных дейктиков» (fake indexicals), как her в предложении Only MARY did her homework, которое может означать, что другие, помимо Мэри и вне зависимости от пола, не сделали свои уроки.

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

➰ ВК

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

💥В среду 8 октября состоится очередное занятие просеминара по математической логике и информатике.

✨Тема: "Интуиционистская логика" (Андрей Ерёмин, студент философского факультета МГУ).
✨Аннотация. В конце XIX — начале XX века в наивной теории множеств был обнаружен ряд противоречий. Это привело к необходимости пересмотра имеющихся оснований математики с целью найти новые: строгие, убедительные и свободные от противоречий.
Один из подходов, называемый интуиционизмом, был предложен математиком Л. Э. Я. Брауэром. Согласно Брауэру, математика есть в первую очередь творческая деятельность, разворачивающаяся в разуме математиков. Поэтому, дабы избежать парадоксов, из рассмотрения следует исключить объекты, которые принципиально невозможно сконструировать в человеческом уме. А это, в свою очередь, ведет к пересмотру ряда логических принципов, влекущих так называемые «теоремы чистого существования», и самого понятия математической истины.
Ученик Брауэра А. Гейтинг формализовал предлагаемые Брауэром модификации классической логики. Полученная формальная система активно изучается; были получены глубокие результаты, связанные с другими областями математической логики.
На просеминаре мы разберем основные сюжеты и определения, связанные с её пропозициональным вариантом: интуиционистской логикой высказываний.
✨Можно заранее порешать задачи (прикреплены к посту).

✅Просеминар проходит по средам в 15:00-16:35 в аудитории 406 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме:
https://news.1rj.ru/str/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼

📝 intuitionistic_logic2025.pdf

➰ ВК

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

Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/).

Время: 9 октября (четверг), 16:00
Место: МИАН, ауд. 530 + Контур.Толк

Ю.Д. Теляковская (НИУ ВШЭ)

О свойствах звёздной высоты регулярных языков

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

Если планируете посетить заседание (очно или онлайн через Контур.Толк), пожалуйста, зарегистрируйтесь по ссылке в верхней части страницы семинара:
https://www.mathnet.ru/conf2533

➰ ВК

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

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

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

Место проведения:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идёте на семинар ВШМ и предъявить паспорт.

Также планируется интернет-трансляция, для получения ссылки пишите на почту kudinov.andrey@gmail.com.

Докладчик: В.Б. Шехтман

Название: Топологическая полнота и полнота по Крипке для суперинтуиционистских логик.

Аннотация.
В 1974 г. А.В. Кузнецов сформулировал несколько проблем о полноте суперинтуиционистских логик высказываний в различных семантиках. Часть этих проблем впоследствии была решена.
В докладе обсуждается одна из них: соотношение полноты по Крипке и топологической полноты. Строится явный пример конечно аксиоматизируемой логики, для которой пополнение в топологической семантике неполно по Крипке.

➰ ВК

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

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

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

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

Докладчик: Кирилл Александрóв

Название: Введение в модальную логику

Аннотация

Мы продолжим изучение неклассических логик, а именно перейдём к модальной логике, которая была упомянута в конце прошлого заседания (https://www.youtube.com/watch?v=LNIV5WAw-WY). Модальная логика отличается от классической тем, что к возможным вариантам построения формулы помимо стандартных (конъюнкция, дизъюнкция, импликация, отрицание) добавляется "модальность", которую в зависимости от контекста можно понимать по-разному: "необходимо", "доказуемо", "известно" и др. Обсудим модальное исчисление, семантику Крипке для модальных логик, теорему о полноте, рассмотрим различные примеры модальных логик, взаимосвязь модальных формул и свойств шкал Крипке, которые они задают. Если останется время, обсудим вопросы алгоритмической сложности для модальных логик.

➰ ВК

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

Logic Online Seminar (https://www.mathnet.ru/conf876), Monday 16:00 MSK (UTC+3), Kontur Talk (online only)

13.10.2025 Д. Рогозин (Noeon Research, Великобритания). «Категорные модели линейной теории типов с субэкпоненциальными модальностями»

Субэкспоненциалы являются естественным обобщением экспоненциального оператора из линейной логики. Если экспоненциал ограниченно вводит правила сокращения и ослабления, тогда как субэкспоненциал, в общем случае, — это модальный оператор, чьи формальные свойства напоминают оператор $\Box$ в логике S4, который либо вводит правило ослабления (аффинный субэкспоненциал), либо правило сокращения (релевантный субэкспоненциал), либо оба, либо ни одного. В литературе ранее изучались полимодальные обобщения линейной логики с субэкспоненциалами в контексте теории доказательств и конкретных применений в прикладной информатике, но семантический анализ был проведен довольно ограниченно. В этом докладе, мы введем теоретико-типовую версию интуиционисткой линейной логики с субэкспоненциалами и кратко обсудим её теоретико-доказательные аспекты, в частности, нормализацию выводов. Далее мы введем ряд понятий, позволяющих ввести адекватную денотационную семантику, основанную на симметрических моноидальных замкнутых категорий, снабженных семейством комонад определенного рода и естественных преобразований между ними. Далее, мы дадим обобщение ряда результатов из 1990-х годов и покажем, как модели таких систем типов эквивалентно характеризуются как так называемые моноидальные сопряжения. В частности, мы покажем как осуществить такую характеризацию 2-категории всех моделей как полной 1,2-подкатегории 2-категории 2-функторов определенного вида. По возможности, автор постарается дать пропедевтическое введение в необходимые понятия и факты из теории 2-категорий и формальной теории комонад.

➰ ВК

#матлог
Поздравляем нашего заведующего кафедрой! 🥳❤️

--------------------------------------------------------------
↪ Механико-математический факультет МГУ
#мехмат_поздравляет #юбилей

13 октября 2025 года исполняется 75 лет заведующему кафедрой математической логики и теории алгоритмов механико-математического факультета МГУ, доктору физико-математических наук, профессору, академику РАН Алексею Львовичу Семенову!

Выпускник механико-математического факультета МГУ Алексей Львович – видный специалист в области математической логики, кибернетики, теоретической информатики и методологии математического образования.

Алексею Львовичу удалось доказать, что свойство натуральных чисел, автоматное в двух существенно разных системах счисления, выражается в арифметике Пресбургера. Работы Алексея Львовича задали опорные точки для нескольких ключевых направлений на стыке логики и вычислений. Обобщение классической теоремы Кобхэма на многомерные отношения закрепило «ось» логика – автоматы – определимость и стало основой дальнейших исследований в теории автоматных последовательностей и арифметике Пресбургера. Затем он занимался вопросами разрешимости теорий, в частности, арифметики сложения с дополнительным одноместным предикатом, систем алгоритмических алгебр и теорий одноместных функций на натуральном ряде, а также вопросами выразимости в теориях первого порядка.

В 1979 году А.Л. Семенов сделал обзорный доклад на симпозиуме «Алгоритмы в современной математике», и материалы этого доклада вошли в книгу «Теория алгоритмов: основные открытия и приложения». Несколько статей (с В.А. Успенским и А. Шенем 1990 года, а также с В.А. Успенским и А.А. Мучником 1998 года) были посвящены алгоритмической случайности. В частности, в последней из них поставлен вопрос о совпадении определения случайности с немонотонными играми и случайности по Мартин-Лёфу, не решённый до сих пор.

С середины 1980-х годов Алексей Львович прикладывал большие усилия к становлению курса информатики в школе и вообще модернизации преподавания разных предметов. Он – соавтор первого учебника информатики для всех советских школ. В дальнейшем — руководитель авторских коллективов учебников по математике и информатике для начальной и основной школы. Параллельно Алексей Львович продолжал исследование почти периодических последовательностей и алгоритмической случайности. В совместной с Андреем Альбертовичем Мучником статье 2003 года он ответил на поставленный А.Н. Колмогоровым в 1962 году вопрос об улучшении оценок из статьи Колмогорова.

С 2015 года Алексей Львович – директор Института кибернетики и образовательной информатики имени А. И. Берга ФИЦ «Информатика и управление» РАН.

Алексей Львович – автор более 400 научных и учебно-методических работ, лауреат ряда орденов, медалей и премий, в том числе премии Юнеско за применение информационных и коммуникационных технологий в образовании. С 2021 года Алексей Львович — главный редактор журнала «Доклады РАН. Математика, информатика, процессы управления»

Алексей Львович сочетает в себе талант ученого и педагога с талантом организатора науки и образования. Коллеги и студенты ценят высокую работоспособность профессора, его преданность науке, верность традициям Московского университета.

Поздравляем Алексея Львовича с юбилеем, желаем новых достижений, крепкого здоровья и счастья!

Фото: Коммерсанъ/Игорь Иванко

➰ ВК

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

💥В среду 15 октября состоится очередное занятие просеминара по математической логике и информатике.

✨Тема: "Интуиционистская логика (продолжение)" (Андрей Ерёмин, студент философского факультета МГУ).
✨Аннотация. В конце XIX — начале XX века в наивной теории множеств был обнаружен ряд противоречий. Это привело к необходимости пересмотра имеющихся оснований математики с целью найти новые: строгие, убедительные и свободные от противоречий.
Один из подходов, называемый интуиционизмом, был предложен математиком Л. Э. Я. Брауэром. Согласно Брауэру, математика есть в первую очередь творческая деятельность, разворачивающаяся в разуме математиков. Поэтому, дабы избежать парадоксов, из рассмотрения следует исключить объекты, которые принципиально невозможно сконструировать в человеческом уме. А это, в свою очередь, ведет к пересмотру ряда логических принципов, влекущих так называемые «теоремы чистого существования», и самого понятия математической истины.
Ученик Брауэра А. Гейтинг формализовал предлагаемые Брауэром модификации классической логики. Полученная формальная система активно изучается; были получены глубокие результаты, связанные с другими областями математической логики.
На просеминаре мы разберем основные сюжеты и определения, связанные с её пропозициональным вариантом: интуиционистской логикой высказываний.
✨Можно заранее порешать задачи (прикреплены к посту).

✅Просеминар проходит по средам в 15:00-16:35 в аудитории 406 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме:
https://news.1rj.ru/str/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼

📝 intuitionistic_logic2025.pdf

➰ ВК

#матлог

--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
18 октября (суббота) в 18:00 (GMT+3) состоится заседание научно-учебного семинара «Математическая логика и теория категорий» (online).

Тема доклада: Three applications of Zermelo's theorem on part-whole.

Докладчик: Paolo Mancosu (Willis S. and Marion Slusser Professor of Philosophy, Department of Philosophy, UC Berkeley).

Аннотация: The aim of the presentation is to give a general overview of the application of a result by Ernst Zermelo to three very different areas of investigation: abstraction principles in neologicism, the axiom of choice in second-order logic, and regularity properties in probability theory. The talk is based on three articles that have recently appeared (see bibliography).

Bibliography:
2019, (with Benjamin Siskind), "Neologicist Foundations: Inconsistent abstraction principles and part-whole", in Mras, Gabriele M.; Weingartner, Paul; Ritter, Bernhard (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Wittgenstein Symposium. De Gruyter, Berlin, Munich, Boston, 2019, pp. 215–248.
2023, (with Benjamin Siskind and Stewart Shapiro), "A note on choice principles in second-order logic", The Review of Symbolic Logic, 16(2), pp. 339-350.
2024, (with Guillaume Massas), "Totality, Regularity and Cardinality in Probability Theory", Philosophy of Science, 91, 721–740.
_________________________

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

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

➰ ВК

#матлог

--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
15 октября (среда) в 18:10 состоится очередное заседание научно-исследовательского семинара «From the Logical Point of View».

Тема доклада: Нефундированная система исчисления на примере интуиционистской и модальных логик.

Докладчик: Иван Пыльцын (стажёр-исследователь МЛ ЛогЛинФФ)

Аннотация: Представленная и описанная Д.С. Шамкановым, Модальная логика Гёделя-Лёба, расширенная нефундированными выводами, является одним из естественных примеров логики, представляющейся в виде некомпактного отношения следования. Мне удалось обнаружить некомпактную суперинтуиционистскую логику, которую так же возможно задать как расширение интуиционистской логики нефундированными выводами. Таким образом, нефундированные выводы являются интересным подходом к изучению логических систем, выделяющим особый класс среди всевозможных некомпактных расширений известных логик. В докладе будут рассмотрены некоторые аспекты таких систем.
_____________________

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

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

➰ ВК

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

Уважаемые коллеги,
15 октября логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ) ОТМЕНЯЕТСЯ!
Ждём вас через неделю.
Следите за объявлениями.

➰ ВК

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

16.10.2025 заседания семинара «Вероятностные и субструктурные логические системы» (https://www.mathnet.ru/conf2533) не будет.
Следующее заседание — 23.10.2025.

➰ ВК

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

Семинар "Вычислимость и неклассические логики" работает по пятницам с 16.45 в аудитории 425.

17 октября 2025 г.

А. В. Тюленев
“Вычислимость решений начальной задачи для дифференциальных уравнений с отклоняющимся аргументом нейтрального типа”

Аннотация - в приложенном файле.

📝 Аннотация_выч_реш_НУ.pdf

➰ ВК

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

Logic Online Seminar (www.mathnet.ru/conf876), Monday 16:00 MSK (UTC+3), Kontur Talk (online only)

20.10.2025 Д. Рогозин (Noeon Research, Великобритания). «Категорные модели линейной теории типов с субэкпоненциальными модальностями» - продолжение доклада от 13 октября 2025 года.

Субэкспоненциалы являются естественным обобщением экспоненциального оператора из линейной логики. Если экспоненциал ограниченно вводит правила сокращения и ослабления, тогда как субэкспоненциал, в общем случае, — это модальный оператор, чьи формальные свойства напоминают оператор $\Box$ в логике S4, который либо вводит правило ослабления (аффинный субэкспоненциал), либо правило сокращения (релевантный субэкспоненциал), либо оба, либо ни одного. В литературе ранее изучались полимодальные обобщения линейной логики с субэкспоненциалами в контексте теории доказательств и конкретных применений в прикладной информатике, но семантический анализ был проведен довольно ограниченно. В этом докладе, мы введем теоретико-типовую версию интуиционисткой линейной логики с субэкспоненциалами и кратко обсудим её теоретико-доказательные аспекты, в частности, нормализацию выводов. Далее мы введем ряд понятий, позволяющих ввести адекватную денотационную семантику, основанную на симметрических моноидальных замкнутых категорий, снабженных семейством комонад определенного рода и естественных преобразований между ними. Далее, мы дадим обобщение ряда результатов из 1990-х годов и покажем, как модели таких систем типов эквивалентно характеризуются как так называемые моноидальные сопряжения. В частности, мы покажем как осуществить такую характеризацию 2-категории всех моделей как полной 1,2-подкатегории 2-категории 2-функторов определенного вида. По возможности, автор постарается дать пропедевтическое введение в необходимые понятия и факты из теории 2-категорий и формальной теории комонад.

➰ ВК

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

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

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

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

Название: Проективность и свойство расширения для логики GL

Докладчик: Никита Лукашов

Аннотация:
В своём докладе я расскажу результаты С. Гилярди о семантической характеризации проективных формул для некоторых модальных логик на примере конкретной модальной логики доказуемости GL. В частности, я постараюсь полностью привести доказательство того, что формула A является проективной в логике GL тогда и только тогда, когда класс MOD(A) конечных GL-моделей Крипке с корнем формулы A обладает некоторым определённым свойством расширения.
Этот результат оказался полезным, во-первых, для решения проблемы унификации в популярных модальных логиках, таких как K4, S4, GL,… — все они имеют конечный тип (Гилярди, 2000 г.); во-вторых, семантическая характеристика проективных формул послужила основой для получения Э. Ержабеком (2005 г.) явного базиса допустимых правил вывода в этих логиках.

Доклад основан на статье: Ghilardi S. Best solving modal equations //Annals of Pure and Applied Logic. – 2000. – Т. 102. – №. 3. – С. 183-198.

➰ ВК

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

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

20 October, 18:30 MSK

In this talk Maxim Ushakov (who has some experience in using AI tools and developing them at a small scale) will share his experiences and answer our questions. Here are the some questions.

Few years ago we heard that LLM are advanced token predictors: the dialog stream is split into tokens and then the "most probable" next token is predicted (not just using good old statistical counting but some more advanced "machine learning" tools). Obviously what we see now goes far beyond that, and something obviously impossible happens. But what is under the hood? More specific questions: - Are there separate stages while preparing the answer? (ChatGPT even produces some reasonably looking names for these stages) What happens during this stages?

- How the engine interacts with other programs like programming language interpreters, formal provers etc.? If I ask it to give an approximate solution of some equation (or just ask to multiply two 10-digit integers), does it run some math software? If I ask you to debug some code, does it tries to run it in the debugger? If I ask it when will be the next concert of Angela Hewitt, does it perform internet search? How all this is organized?

- How the model uses the token-prediction engine (probably several times)?

- What is the entire cycle of developing and using the model? It is trained (as predictor of tokens or as a whole), then fine-tuned, then specialized using a prompt, and then applied to some request? What are the costs and resources needed for each step? What can be done inside a medium company like Yandex, in a small startup company like your friends try to create, locally at good home computer, or in a mobile phone?

- What is preserved during the dialog with AI model and between the dialogs?

- What amount of information needs to be learned to get some new "skill"? For example, can it learn ancient Greek or some other language where we have only a limited amount of texts in the language like people do (studying grammar textbooks, making graded exercises etc.)? Is is possible to learn some new mathematical theory just by reading the only textbook on this theory (and may be having some dialogs with experts)? Is the technology more or less known to all the players (companies — from Yandex to OpenAI) and the difference is just the resources and few years of development, or there are some "key secrets"? Related question: these companies hire key people for millions, presumably those people have some much needed knowledge/abilities. What are those abilities and where they come from? What kind of topics and experiences should be included in the curriculum to prepare to the New World? Linguistics and logic seem to be in big trouble (even if they don't see it now like this): it turns out that the «rigid» structures like grammars and formal theories they tried to discover and develop are not something fundamental but appear from the sea of fuzzy parameters in quite mechanical (though probably not understood) way, and what looked like syntactical sugar and user-friendly interface could be much more fundamental -In general, what are the current frontiers between what is easy / difficult / very difficult and expensive / hardly possible / out of reach? What is now possible locally (on a reasonable desktop) in terms of education/reeducation/dialog