Что
такое математика. Обзор некоторых точек
зрения.
Основные
направления в философии математики
Теория
множеств и ее роль в современной
математике
Математическая
бесконечность..
Кризисы
в математике
Парадоксы
в логике и теории множеств.
Программы
обоснования математики начала XX века
логицизм (Г.Фреге, Б.Рассел, А.Н.Уайтхед)
Программы
обоснования математики начала XX века
интуиционизм (Л.Э.Я.Брауэр, Г.Вейль)
Программы
обоснования математики начала XX века
формализм (программа Д.Гильберта).
Аксиоматический
метод в математике. Формализация.
Математическое доказательство.
Теоремы
Геделя и их значение.
Современное
состояние проблемы обоснования
математики.
Существование
математических объектов. Математический
платонизм.
Математика
как язык науки
