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

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

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

Дата и время: 03.10.2025 (пятница) в 16:20

Докладчик: Анастасия Оноприенко

Название: Интуиционистская логика

Аннотация:
На рубеже XIX-XX веков в существующей на тот момент теории множеств было обнаружено большое число парадоксов.
Так как теория множеств мыслилась как попытка формализовать всю имеющуюся математику, это привело к кризису оснований математики.
Брауэр видел в качестве возможного варианта разрешения этой проблемы пересмотр смысла логических связок и кванторов и отказ от рассмотрения абстрактных объектов, существующих лишь в нашей, порой противоречивой, фантазии.
В докладе будет определена интуиционистская логика, рассмотрена её семантика Крипке, некоторые следствия из теоремы о полноте (не конечнозначность интуиционистской логики, теорема Гливенко), а также перевод интуиционистской логики высказываний в модальную логику S4.
В конце будет сделан краткий обзор некоторых более свежих результатов и открытых вопросов в этой области.

➰ ВК