Игра в имитацию - Эндрю Ходжес (2015)

Оставалось множество вопросов без ответа относительно открытий, совершенных Геделем и Аланом, и того, что имели в виду под свои описанием разума. В конечном решении программы Гильберта оставалось много неопределенностей, хотя оно определенно подавило надежду слишком наивного рационализма иметь возможность решить любую проблему путем вычисления. Для некоторых, включая самого Геделя, неудача попытки доказать последовательность и полноту математики служило новым примером превосходства разума над механизмом. С другой стороны, машина Тьюринга открыло возможности для новой области детерминистической науки. Она служила моделью, в которой наиболее сложные процессы строились из элементарных составляющих — состояний и позиций, считывания информации и ее записи. Вместе с тем она предполагала под собой чудесную математическую игру ума, в которой любой «определенный метод» представлялся в стандартной форме.

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

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

Глава 3

Новые люди

Я слышу, меня обвиняют, что я подрываю основы,

На самом же деле не против основ я и не за основы

(Что общего в самом деле с ними есть у меня? или что с разрушением их?),

Я хочу лишь одно учредить в Маннагатте и в городе каждом Соединенных Штатов,

Внутри страны и на море,

На полях и в лесах, и над каждым килем большим или малым, бороздящим воду,

Без учреждений и правил, ругательств или доказательств,

Основу нежной любви товарищей.

Почти в тот же день, когда Алан поделился с Ньюманом своим открытием, другой ученый закончил свою работу о доказательстве неразрешимости Entscheidungs-problem Гильберта. Им оказался выдающийся американский логик и профессор математики Принстонского университета Алонзо Чёрч, 15 апреля 1936 года завершивший свою работу по разработке теории лямбда-исчислений. Несмотря на то что основная идея работы Чёрча, доказывающая существование «неразрешимых проблем», была опубликована годом ранее, именно в тот момент ему удалось облечь свою мысль в форму ответа на вопрос Гильберта.

Таким образом, новая идея одновременно посетила два человеческих разума. Поначалу в Кембридже не было известно об этом исследовании, о чем можно судить из письма Алана матери от 4 мая: