Философия математики (Светлов В.А.)
Основные программы обоснования математики ХХ столетия.
Дан подробный анализ четырех ведущих программ обоснования философии ХХ столетия - логицизма, интуиционизма, конструктивизма и формализма. Главный акцент сделан на раскрытии философских допущений перечисленных программ и доступном изложении тезисов и основных результатов каждой из них.
В пособии используется большое количество первоисточников и критической литературы. В первой главе автором излагается общий подход к проблеме обоснования математики. Предлагается решение, выходящее за рамки известной дихотомии априоризма и апостериоризма математического знания. Объясняется, почему ни одна из анализируемых программ не может считаться удовлетворительной в полной мере.
Об авторе: Виктор Александрович Светлов (1945, Ленинград) — доктор философских наук, профессор. В 1974 г. с отличием окончил дневное отделение философского факультета ЛГУ им. А.А.Жданова по специальности «логика». В 1979 г. защитил кандидатскую диссертацию, а в 1989 г. — докторскую диссертацию… еще…
комментариев нет