Вселенная Алана Тьюринга

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

* * *

Между тем смерть Георга Пятого ознаменовала собой переход от протеста против старого порядка к страху перед тем, что могло ожидать впереди. Германия уже победила новое Просвещение и поставила железное клеймо на идеалистах. В марте 1936 года был снова оккупирован Райнленд, и это означало только одно: будущее теперь зависело от политики усиления военной мощи и подготовки к войне. Кто тогда мог увидеть во всем этом связь с судьбой кембриджского математика? И все же связь была, поскольку однажды Гитлер потеряет Райнленд, и именно тогда универсальная машина сможет найти в мире свое практическое применение. Но между идеей машины Тьюринга и ее воплощением произойдет страшное, в результате чего жертвами станут миллионы людей. И жертв не станет меньше даже после свержения власти Гитлера.

* * *

…Алан представил свою работу для публикации Лондонскому математическому сообществу 28 мая 1936 года. Однако в Англии не нашлось ни одного человека, который смог бы отрецензировать работу Тьюринга для публикации в журнале. Ни один из корифеев науки не удосужился обмолвиться хоть словом. В случае же основного читателя журнала Лондонского математического общества Proceedings существовало сразу несколько причин, почему работа Алана не могла заинтересовать его в полной мере. Математическая логика оставалась отчасти периферийной темой для исследований, в которой сами математики обычно видели или попытку доработать то, что и так всем известно, или попытку создать новые проблемы на пустом месте. Начало работы казалось увлекательным, но после (типичным для Тьюринга образом) текст заводил читателя в непролазные дебри рядов непонятных готических символов, объясняющих устройство таблиц его универсальной машины. И в последнюю очередь этим могли заинтересоваться специалисты прикладной математики, которые обычно прибегают к практическому вычислению в таких областях, как астрофизика и гидроаэромеханика, где уравнения не приводят к решениям в явном виде.

* * *

Позже, в 1943-м, Алан вновь возвращается к идее создания чудо-машины, но уже способной к обучению. Находясь в Блетчли-парке, его в свободное нерабочее время можно было встретить в кафетерии. Разговоры тогда часто вращались вокруг математических и логических головоломок, а Алан был мастак взять какую-то элементарную задачку и показать, какой принципиальный вопрос за ней стоял, или наоборот – проиллюстрировать какое-нибудь математическое доказательство повседневным примером. Так проявлялись его особый интерес к соединению абстрактного и конкретного и удовольствие, которое он находил в демистификации «высокой» математики. Для доказательства симметрии он мог использовать узоры на обоях.