В.Э.: Уже со студенческих времен я не могу понять, почему все «теоретики от алгоритмов» так
держатся за эти «машины Тьюринга». Ну, предложил 23-летний юноша (только что окончивший
университет и ставший «research fellow-ом» или, по-нашему, «научным сотрудником») Алан Тьюринг
такую модель в мае 1936 года, когда в мире не существовало еще ни одного компьютера. Ну, было по тем
временам это, пожалуй, действительно выдающимся достижением. Но с тех пор прошло 74 года – целая
человеческая жизнь! Компьютеры теперь есть в каждом доме, с ними знаком почти каждый ребенок,
основы компьютерного программирования учат в школе на уроках информатики! Если, как утверждает
Пенроуз, машины Тьюринга эквивалентны компьютерам, то почему бы всѐ, что он хочет нам сказать об
алгоритмах и процедурах, не продемонстрировать на примере настоящих (пусть идеализированных – в
смысле бесконечной памяти и т.д.) компьютеров? Почему Пенроузу надо лезть в это беспросветное болото
«тьюринговых машин», в которое ни один уважающий себя компьютерный программист за ним не
последует? ПОЧЕМУ? Пенроуз не знает компьютеров? Или на реальных компьютерах все эти рассуж-
дения не получаются? «Теоремы» не выходят? Они получаются только в Тьюринговых болотах?