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

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

27 September, 18:30 MSK
Fedor Kiselyov will discuss randomized and deterministic reductions between problems in TFNP (a more detailed abstract is attached).

📝 Kiselyov.pdf

➰ ВК

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

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

27.10.2025 А.С. Морозов (ИМ СО РАН, https://www.mathnet.ru/php/person.phtml?option_lang=rus&personid=19694): Представимость алгебраических структур над вещественными числами.

Изучаются два обобщения понятия вычислимой структуры: $\Sigma$-представимости алгебраических структур в наследственно конечной надстройке HF(R) над вещественными числами, а также для представимости с помощью машин Блюм-Шуба-Смейла, работающих в бесконечном времени (ITBM-вычислимости). Особое внимание уделено вопросам существования таких представлений для несчётных структур и количества таких представлений. 

➰ ВК

#матлог

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

Тема доклада: Abstract and Variable Sets in Category Theory.

Докладчик: John L. Bell (Emeritus Professor, FRSC Department of Philosophy Western University London, Ontario Canada).

Аннотация: In 1895 Cantor gave a definitive formulation of the concept of set, namely,
A collection to a whole of definite, well-differentiated objects of our intuition or thought.
Let us call such a collection a concrete set. More than a decade earlier, Cantor had introduced the notion of cardinal number by appeal to a process of abstraction:
If we abstract not only from the nature of the elements of a set, and also from the order in which they are given, then there arises in us a definite general concept which I call the cardinal number of the set.
Lawvere has suggested calling Cantor’s cardinal numbers abstract sets. An abstract set may be considered as arising from a concrete set when each element has been purged of all intrinsic qualities aside from the quality which distinguishes that element from all the others. An abstract set is thus an embodiment of pure discreetness.
In my talk I will describe how category theory provides the natural framework for understanding abstract sets, conceived of as static or as undergoing change.
_________________________

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

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

➰ ВК

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

Занятие просеминара 29 октября отменяется.

Ждём вас 5 ноября!

➰ ВК

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

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

Время: 30 октября (четверг), 16:00
Место: МИАН, ауд. 530 + Контур.Толк
 
В.А. Нестеров (МФТИ)
 
Название:
Верифицированное вычисление асимптотик вещественных функций (продолжение)
 
Аннотация:
Вычисление асимптотик функций - одна из нетривиальных математических задач, которая однако под силу компьютеру. Исследования в этом направлении были начаты Г. Харди и доведены до практического алгоритма Дж. Шекеллом в 1990 году.
 
В докладе я расскажу о своей имплементации алгоритма Шекелла (с некоторыми модификациями) в системе интерактивных доказательств Lean. Системы доказательств дают возможность писать доказательства на формальном языке с последующей автоматической проверкой компьютером. В своей работе я имплементировал алгоритм в виде так называемой тактики - программы, которая не только возвращает результат (например, предел функции на бесконечности), но и формальное доказательство его корректности (например, того, что функция действительно стремится к найденному значению). Такая тактика, будучи использованной как подпрограмма, позволяет сократить формальные доказательства других результатов в анализе и комбинаторике.
 
Если планируете посетить заседание (очно или онлайн через Контур.Толк), пожалуйста, зарегистрируйтесь по ссылке в верхней части страницы семинара:
 
https://www.mathnet.ru/conf2533

➰ ВК

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

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

31 октября 2025 г.

Г. Г. Черевиченко
"Номинальная унификация"
Унификация в простейшем случае — это решение уравнений в свободных алгебраических системах. Например, рассмотрим алфавит из двух символов a,b и уравнение aX=Yb, где X и Y обозначают слова в этом алфавите (которые надо найти). Слова с операцией приписывания образуют свободную полугруппу. Решение выглядит так: берём произвольное слово Z и полагаем X=Zb, Y=aZ, тогда aX=aZb=Yb. Мы как бы подобрали слово (aZb), подходящее под оба шаблона aX и Yb, от этого слово "унификация". В более хитрых случаях слова (например, формулы логики первого порядка или лямбда-термы) могут содержать связывающие операции (кванторы, лямбды) и рассматривать их надо с точностью до переименования связанных переменных. Проблема унификации в этом случае имеет неожиданное красивое решение.

➰ ВК

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

6, 13 и 20 ноября заседаний семинара «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) не будет.

Следующее заседание планируется 27 ноября.

➰ ВК

#матлог

--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
5 ноября в 18:10 состоится 104-е заседание научно-теоретического семинара «Формальная философия».

Тема доклада: Объекты "с секретами" по принципу "если - то" в экспериментах психологов.

