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

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

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 6 ноября.
Время проведения семинара 14:30.

МФТИ, радиотехнический корпус, ауд. РТ 113
Институтский пер., 9, стр. 1, Долгопрудный

Ссылка на яндекс-карту с пешим маршрутом от ст. Новодачная:
https://yandex.ru/maps/213/moscow/?ll=37.519439%2C55.929820&mode=routes&rtext=55.924397%2C37.527944~55.929869%2C37.516242&rtt=mt&ruri=ymapsbm1%3A%2F%2Ftransit%2Fstop%3Fid%3Dstation__lh_9601261~ymapsbm1%3A%2F%2Forg%3Foid%3D1109621791&utm_source=share&z=16

В здании пропускной режим, поэтому если у вас нет пропуска в МФТИ, то напишите заранее на почту kudinov.andrey@gmail.com. С собой иметь паспорт.

Заседание пройдет очно без трансляции.

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

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

Аннотация

Проблема семантической полноты для модальных логик предикатов оказалась очень нетривиальной. Естественная семантика Крипке применима лишь для ограниченного класса логик. Неизвестно, как ее модифицировать, чтобы все логики оказались полными. Однако в других семантиках дело обстоит несколько лучше. В докладе будет дан обзор некоторых результатов о полноте и неполноте модальных предикатных логик в различных семантиках.

➰ ВК

#матлог #наука #конференция

Занятие просеминара 7 ноября отменяется. Слушатели приглашаются на Международную конференцию «Формальная философия 2024».
https://llfp.hse.ru/announcements/968274219.html

Все доклады будут проходить в ауд А-307 в корпусе на Старой Басманной (Ст. Басманная ул., д. 21/4, стр. 4).

После входа налево, подняться на третий этаж и дальше по указателям.

По вопросам пропусков пишите Оноприенко А.А.

🔗 Международная конференция "Формальная философия 2024"


➰ ВК

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

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

Date: Nov 4, 2024. Time: 18:30 (MSK), 16:30 (CET)
Speaker: Nikolay Vereshchagin
Title: Goodman-Strauss theorem revisited
The Goodman-Strauss theorem states that for “almost every” substitution, the family of substitution tilings is sophic, that is, it can be defined by local rules for some decoration of the tiles. The proof of this theorem is very complicated and takes 38 pages in [C. Goodman-Strauss, Matching rules and substitution tilings, Ann. of Math. (2) 147 (1998), no. 1, 181–223]. Moreover, the conditions on the substitution that guarantee the sophicity of the family of substitution tilings are not stated explicitly, but are scattered throughout the proof. We propose a version of Goodman-Strauss theorem in which the conditions on the substitution are stated explicitly on two pages, and the proof takes 22 pages. These conditions are quite restrictive. For example, any substitution dealing with triangular tiles does not satisfy them. But we show that, in combination with two simple tricks (taking a sufficiently large power of the substitution and combining small tiles into larger ones), our version of Goodman-Strauss theorem can also prove the sophicity of a family of substitution tilings for “almost every” substitution.

➰ ВК

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

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 30 октября.
Время проведения семинара 14:30.

МФТИ, радиотехнический корпус, ауд. РТ 113
Институтский пер., 9, стр. 1, Долгопрудный

Ссылка на яндекс-карту с пешим маршрутом от ст. Новодачная:
https://yandex.ru/maps/213/moscow/?ll=37.519439%2C55.929820&mode=routes&rtext=55.924397%2C37.527944~55.929869%2C37.516242&rtt=mt&ruri=ymapsbm1%3A%2F%2Ftransit%2Fstop%3Fid%3Dstation__lh_9601261~ymapsbm1%3A%2F%2Forg%3Foid%3D1109621791&utm_source=share&z=16

В здании пропускной режим, поэтому если у вас нет пропуска в МФТИ, то напишите заранее на почту kudinov.andrey@gmail.com. С собой иметь паспорт.

