Михайлова Н.В. Философско-методологические основания постгёделевской математики

Монография. — Минск: Минский государственный высший радиотехнический колледж (МГВРК), 2009. — 156 с. — ISBN: 978-985-526-042-5.Монография посвящена актуальной проблеме философии математики – философско-методологическим основаниям постгёделевской математики. Предлагаемый в работе подход к анализу действующих философско-методологических программ обоснования современной математики рассматривает формализм и интуиционизм как равноправные составляющие естественного процесса развития неклассической и постнеклассической математики. Для этого в концептуальном решении проблемы оснований математики используются философско-математическая идея двойственности.
Адресуется студентам, магистрантам и аспирантам философских, математических и инженерных специальностей, а также преподавателям философских и математических дисциплин и всем тем, кто интересуется философскими проблемами математики.Введение
Интуиционизм и формализм в неклассической математике: динамика развития
Интуиционизм как преодоление классического стиля математического мышления
Метаматематическая программа обоснования формалистической концепции математикиАнализ программы обоснования научного знания в постгёделевской математике
Структурализм и математическая двойственность: границы математического познания
Теоретико-числовые исследования и алгоритмические проблемы в обосновании математикиФилософско-методологический анализ сущности математических представлений
Финитизация бесконечного в методологии неклассической математике
Онтологические проблемы философско-математического познания: перспективы исследованияЗаключение
Приложения
Системный подход в современной методологии обоснования математики
Загадка эффективности математики и умеренный скептический платонизм
ЛитератураTrue PDF