В книге «В защиту аксиом. О философских основаниях теории множеств» Пенелопа Мэдди пытается ответить на следующие вопросы:
«Что делают теоретики множеств?» и «Как им это удается?»
Это собственные формулировки Мэдди, которые побуждают ее исследовать предмет и методы современной теории множеств.
Философский подход – это форма натурализма, получившая название Второй Философии, чтобы отличать ее от любой метафизически нагруженной Первой Философии.
Кроме того, светила современной философии математики Дж. Булос и П. Бенацерраф обсуждают вопрос, какая из бесконечностей в иерархии теории множеств слишком «велика» для понимания ее человеком, и то, как натурализм в математике решает этот вопрос
Отзывов пока нет.