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

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

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

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

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

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

Аннотация

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

➰ ВК