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

Между тем, для публикации работы требовалось предоставить доказательство, что его определение «вычислимого» (computable) числа, т. е. того, что может быть вычислено одной из машин Тьюринга, было тождественно тому, что Чёрч назвал «практически вычислимым», имея в виду возможность описать его формулой лямбда-исчисления. Поэтому он внимательно изучил статью Чёрча, а также его исследования, которые он провел в совместной работе со Стивеном Клини в период с 1933 по 1935 год, и схематически изобразил требуемое доказательство в приложениях к своей работе, которая была готова 28 августа. Аналогичность идей была достаточно очевидна, поскольку Чёрч использовал определение (формулы «нормального вида»), которое соотносилось с определением «удовлетворительных» машин в теории Тьюринга, а затем применил диагональный метод Кантора, чтобы создать неразрешимую проблему.

Если бы он работал более последовательно, он бы не приступил к решению проблемы Гильберта, не изучив перед этим всю доступную научную литературу по этому вопросу, включая и саму работу Чёрча. В таком случае, возможно, он бы не попал в такую неловкую ситуацию, но вместе с тем, возможно, он бы не пришел к совершенно новой идее создания логической машины, которая не только решила одну из проблем Гильберта, но и поставила перед наукой ряд новых вопросов. В его “полностью самостоятельном” исследовании были свои недостатки и преимущества. И в случае с центральной предельной теоремы, и в его работе с Entscheidungs problem, в математике он повторял судьбу Роберта Скотта, приходя к результату только вторым. И хотя он не был одним из тех, кто рассматривает математику или науку как соревновательную игру, безусловно он испытал горькое разочарование. Такое положение означало месяцы и месяцы отложенной работы, а также затмевало оригинальность его собственного подхода к решению задачи. Но самое главное, он снова остался в тени своих коллег.

Что касается центральной предельной теоремы, тем летом его диссертация для программы предоставления стипендии была подана на конкурс математических работ Кембриджского университета, который носил название Премия Смита. Все это вызвало необычайный ажиотаж в Гилфорде, где миссис Тьюринг вместе с Джоном провели безумные полчаса на коленях, в спешке упаковывая посылку с работой, над которой Алан продолжал работать до последнего момента. К тому времени Джон уже женился в августе 1934 года, и Алан теперь стал дядей. Но ни его брат, ни его родители не имели и малейшего представления о том, какие важные философские проблемы легли в основу его работы и всей его жизни. Миссис Тьюринг с присущим ей интересом к духовному миру, возможно, лучше всех остальных понимала волновавший Алана вопрос свободной воли, но даже она была не в силах увидеть эту связь. Алан никогда не распространялся о своих внутренних терзаниях, и лишь иногда окружавшие его люди могли заметить некоторые неявные намеки.

В Кембриджском университете, как и в Кингз-Колледже, с благосклонностью отнеслись к повторному открытию Аланом теоремы, и он получил вознаграждение в размере тридцати одного фунта. В последнее время он стал увлекаться парусными судами, проводя все выходные на воде, и теперь подумывал потратить свой выигрыш на покупку лодки. Но позже он все-таки передумал, решив, что эти деньги ему пригодятся во время учебы в Америке.