Краткая история цифровизации

В 1936 году 24-летний Тьюринг опубликовал статью о теоретической проблеме разрешимости, сформулированной Давидом Гильбертом, и предложил ее практическое решение. Исходный вопрос Гильберта заключался в том, возможно ли создание «детектора правды» – алгоритма, который, задавая бинарные вопросы, за определенное количество шагов мог бы доказать истинность любого логического утверждения. Решение Тьюринга было оригинально тем, что он не стал углубляться в запутанные металогические рассуждения, а отдал задачу на откуп искусственному интеллекту – машине, которая, судя по всему, была задумана как продолжение его детской идеи по созданию непроливающейся перьевой ручки. Описанная машина действительно представляла собой устройство для записи, состоящее всего из трех элементов: бесконечной ленты, разделенной на ячейки, головки записи-чтения, которая могла считывать и перезаписывать содержимое каждой ячейки, и программы, которая указывала головке в левую или правую соседнюю ячейку она должна сместиться, как должно измениться ее состояние и как должно измениться содержание текущей ячейки.

Такая схема упрощала многие задачи, например подсчет чего-либо можно было реализовать следующим образом: «Считай число из ячейки, передвинься вправо и прибавь к считанному числу единицу. Запиши результат в то поле, где ты находишься». Так как время работы машины было ничем не ограничено, она была в состоянии решить любую механическую задачу, если, конечно, та не предполагала использование какого-то нового вида чисел. Машина Тьюринга представляла собой не что иное, как формализованное бэббиджевское доказательство существования Бога, а попутно еще и была решением проблемы разрешимости Гильберта – ну или, если точнее, показала ее неразрешимость: если время вычислений не ограничено, то алгоритм никогда не остановится, поэтому не сможет вынести суждение об истинности или ложности.

Математическое доказательство, приведенное Тьюрингом, может показаться нам непонятным, однако с описанным феноменом мы сталкиваемся постоянно: это тот самый момент, когда наш компьютер зависает.

Статья Тьюринга впечатлила математическое сообщество, и молодого ученого позвали учиться в Америку. После защиты своей докторской диссертации он вернулся в Англию, где был тут же приглашен на работу в Школу правительственной связи – подразделение английской разведки, ответственное за взлом шифров. Здесь он впервые столкнулся с тем, что тогда называли «компьютером» – множеством молодых и низко оплачиваемых секретарш, которые сидели за столами в огромных залах и выполняли простейшие арифметические и копировальные операции. Под «программным обеспечением» тогда тоже понималось нечто иное – бумажные карточки с переменными настройками «Энигмы», использовавшиеся немецкими подводниками-радистами. Чтобы ценные сведения не попали к противнику, сами карточки и чернила на них были сделаны из материала, который растворялся в воде в случае затопления подводной лодки. С учетом этого проект «Энигма» идеально подходил Тьюрингу. Здесь его окружали самые разные «ботаники»: фанаты кроссвордов, исследователи иероглифов, палеонтологи и другие ученые «не от мира сего», которые не удивлялись даже тому, что Тьюринг приезжал на работу на велосипеде и в противогазе.

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