Ф. П. Рамсей и программа логицизма

Характеристики
ISBN 978-5-9519-2117-8
Автор Суровцев В.А.
Издательство ЛЕНАНД
Переплет ПЕР
Формат 60x90/16
Вес, гр 320
Год 2021
Стр. 232
ID 40УР
В монографии рассматривается программа логицизма в основаниях математики. Анализируется, каким образом Ф.П. Рамсей предлагает модифицировать эту программу, чтобы освободить ее от нежелательных следствий в виде аксиом сводимости, бесконечности и мультипликативности. Исследуются взгляды Ф.П. Рамсея на философию математики и то, каким образом на эти взгляды повлияли идеи Г. Фреге, Б. Рассела и Л. Витгенштейна. Особое внимание уделено переориентации взглядов Ф.П. Рамсея от логицизма к умеренному интуиционизму под влиянием работ Г. Вейля.Для философов, логиков, специалистов в области оснований математики и всех интересующихся рассматриваемой проблематикой.