Читаем Тьюринга. Путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга

Дочитал сегодня книгу Чарльза Петцольда «Читаем Тьюринга» из серии «Классика программирования». Книга очень интересна и одновременно крайне сложна для восприятия:) На самом деле Тюринг за свою жизнь опубликовал около 30 работ, причем это все были статьи и ни одной книги. Две статьи стали классическими:

– "О вычислимых числах" – здесь была введена машина Тьюринга для решения одной из проблем Гильберта относительно общего процесса доказуемости произвольных утверждений в математической логике

– "Вычислительные... İrəli

Эта книга Ч. Петцольда (наряду с другой его книгой «Код: тайный язык информатики») будет полезной и важной для всех, кто хочет разобраться в основах компьютерной логики.

Она не напрасно считается классикой: во-первых, она приводит к пониманию именно принципов (а «понимание одного принципа избавляет от необходимости помнить десять тысяч правил»), во-вторых она написана достаточно интересно – и это увеличивает усвояемость информации в разы (по сравнению с монотонным перечислением сухих фактов).

Очень крутая книга! Если вы начали ее читать, то уже не сможете остановиться до самого конца. Она заставляет буквально влюбиться в программирование!