Какой абсолютный кладезь знаний о философии математики! Книга задает невинный вопрос - что мы делаем, когда занимаемся математикой? Мы открываем сущности или создаем новые? Что такое доказательство вообще? Что происходит, когда мы узнаем, что математика неполна и не может быть формализована? Точка зрения автора (с которой я на 100% согласен) заключается в том, что математика - это социокультурный артефакт. Заниматься математикой - это как изобретать правила игры и выяснять ее последствия. Конечно, некоторые аспекты математики имеют практическую полезность, но истина математических объектов не существует вне нас, а скорее находится в умах других математиков, которые дают нам необходимую обратную связь или валидацию. Я настоятельно рекомендую эту книгу. Она попадает в мой список «прочитать снова».