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

Невероятным импульсом для исследования Алана послужила проблема разрешимости, или Entscheidungs problem, поставленной перед учеными-математиками Гильбертом. Вместе с тем ему удалось не только ответить на вопрос, но и сделать при этом нечто большее. Отсюда кажется совершенно естсественным, что свою статью, описывающую основные идеи и ход его рассуждений, он назвал «О вычислимых числах применительно к Entscheidungsproblem». Тем не менее именно лекции Ньюмана помогли выявить нужное направление, в котором возникла возможность решить поставленный вопрос. Так, Алан смог разрешить один из ключевых вопросов в математике, с шумом ворвавшись в научный мир будучи еще никому неизвестным молодым ученым. Его решение проблемы касалось не только абстрактной математики или некоторой игры символов, оно также включало в себя рассуждения о природе отношений человека и физического мира. Это нельзя было назвать наукой с точки зрения проводимых наблюдений и предсказаний. Все, что он сделал — создал новую модель, новую основу. Его методы были сродни той игре воображения, которую использовали Эйнштейн и фон Нейман, ставя под сомнение существующие аксиомы вместо того, чтобы оценивать результаты. Его модель даже не была по-настоящему новой, поскольку раньше уже существовали многие подобные идеи, даже на страницах детской книги «Чудеса природы», представляющие мозг в виде машины, телефонного узла или офисной системы. Ему оставалось лишь объединить такое простое механистичное представление человеческого разума с ясной логикой чистой математики. Его машины, которые в дальнейшем будут называться машинами Тьюринга, стали той самой связью между абстрактными символами и физическим миром. А его образное мышление оказалось, в особенности для Кембриджского университета, пугающим своим индустриальным настроем.

Очевидно, что идея машин Тьюринга была как-то связана с его более ранним изучением теории детерминизма Лапласа. Хотя отношение было достаточно косвенным. С одной стороны, можно было утверждать, что «дух», о котором он ранее рассуждал, не являлся «разумом», решающим задачи интеллектуального характера. С другой стороны, описание машин Тьюринга не имело никакого отношения к физике. Тем не менее, он приложил все усилия, чтобы изложить тезис о «конечном множестве умственных состояний», подразумевающий материальное основание разума, вместо того, чтобы придерживаться лишь доказательства «предписанных указаний». И казалось, что к 1936 году он действительно перестал верить в идеи, которые еще в 1933 году называл в письме миссис Морком «утешительными» — идеи выживания духа и духовной связи. Вскоре он предстал в роли убедительного сторонника материалистических взглядов и признал себя атеистом. Так, Кристофер Морком был похоронен дважды, и Вычислимые Числа ознаменовали окончательное прощание Алана с другом детства.

Однако за внешним изменением скрывалась особая последовательность действий и постоянство. Раньше его заботило то, как совместить идеи воли и духа с научным описанием вопроса именно потому, что он достаточно остро ощущал влияние материалистических взглядов и вместе с тем чудесную силу человеческого разума. Головоломка осталась прежней, но теперь он подошел к ее решению с иной стороны. Вместо того, чтобы пытаться победить детерминизм, он попытался объяснить проявления свободы. Даже у нее должна была быть причина. В какой-то момент Кристофер отвлек его внимание от представления природы, полной чудес, и теперь он ввернулся к своему прежнему мироощущению.