Читать книгу Инноваторы. Как несколько гениев, хакеров и гиков совершили цифровую революцию онлайн | страница 42
Статья Тьюринга была опубликована в 1937 году под не очень выразительным названием “О вычислимых числах и их приложении к Entscheidungsproblem”. Его ответ на третий вопрос Гильберта оказался полезным для развития теории математики. Но гораздо более важным стал “побочный продукт” доказательства Тьюринга – его концепция логической вычислительной машины, которая вскоре стала известна как “машина Тьюринга”. В статье он утверждал: “Можно изобрести единую машину, которую можно использовать для вычисления любого вычислимого ряда”10. Такая машина была бы способна выполнить команды, данные любой другой машине, и решить любые задачи, которые та машина может решить. В сущности, она была воплощением мечты Чарльза Бэббиджа и Ады Лавлейс об универсальной машине самого общего назначения.
Другое и менее красивое решение для Entscheidungsproblem с более громоздким названием “Бестиповое лямбда-исчисление” раньше в этом же году опубликовал Алонзо Чёрч, математик из Принстона. Руководитель Тьюринга – профессор Макс Ньюман – решил, что Тьюрингу было бы полезно поучиться у Чёрча. В своем рекомендательном письме Ньюман описал огромный потенциал Тьюринга. Он также добавил более личную рекомендацию, основанную на особенностях характера Тьюринга. “Он работал без всякого руководства или обсуждения с кем-либо, – написал Ньюман, – и поэтому важно, чтобы он как можно скорее вступил в контакт с ведущими специалистами в этой области, чтобы не превратился в закоренелого отшельника”11.
Тьюринг действительно предпочитал вести одинокий образ жизни. Временами из-за своей гомосексуальности он чувствовал себя чужим везде; он жил один и избегал серьезных личных отношений. В какой-то момент он предложил брак девушке-коллеге, но потом был вынужден признаться ей, что он гей; она не пришла в ужас и по-прежнему готова была выйти за него замуж, но он полагал, что это будет обманом, и решил дать задний ход. Тем не менее он не стал “законченным отшельником”. Он научился работать с другими сотрудниками в команде, что явилось ключевым обстоятельством, позволившим его абстрактным теориям превратиться в реальные, значимые изобретения.