Книга Ч. Петцольда 'Читаем Тьюринга' посвящена детальному разбору исторической статьи Алана Тьюринга 'О вычислимых числах в применительно к Entscheidungsproblem' 1936 года (Тьюрингу было 24 года). Книга начинается с основ, с возникновения проблемы разрешения Гильберта, далее подробно разбирается ход изложения в статье Тьюринга, также излагаются исследования, идущие параллельно к работам Тьюринга. В конце книги описывается дальнейшее развитие идей, связанных с машиной Тьюринга. Хотя машина Тьюринга была создана для решения определенной проблемы Гильберта, в настоящее время она широко используется при изложении теории алгоритмов...