Докладчик: Поддьяков Александр Николаевич (доктор психологических наук, ведущий научный сотрудник МЛ ЛогЛинФФ).

Аннотация: Один из путей познания новых объектов в самых разных областях – экспериментирование с ними на предмет выявления скрытых эффектов и зависимостей. Психологи занимаются экспериментированием с этим экспериментированием. Для своих экспериментов они создают разнообразные «проблемные ящики» с секретами, которые предлагают обследовать участникам – детям и взрослым. Сами объекты своей работой призваны удивлять, озадачивать, создавать условия для выдвижения гипотез, проб, ошибок и «ага»-реакций. Ведется наблюдение за этой деятельностью, выделяются стратегии и пр. В докладе будут рассмотрены особенности этих объектов в контексте их основной функции – делать наблюдаемыми некоторые составляющие мыслительной деятельности. В качестве демонстрационного материала будут представлены некоторые их таких объектов.
_____________________

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

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

➰ ВК

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

UPD: Доклад С.А. Славнова сегодня на семинаре НПММвЯ состоится в аудитории 530 (5-й этаж).

В четверг 6 ноября в Математическом институте им. В.А. Стеклова РАН (с возможностью подключения онлайн) состоится заседание семинара "Некоторые применения математических методов в языкознании" с докладом Сергея Андреевича Славнова "Логика тензорных термов для категориальных грамматик".

Время: 6 ноября, 14:00-15:30.
Место: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 104. Для прохода потребуется студенческий/пропуск любой образовательной или научной организации либо паспорт.

Ссылка для регистрации: https://forms.gle/Ztoemh3HubwPN1Js8
(зарегистрировавшиеся слушатели получат ссылку для подключения и будут внесены в список на проход)

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

➰ ВК

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

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

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

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

📝 modal2025.pdf

➰ ВК

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

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

7 ноября 2025 г.

Г. Г. Черевиченко
"Номинальная унификация" (продолжение доклада от 31 октября)
Унификация в простейшем случае — это решение уравнений в свободных алгебраических системах. Например, рассмотрим алфавит из двух символов a,b и уравнение aX=Yb, где X и Y обозначают слова в этом алфавите (которые надо найти). Слова с операцией приписывания образуют свободную полугруппу. Решение выглядит так: берём произвольное слово Z и полагаем X=Zb, Y=aZ, тогда aX=aZb=Yb. Мы как бы подобрали слово (aZb), подходящее под оба шаблона aX и Yb, от этого слово "унификация". В более хитрых случаях слова (например, формулы логики первого порядка или лямбда-термы) могут содержать связывающие операции (кванторы, лямбды) и рассматривать их надо с точностью до переименования связанных переменных. Проблема унификации в этом случае имеет неожиданное красивое решение.

➰ ВК

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

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

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

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

Название: Коммуникационная сложность функции равенства и коды, исправляющие ошибки.

Докладчик: Владимир Подольский

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

➰ ВК

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

7 ноября 2025 г. заседание семинара "Вычислимость и неклассические логики" не состоится.
Продолжение доклада Г. Г. Черевиченко "Номинальная унификация" переносится на 14 ноября.

➰ ВК

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

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

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

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

📝 modal2025.pdf

➰ ВК

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

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

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

Место проведения: ОНЛАЙН. Для получения ссылки пишите на почту kudinov.andrey@gmail.com.

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

Докладчик: Д.П. Шкатов (Университет Йоханнесбурга, ЮАР)

Название: Доказательства полноты по Крипке для предикатных модальных логик

Аннотация.

Будут изложены основные идеи, на которых основываются доказательства полноты по Крипке для предикатных модальных логик. Будут приведены примеры канонических и неканонических, но полных по Крипке, логик.

➰ ВК

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

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

14 ноября 2025 г.

Г. Г. Черевиченко
"Номинальная унификация" (продолжение доклада от 31 октября)
Унификация в простейшем случае — это решение уравнений в свободных алгебраических системах. Например, рассмотрим алфавит из двух символов a,b и уравнение aX=Yb, где X и Y обозначают слова в этом алфавите (которые надо найти). Слова с операцией приписывания образуют свободную полугруппу. Решение выглядит так: берём произвольное слово Z и полагаем X=Zb, Y=aZ, тогда aX=aZb=Yb. Мы как бы подобрали слово (aZb), подходящее под оба шаблона aX и Yb, от этого слово "унификация". В более хитрых случаях слова (например, формулы логики первого порядка или лямбда-термы) могут содержать связывающие операции (кванторы, лямбды) и рассматривать их надо с точностью до переименования связанных переменных. Проблема унификации в этом случае имеет неожиданное красивое решение.

➰ ВК

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

