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