Достаточно тяжело для восприятия неподготовленного читателя, коим я и являюсь в данной сфере человеческого знания. Не смотря на заявляемое "облегченное изложение материала" (на обложке книги) и "...для широкого круга читателей, интересующихся данным предметом" (в описании) эта книга всё-таки в большей степени учебник, нежели чем научпоп.
Исходя из названия, в книге присутствуют как "символы", так и "лица". Так как это всё-таки учебник по математической логике, то без математических символов не обошлось. В данной книге присутствуют формулы, понять которые, надо достаточно глубоко вникнуть в изложение материала, иначе можно легко запутаться и потеряться. На многих примерах, автор объясняет как эти формулы логики работают. С целью облегчения понимания автор приводит также метафорические истории В качестве "лиц логики" в книге приводятся краткие биографии людей, сделавшие тот или иной вклад в развитии логики.
В моём случае, под конец книги, я стал просматривать текст по диагонали, так как немного потерялся, а возвращаться, перечитывать, вникать детальней не захотелось. Ещё раз подчеркну, что это не научно-популярное изложение математической логики. Надо быть готовым "работать головой", чтобы понимать написанное. Не для широкого круга читателей, а для читателей именно интересующихся данным предметом.
В более увлекательной форме и в более легком, для восприятия, изложении материала о развитии математической логики можно в книгах М.Клайна.
2 понравилось
