RUS  ENG
Полная версия
СЕМИНАРЫ

Семинар С. Л. Кузнецова и С. О. Сперанского "Неклассические логики"
12 октября 2022 г. 18:00, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online


Семинар 5. Конструктивная математика

Иван Слюсарев



Аннотация: Доклад будет посвящен конструктивной математике и конструктивной логике. Конструктивное направление математики есть «математическое мировоззрение, связанное с признанием исследования конструктивных процессов и конструктивных объектов основной задачей математики» [А. А. Марков]. Конструктивную математику можно также определять как математику, в основе которой лежит некоторая конструктивная логика. В докладе будут перечислены несколько конструктивных логик, будет показано, какими специфическими свойствами они обладают. Будет затронута тема верных, с точки зрения конструктивных логик и интуиционистской логики, принципов и форм рассуждений в математике, а также будут приведены примеры классических (основанных на классической логике) доказательств и конструктивных доказательств некоторых математических теорем. Доклад будет опираться на статью «Five stages of accepting constructive mathematics» А. Бауэра и на книгу «Конструктивная теория доказательств и нестандартный анализ» А. Г. Драгалина.


© МИАН, 2024