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

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

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

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

Докладчик:
Николай Плетнев

Тема:
Выводимость как осмысленная стратегия: игровая семантика интуиционистской логики по Межирову

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