Нравится LibRing?
Расскажи друзьям:
В. А. Светлов

Философия математики. Основные программы обоснования математики ХХ столетия

Обложка книги Философия математики. Основные программы обоснования математики ХХ столетия

Книгу можно купить в интернет-магазинах:

· OZON.ru 203р. [Проверить наличие]
· Библион 152р. [Проверить наличие]
ISBN: 5-484-00453-5, 978-5-484-00453-9
Издательство: КомКнига
Год издания: 2006
Страниц: 208
Настоящее пособие подготовлено на основе авторского курса по истории и философии науки для аспирантов естественно-научного и гуманитарного циклов. Дан подробный анализ четырех ведущих программ обоснования философии ХХ столетия - логицизма, интуиционизма, конструктивизма и формализма. Главный акцент сделан на раскрытии философских допущений перечисленных программ и доступном изложении тезисов и основных результатов каждой из них. В пособии используется большое количество первоисточников и критической литературы. В первой главе автором излагается общий подход к проблеме обоснования математики. Предлагается решение, выходящее за рамки известной дихотомии априоризма и апостериоризма математического знания. Объясняется, почему ни одна из анализируемых программ не может считаться удовлетворительной в полной мере. Пособие написано в соответствии с требованиями Программы кандидатских экзаменов по «Истории и философии науки», одобренной Высшей аттестационной комиссией и утвержденной...