На следующей неделе С.Л. Кузнецов и С.О. Сперанский (МИАН) в рамках своего визита в Новосибирский университет прочтут мини-курсы.

Лекции пройдут очно в НГУ, возможно также подключение онлайн. Для получения ссылки нужно зарегистрироваться на соответствующий мини-курс на странице https://sites.google.com/view/mca-logic/

На той же странице размещены аннотации курсов, а после их завершения будут опубликованы видеозаписи и файлы презентаций.

Расписание лекций
ВНИМАНИЕ! Время везде указано новосибирское, т.е. +4 часа от московского, GMT+7.

В рамках мини-курса С.Л. Кузнецова «Бесконечные доказательства для неклассических логик» запланировано три лекции:
(1) 17 ноября 2025 г. (понедельник), 16:20-17:55
(2) 20 ноября 2025 г. (четверг), 16:20-17:55
(3) 21 ноября 2025 г. (пятница), 16:20-17:55

В рамках мини-курса С.О. Сперанского «Аксиоматизация теории слабых вероятностных пространств» запланировано две лекции:
(1) 18 ноября 2025 г. (вторник), 16:20-17:55
(2) 19 ноября 2025 г. (среда), 16:20-17:55

➰ ВК

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

The next Proof Society Seminar will take place on Monday 17 November 2025 at 14:00 CET. Our speaker will be Juliette Kennedy (https://www.mv.helsinki.fi/home/jkennedy/), from the University of Helsinki. Details can be found below.

How first order is first order logic?
Juliette Kennedy, University of Helsinki

Fundamental to the practice of logic is the dogma regarding the first order/second order logic distinction, namely that it is ironclad. Was it always so? The emergence of the set theoretic paradigm is an interesting test case. Early workers in foundations generally used higher order systems in the form of type theory; but then higher order systems were gradually abandoned in favour of first order set theory—a transition that was completed, more or less, by the 1930s.

In this talk I will look at first order logic from various points of view, arguing that the distinction between first order and higher order logics, such as second order logic, is somewhat context dependent. From the philosophical or foundational point of view this complicates the picture of first order logic as a canonical logic.

The Proof Society Seminar (https://www.proofsociety.org/proof-society-seminar/) is the official seminar of the Proof Society (https://www.proofsociety.org/), and it presents talks by leading researchers from all areas of proof theory. Everyone who is interested in the subject is warmly invited to attend! The talks take place online via Zoom, usually on Mondays, approximately once per month. They start at 13:00 UTC and may last up to 75 minutes plus questions.

➰ ВК

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

В четверг 20 ноября в Институте языкознания РАН (с возможностью подключения онлайн) состоится заседание семинара «Некоторые применения математических методов в языкознании» с докладом Максима Евгеньевича Вишникина "Категориальные грамматики с ограничением на количество присваиваемых категорий".

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

Ссылка для регистрации: https://forms.gle/RwXRf33JE3CP1bHBA
(все зарегистрировавшиеся получат ссылку для онлайн-подключения)

Тема: Категориальные грамматики с ограничением на количество присваиваемых категорий

Анонс:
В докладе будут рассмотрены три типа грамматических формализмов: грамматики Ламбека, AB-грамматики и базовые категориальные грамматики. Основное внимание будет уделено ограничению на количество присваиваемых категорий (параметр k) для каждого из них. Ключевой мотивацией для этого ограничения служит теория обучения грамматик по Голду, то есть задача идентификации грамматики по тексту. Эта концепция, введённая Марком Голдом в 1967 году, будет подробно изложена в первой части. Будут приведены известные результаты о том, что класс всех контекстно-свободных грамматик необучаем; однако при ограничении количества возможных правил полученный подкласс становится обучаемым (теорема Шинохары). Этот результат естественным образом распространяется на случай AB-грамматик (теорема Канадзавы).

В первой части доклада для трёх указанных формализмов будет представлен обзор результатов о классах грамматик с количеством категорий, ограниченным параметром k. Данное ограничение для AB-грамматик исследовал Канадзава, а для грамматик Ламбека — Форе. Также будут рассмотрены методы сведения языков, порождаемых различными грамматическими формализмами, друг к другу. В частности, теорема Сафиуллина, которая утверждает, что грамматики Ламбека с однозначным присвоением типов порождают все контекстно-свободные языки. Из данной теоремы сразу следует, что класс грамматик Ламбека с однозначным присвоением типов необучаем в смысле Голда.

Во второй части доклада будут рассмотрены алгоритмические свойства полученных классов грамматик. В частности, будут представлены результаты Форе, а также их усиление для AB-грамматик и базовых категориальных грамматик.

➰ ВК