Подробное описание документа

Светлов В. А.
   Философия математики. Основные программы обоснования математики XX столетия : учеб. пособие для вузов / Светлов В. А. - М. : КомКнига, 2006. - 204 с. - ISBN 5-484-00453-5.

Аннотация

Настоящее пособие подготовлено на основе авторского курса по истории и философии науки для аспирантов естественно-научного и гуманитарного цик-лов. Дан подробный анализ четырех ведущих программ обоснования философии ХХ столетия — логицизма, интуиционизма, конструктивизма и формализма. Главный акцент сделан на раскрытии философских допущений перечисленных программ и доступном изложении тезисов и основных результатов каждой из них. В пособии используется большое количество первоисточников и критической литературы. В первой главе автором излагается общий подход к проблеме обоснования математики. Предлагается решение, выходящее за рамки известной дихотомии априоризма и апостериоризма математического знания. Объясняется, почему ни одна из анализируемых программ не может считаться удовлетворительной в полной мере.
Пособие написано в соответствии с требованиями Программы кандидатских экзаменов по «Истории и философии науки», одобренной Высшей аттестационной комиссией и утвержденной приказом Министерства образования России от 17.02.2004, М 697.
Адресовано студентам, аспирантам, преподавателям, ученым, а также всем, кто самостоятельно изучает философские проблемы математики и кого интересуют логика и методология современной науки.

УДК

1:51

Предметные рубрики

• Математика - Философские проблемы

Общее кол-во в фондах

3 экз.

1. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
2. Преподавательский абонемент ауд.313, ГУК, ауд. 313
3. Читальный зал ауд.305л, УЛК, ауд. 305л
4. Читальный зал ауд.313, ГУК, ауд. 313