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

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

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

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

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

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

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

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

➰ ВК