Философия и проблема обоснования математики

Проблема обоснования математического знания на различных стадиях его развития. Геометрическое обоснование алгебры в античности. Проблема обоснования математического анализа в XVIII веке. Поиски единой основы математики в рамках аксиоматического метода. Открытие парадоксов и становление современной проблемы обоснования математики.

Логицистская установка Г.Фреге. Критика психологизма и кантовского интуиционизма в понимании числа. Трудности концепции Г.Фреге. Представление математики на основе теории типов и логики отношений (Б.Рассел и А.Уайтхед). Результаты К.Геделя и А.Тарского. Методологические изъяны и основные достижения логицистского анализа математики.

Идеи Л.Брауэра по логицистскому обоснованию математики. Праинтуиция как исходная база математического мышления. Проблема существования. Учение Л.Брауэра о конструкции как о единственно законном способе оправдания математического существования. Брауэровская критика закона исключенного третьего. Недостаточность интуиционизма как программы обоснования математики. Следствия интуиционизма для современной математики и методологии математики.

Гильбертовская схема абсолютного обоснования математических теорий на основе финитной и содержательной метатеории. Понятие финитизма. Выход за пределы финитизма в теоретико-множественных и семантических доказательствах непротиворечивости арифметики. (Г.Генцен, П.Новиков, Н.Нагорный). Теоремы К.Геделя и программа Гильберта: современные дискуссии.

Философско-методологические и исторические проблемы