Заседание пройдет очно без трансляции.

Докладчик: Андрей Кудинов

Название: Топологическое произведение логик S4.1 и S4

Аннотация

За последние несколько десятков лет многие авторы изучали произведения модальных логик, которые определяются семантически: произведения модальных логик L1 и L2 (L1 x L2) определяются, как логика класса произведений L1-шкал и L2-шкал. В работе 2005 ван Бентем с соавторами определили топологическое произведения модальных логик L1 и L2 (L1 x_t L2), как логику класса произведений L1-пространств и L2-пространств. Т.к. для логик расширяющих S4 шкалы Крипке, являются частным случаем топологических пространств, а именно александровскими пространствами, то топологические произведения дают ту же или более слабую логику, чем обычное произведение, основанное на шкалах Крипке. В той же работе 2005 было доказано, что топологическое произведение S4 x_t S4 совпадает с соединением логик S4*S4. В дальнейшем Кремер показал, что топологическое произведение S5 x_t S5 совпадает с Крипке произведением S5 x S5, а S4 x_t S5 совпадает с, так называемым, полупроизведением этих логик (S4 x S5)^EX.

Топологические произведения пока слабо изучены и получено мало результатов о полноте. В нашем докладе мы найдем топологическое произведение S4.1 x_t S4 и покажем, что оно отличается и от соединения, и от произведения, и даже от полупроизведения. S4.1 это расширение логики S4 аксиомой Маккинси: \Box\Diamond p - \Diamond\Box p. Известно, что S4.1 полна относительно слабо-разреженных пространств. Топологическое пространство называется слабо-разреженным, если любое открытое подмножество содержит изолированную точку.
Это первый известный пример произведения, отличающегося и от соединения, и от произведения, и от полупроизведения.

➰ ВК

#матлог #учёба #школа

Занятие просеминара 31 октября отменяется. Слушатели приглашаются на осеннюю школу «Логика и формальная философия 2024» https://llfp.hse.ru/announcements/955672040.html.

Все лекции будут проходить в ауд А-307 в корпусе на Старой Басманной (Ст. Басманная ул., д. 21/4, стр. 4).

После входа налево, подняться на третий этаж и дальше по указателям.

По вопросам пропусков пишите Оноприенко А.А.

🔗 Осенняя школа «Логика и формальная философия 2024»


➰ ВК

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

