Вы часто спрашивали меня о том, какие возможные применения могут быть найдены для исследований в различных областях математики. Недавно я обнаружил одно из возможных применений той вещи, над которой я в данным момент работаю. Это устройство сможет ответить на вопрос «Что из себя представляет наиболее общий вид кода или шифра из всех возможных?», и в то же время (естественным образом) позволяет мне создать множество специфических и интересных шифров. Один из них совершенно невозможно взломать без ключа и так же легко позволяет закодировать сообщение. Полагаю, я мог бы продать их правительству Его Величества за довольно внушительную сумму, но я сомневаюсь относительно нравственности такого дела. Что вы об этом думаете?
Шифрование могло бы стать одним из прекрасных примеров воплощения применимого к символам «определенного метода», действия, которое могло бы выполняться одной из машин Тьюринга. В самом понимании шифрования лежала необходимость, чтобы кодирующее устройство работало как машина в согласии с любым правилом, заранее установленным с получателем сообщения.
Что касается «наиболее общего вида кода или шифра из всех возможных», если подумать, любая машина Тьюринга включала в себя процесс кодирования информации, указанной на рабочей ленте, в записанную на ней информацию по завершении выполнения операций. Тем не менее, для практического использования появлялась необходимость в машине обратного действия, которая смогла бы восстановить изначальные данные на ленте. Что бы ни представлял из себя результат работы, она должна была основываться именно на этих принципах. Но относительно «специфических и интересных шифров» он не смог развить свои идеи.
Также он больше не касался обозначенного в письме спорного вопроса о «нравственности»: что ему было делать в этой ситуации? Миссис Тьюринг, разумеется, как и все из рода Стоуни, придерживалась мнения, что наука существовала ради цели ее практических применений, и она не была одной из тех, кто может усомниться в моральном авторитете правительства Его Величества. Но интеллектуальная традиция, к которой относил себя Алан, существенно отличалась от взглядов его матери. Дело было не только в отчужденности Кембриджского университета от остального мира, но в большей мере в существенном срезе взглядов современной математики, который имел в виду Г. Х. Харди, когда писал следующее:
«Настоящая» математика «настоящих» математиков, математика Ферма, Эйлера, Гаусса, Абеля и Римана, почти полностью «бесполезна» (это верно как в отношении «прикладной», так и в отношении «чистой» математики). Жизнь любого настоящего профессионального математика невозможно оправдать на основании одной лишь «полезности» его трудов. (…) Великие современные достижения в области прикладной математики были и в теории относительности, и в квантовой механике, и эти разделы науки, по крайней мере сейчас, почти столь же «бесполезны», как и теория чисел. На добро или на зло работают скучные элементарные разделы прикладной математики, равно как и скучные элементарные разделы чистой математики.