Анастасия Оноприенко\\Интуиционистская логика

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