📙 Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic Dirk W. Hoffmann

Книга Дирка В. Хоффмана «Limits of Mathematics» (рус. «Границы математики») представляет собой амбициозную попытку провести читателя по основным разделам математической логики XX века. Выход английского перевода третьего немецкого издания в 2025 году — событие, безусловно, заметное, особенно учитывая редкость подобных научно-популярных, но при этом достаточно строгих работ на эту тему. Однако, знакомство с содержанием и критический анализ рецензий специалистов, в частности авторитетного ресурса «Logic Matters», рисуют неоднозначный портрет этого издания.

➕ Широта охвата: Книга действительно претендует на роль компактной энциклопедии современной математической логики. Для студента, желающего получить карту местности перед погружением в детали, такой подход может быть полезен.

➕Уникальный материал: Особого внимания заслуживает шестая глава, посвященная алгоритмической информационной теории. Этот раздел редко встречается в вводной литературе, и его включение можно считать сильной стороной книги, предлагающей читателю взглянуть на «границы математики» через призму энтропии и случайности.

➕Дидактическое оформление: Книга содержит множество двухцветных иллюстраций и более 70 упражнений с ответами на сайте автора, что традиционно хорошо для самостоятельной работы.

➖ Хоффман стремится оживить повествование историческими комментариями, но здесь его подводит точность. Например, утверждение о том, что «до начала двадцатого века никто всерьез не сомневался, что природа следует элементарным правилам», вызывает улыбку у знающего читателя, знакомого с философией того же Лихтенберга. Более серьезная претензия — оценка трудов Рассела и Уайтхеда, которую автор ставит выше работ Фреге, что противоречит академическому консенсусу.

➖ В книге используется линейный аксиоматический матан (в стиле Фреге-Лукасевича) для доказательства теорем, что довольно архаично. При этом полностью игнорируются более удобные и интуитивные системы, такие как натуральная дедукция или секвенциальное исчисление. Доказательство теоремы о полноте логики предикатов, краеугольного камня предмета, автор отправляет читателя искать в старые работы Кальмара, не давая даже намека на элегантное доказательство Хенкина.

➖ Рассматривая арифметику Пеано, Хоффман формулирует аксиому индукции как схему на языке первого порядка, хотя всего за несколько страниц до этого у него уже было введение в логику второго порядка. математика #книги #maths #mathematics #наука #science

💡 Physics.Math.Code // @physics_lib