Семинар «Теория доказательств» / Logic Online Seminar (https://www.mathnet.ru/conf876),
28.10.2024, 16:00, ауд. 313 МИАН + Zoom
onsite talk, in Russian | очный доклад на русском языке

Максим Вишникин (МГУ, аспирант, https://www.mathnet.ru/person179526)
Выразительная сила категориальных грамматик с однозначным присвоением категорий

Категориальная грамматика – это классический формализм для описания формальных языков. Идея заключается в том, чтобы каждому символу присвоить одну или несколько категорий, и слово принадлежит языку порождающей грамматикой, если после замены каждого символа одной из своих категорий полученная последовательность сводится к некоторой целевой.

В данном докладе рассматривается подкласс категориальных грамматик, в которых каждому символу присвоена единственная категория. Это ограничение снижает выразительную мощность формализма (например, язык a^+ не может быть порожден). Главная цель – глубже понять, сколько выразительной мощности остается. Можно заметить, что даже если каждому символу назначена уникальная категория, это не означает полное отсутствие неоднозначности; последовательность категорий может иметь разные свертки, потому что все еще существует выбор, откуда в последовательности начать сокращение. Это наблюдение используется для доказательства того, что возможно закодировать любую контекстно-свободную грамматику в категориальную грамматику с единственным назначением категорий таким образом, чтобы слово w принадлежало языку контекстно-свободной грамматики тогда и только тогда, когда его кодирование находится в языке категориальной грамматики. Таким образом, в частности, получается усиление классической теоремы Грейбах о самом трудном языке.

Доклад основан на совместной работе с А.С. Охотиным.

🔗 Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar&


➰ ВК

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

Семинар "Категориальные грамматики" продолжает работу.
Ближайший семинар состоится 24 октября (24.10.2024).

Начало: 18:30 (24.10.24). Аудитория: 424.

Докладчик: С.Л. Кузнецов
Тема: "Грамматики Ламбека с итерацией Клини"

Аннотация:
Теорема Пентуса утверждает, что категориальные грамматики Ламбека задают в точности контекстно-свободные языки. Выразительные возможности категориальных грамматик сильно возрастают, если к исчислению добавить новые операции. В докладе будут рассмотрены грамматики, основанные на исчислении Ламбека с итерацией Клини в двух вариантах её аксиоматизации: инфинитарном (омега-правило) и индуктивном. Также в рассматриваемых исчислениях присутствуют аддитивные конъюнкция и дизъюнкция. Для первого случая доказано, что соответствующие грамматики порождают в точности все ко-перечислимые языки. Для второго случая получены частичные результаты: грамматики с итерацией, аксиоматизируемой правилом индукции, порождают все разрешимые языки, а также хотя бы один \Sigma^0_1-полный язык. Будут также сформулированы открытые вопросы для дальнейших исследований.

Если вам необходим пропуск в МГУ, необходимо заранее связаться по почте max.startjob@gmail.com

➰ ВК

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

На занятии просеминара 24 октября будет тема "Определимость в геометрии" (Дмитрий Баженов, студент кафедры).
Можно заранее порешать задачи (прикреплены к посту).

❗По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi

Просеминар проходит по четвергам в 16:45-18:20 в аудитории 424 (2 гуманитарный корпус). Информацию о просеминаре можно найти на странице http://logic.math.msu.ru/proseminar/.

🔗 Просеминар по математической логике и информатике — Кафедра математической логики и теории алгоритмов


📝 opredelimost_geom2024.pdf

➰ ВК

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

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 16 октября.
Время проведения семинара 14:30.

МФТИ, радиотехнический корпус, ауд. РТ 113
Институтский пер., 9, стр. 1, Долгопрудный

Ссылка на яндекс-карту с пешим маршрутом от ст. Новодачная:
https://yandex.ru/maps/213/moscow/?ll=37.519439%2C55.929820&mode=routes&rtext=55.924397%2C37.527944~55.929869%2C37.516242&rtt=mt&ruri=ymapsbm1%3A%2F%2Ftransit%2Fstop%3Fid%3Dstation__lh_9601261~ymapsbm1%3A%2F%2Forg%3Foid%3D1109621791&utm_source=share&z=16

В здании пропускной режим, поэтому если у вас нет пропуска в МФТИ, то напишите заранее на почту kudinov.andrey@gmail.com. С собой иметь паспорт.

Заседание пройдет очно без трансляции.

Докладчик: Д.И. Савельев

Название: О модальных логиках теоретико-модельных отношений

Аннотация

Пусть даны некоторый класс K моделей (например, класс всех моделей данной сигнатуры или данной теории) и бинарное отношение R на нём (например, отношение подмодели, расширения модели, гомоморфного образа или прообраза и т. п.), а также некоторый теоретико-модельный (в смысле Барвайза) язык L. Предположим, что в L выразима выполнимость его формул в R-образах, т. е. существует операция f на L, выражающая выполнимость формулы φ в некоторой модели, находящейся в отношении R с данной моделью. Тогда можно определить модальную теорию отношения R на классе K в данном языке L, интерпретируя модальную формулу «возможно, что φ» формулой f(φ) языка L. Интуитивно модальную теорию можно понимать как специфический «фрагмент» полной L-теории отношения R на K

Мы обсудим, как модальные теории зависят от теоретико-модельного языка L, их полноту по Крипке, выразимость и невыразимость модальности в заданном языке (в типичном случае языка первого порядка не хватает для выразимости), а также вычислим модальную теорию в конкретном случае отношения подмодели, взяв в качестве L подходящий инфинитарный язык второго порядка. Далее мы обсудим, как можно определить модальные логики в ситуации, когда язык L не обладает достаточной выразительной силой. Используя этот подход, мы докажем понижающую теорему типа Лёвенгейма – Скулема для языка первого порядка с модальностью, соответствующей отношению расширения моделей.

Модальную теорию класса K с отношением R назовём робастной, если она не меняется при переходе к теоретико-модельному языку L с большей выразительной силой; интуитивно робастную теорию следует понимать как «истинную» модальную теорию K и R. Мы увидим, что при выполнении некоторых естественных условий робастные теории полны по Крипке, и, используя этот факт, вычислим робастные теории отношений подмодели и фактормодели на различных классах моделей (например, на классе всех моделей той или иной сигнатуры, на классах линейных порядков, модальных алгебр, свободных групп). Во многих случаях эти теории будут совпадают с логикой S4.2.1; в некоторых случаях, однако, будут получаться ранее не встречавшиеся логики, имеющие простое семантическое описание, но неизвестную аксиоматизацию и сложность.

➰ ВК

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

На занятии просеминара 17 октября будет продолжение темы "Ординалы" (А.А.Оноприенко).
Можно заранее порешать задачи (прикреплены к посту).

❗По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi

Просеминар проходит по четвергам в 16:45-18:20 в аудитории 424 (2 гуманитарный корпус). Информацию о просеминаре можно найти на странице http://logic.math.msu.ru/proseminar/.

🔗 Просеминар по математической логике и информатике — Кафедра математической логики и теории алгоритмов


📝 Ordinals2024.pdf

➰ ВК

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

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).

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

ВРЕМЯ И МЕСТО ПОМЕНЯЛОСЬ!
Время проведения семинара 14:30.

МФТИ, радиотехнический корпус, ауд. РТ 113
Институтский пер., 9, стр. 1, Долгопрудный

Ссылка на яндекс-карту с пешим маршрутом от ст. Новодачная:
https://yandex.ru/maps/213/moscow/?ll=37.519439%2C55.929820&mode=routes&rtext=55.924397%2C37.527944~55.929869%2C37.516242&rtt=mt&ruri=ymapsbm1%3A%2F%2Ftransit%2Fstop%3Fid%3Dstation__lh_9601261~ymapsbm1%3A%2F%2Forg%3Foid%3D1109621791&utm_source=share&z=16

В здании пропускной режим, поэтому если у вас нет пропуска в МФТИ, то напишите заранее на почту kudinov.andrey@gmail.com. С собой иметь паспорт.

Заседание пройдет очно без трансляции.

Докладчик: Станислав Кикоть

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

Аннотация.
В докладе речь пойдет о строго позитивных фрагментах модальных логик (т.е. импликациях между формулами, содержащими только конъюнкцию и ромбы) с аксиомой слияния.
Будут рассматриваться унимодальные логики, такие как 𝐊.𝟐, 𝐃.𝟐, 𝐃𝟒.𝟐 и 𝐒𝟒.𝟐 с аксиомой ⋄□𝑝→□⋄𝑝, а также произведения модальных логик из набора {𝐊,𝐃,𝐓,𝐃𝟒,𝐒𝟒}, которые содержат бимодальное слияние ⋄1□2𝑝 → □2⋄1𝑝. Оказывается, что влияние унимодальной аксиомы слияния на аксиоматизацию строго позитивных фрагментов довольно слабое. При наличии ⊤ → ⋄⊤ она просто исчезает и не вносит вклад в аксиоматизацию. Без ⊤ → ⋄⊤ она дает более слабую формулу ⋄⊤ → ⋄⋄⊤. А вот бимодальное слияние дает более сложные строго позитивные импликации.

➰ ВК

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

Logic Online Seminar (https://www.mathnet.ru/conf876), 21.10.2024.
On 14.10.2024 — no seminar.

Non-standard time: 18:00 Moscow time.

Carlos Zapata-Carratalá (Society for Multidisciplinary and Fundamental Research; Wolfram Foundation)

Higher-Arity Algebras and Hypergraphs

Some open problems in the theory of Lie algebras are related to compositional structures of hypergraphs. In this talk I will present some promising directions of research in higher-arity algebras and their connection with hypergraph rewrite systems. Furthermore, I will argue that progress in these formal problems will lead to advancements in the theory of higher-order networks and complex systems applications.

The talk will be online only (no physical meeting).

🔗 Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar&


➰ ВК

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

Занятие просеминара сегодня 10 октября отменяется в связи с плохим самочувствием докладчицы.

Ждём вас 17 октября!

➰ ВК

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

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

11 октября 2024 г.
Докладчик: Г. Г. Черевиченко.
Название: Бар-рекурсия.

Аннотация: Бар-рекурсия - это некоторый способ определять вычислимые функции. По сути, это разновидность теоретико-множественной трансфинитной рекурсии по счётным ординалам, но вместо ординалов используются некоторые "фундированные деревья со счётным ветвлением". Будет рассказано про непрерывные функционалы Брауэра, какой ход мысли привёл тополога к отказу от принципа исключённого третьего и попыткам частично его сохранить и приложения к теории доказательств и программированию.

➰ ВК

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

Уважаемые коллеги, приглашаем вас на семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 09 октября. Время проведения семинара 14:00.

Аудитория ГК326 (Главный корпус).
г. Долгопрудный, Институтский пер., 9, стр. 3.

В здании пропускной режим, поэтому если у вас нет пропуска в МФТИ, то напишите на почту kudinov.andrey@gmail.com, вас встретят у центрального входа в главный корпус со стороны Институтского пер. С собой иметь паспорт.

Заседание пройдет очно без трансляции.

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

Название: Неразрешимые суперинтуиционистские исчисления и слабый закон исключённого третьего.

Аннотация.
Интуиционистская логика, получаемая из классической логики удалением закона исключённого третьего, была сформулирована в современном виде в 1930 году. Являясь более слабым, соответствующее исчисление Int может быть дополнено аксиомами до суперинтуиционистского — промежуточного между Int и классическим исчислением Cl. Алгоритмически неразрешимые примеры таких расширений были приведены только во второй половине семидесятых.
В книге А.Чагрова и М.Захарьящева приводится построение неразрешимой суперинтуиционистской логики с конечной аксиоматизацией при помощью машин Минского. Докладчик использовал этот метод для доказательства, что такая аксиоматизация может содержать ещё и формулу слабого закона исключённого третьего.
Для понимания материала желательно представлять себе связь шкал Крипке с интуиционистским исчислением высказываний, но основные понятия будут введены в течение презентации.
Доклад основан на 16 главе книги Александра Чагрова и Михаила Захарьящева — Modal Logic: №35 (Oxford Logic Guides): OUP Oxford, 1997.

➰ ВК

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

На занятии просеминара 10 октября будет продолжение темы "Ординалы" (А.А.Оноприенко).
Можно заранее порешать задачи (прикреплены к посту).

❗По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi

Просеминар проходит по четвергам в 16:45-18:20 в аудитории 424 (2 гуманитарный корпус). Информацию о просеминаре можно найти на странице http://logic.math.msu.ru/proseminar/.

🔗 Просеминар по математической логике и информатике — Кафедра математической логики и теории алгоритмо


📝 Ordinals2024.pdf

➰ ВК

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

Logic Online Seminar (https://www.mathnet.ru/conf876), Monday 16:00 MSK (UTC+3), Room 313 MIAN + Zoom (onsite talk, in Russian)
07.10.2024 Лев Дворкин (МГУ, 6 курс): Об интерпретации нормальных модальных логик и аддитивных формул в S4, S5, Grz, K и GL.

Пусть L — модальная логика, A(p) — формула с единственной переменной p. Рассмотрим перевод формул [A/], коммутирующий с булевыми связками и отображающий формулу вида B в A([A/]B). Обозначим через L_A множество формул, перевод которых выводим в L. Несложно проверить, что L_A является логикой (вообще говоря, не нормальной). Будем говорить, что формула A задаёт интерпретацию L_A в L.

Несложно заметить, что логика L_A нормальна тогда и только тогда, когда
L |- A(p \/ q) ↔ A(p) \/ A(q) и L |- A(\bot) ↔ \bot.
Такие формулы A назовём аддитивными. Оказывается, что неэквивалентных аддитивных формул немного. В S5 их всего три, в S4 и Grz — пять. В K и GL аддитивных формул бесконечно много, но все они устроены относительно просто.

Мы обсудим основные методы, которыми были получены перечисленные результаты и возможные их обобщения

🔗 Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar&


➰ ВК

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

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

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

Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.

Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog

Докладчик: Елена Попова

Название: Логика свидетельств: обзор

Аннотация.

Доклад будет посвящен обзору логик свидетельств. Это явные аналоги модальных логик, в которых вместо модальности \Box используются выражения вида "t:ф", где t — свидетельский терм. Они интерпретируются как "t есть свидетельство в пользу ф".
Первая пропозициональная логика свидетельств LP, введенная С.Н. Артёмовым в 1995 году, соответствует модальной логике S4 (см. [1]). Дальнейшие исследования (см. [2] в качестве обзорной работы) описывают логики свидетельств для модальных систем K, KT, K4 и других. Семантика для этих логик была определена и изучена С.Н. Артёмовым и М. Фиттингом. В докладе мы опишем наиболее известные логики свидетельств, их свойства и семантику для них. Также планируется обсудить логику свидетельств первого порядка. Мы опишем синтаксис этой логики, её семантику и связь с модальной логикой предикатов.

1. Artemov S. N. Operational Modal Logic : tech. rep. / Mathematical Sciences Institute, Cornell University. 1995. No. 95–29.
2. Artemov S. N., Fitting M. Justification Logic: Reasoning with Reasons. Cambridge University Press, 2019.

🔗 Логика в Москве


➰ ВК

#матлог #конференция

С 7 по 9 ноября 2024 в Международной лаборатории логики, лингвистики и формальной философии пройдет ежегодная конференция «Формальная философия». Конференция посвящена обсуждению проблематики: философской логики, формальной эпистемологии и эпистемической логики, формальной онтологии, философии логики, математической логики и филоcофии математики.
https://llfp.hse.ru/announcements/968274219.html

🔗 Международная конференция "Формальная философия 2024"


➰ ВК

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

Уважаемые коллеги, приглашаем вас на семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 02 октября. Время проведения семинара 14:00.

Аудитория ГК326 (Главный корпус).
г. Долгопрудный, Институтский пер., 9, стр. 3.

В здании пропускной режим, поэтому если у вас нет пропуска в МФТИ, то напишите на почту kudinov.andrey@gmail.com, вас встретят у центрального входа в главный корпус со стороны Институтского пер. С собой иметь паспорт.

Заседание пройдет очно без трансляции.

Докладчик: Михаил Рыбаков
Тема: Рекурсивная неотделимость в модальных и суперинтуиционистских предикатных логиках.

Аннотация

Предлагается проблема типа «домино», позволяющая моделировать два рекурсивно неотделимых множества натуральных чисел. Затем эта проблема используется, чтобы доказать сначала рекурсивную неотделимость многих теорий бинарного предиката в языке с тремя переменными, а затем — многих неклассических предикатных логик унарного предиката в языке с двумя переменными.

➰ ВК