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

Что следует из этого? Теперь мы можем использовать то обстоятельство, что имеется только одна коммутационная панель, выполняющая одну и ту же своппинговую операцию на буквах, поступающих на роторы и выходящих из них (если бы «Энигма» была оснащена двумя разными коммутационными панелями — одной для своппинга вводимых букв, другой — для своппинга получающихся, то это была бы совсем другая история). Кроме того, мы можем использовать тот факт, что этот конкретный иллюстративный «ключ» содержит одну особенность — замкнутый контур. Проще всего это можно увидеть при выработке возможных обобщений, которые можно сделать из (АА).

Проверяя вторую букву в комбинации, мы вводим А в роторы «Энигмы» и получаем на выходе, например, букву О. Это значит, что коммутационная панель должна содержать своппинг (ЕО).

При проверке четвертой буквы, утверждение (ЕО) будет иметь импликацию для N, например, (NQ); теперь третья буква дает импликацию для К, например (KG).

Наконец, мы рассматриваем шестую букву: здесь контур замыкается, и мы получаем либо соответствие, либо противоречие между (KG) и оригинальной гипотезой (АА). Если это противоречие, то гипотеза оказалась ложной и может быть удалена.

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

Это было начало, и оно стало первым успехом Алана. Подобно большинству научных исследований военного времени, идея не требовала самых совершенных знаний. Скорее здесь была нужна квалификация такого же уровня, что и про проведении перспективных исследований, но применяемая при решении более простых проблем. Идея автоматизации процессов была достаточно известна в двадцатом веке. Ей не был нужен автор «Computable Nambers». Но его серьезный интерес к математическим (вычислительным) машинам, его увлеченность идеей работы машины, были очень важны. Опять же, присущие коммутационной панели условия «соответствия» и «противоречия» касались только сугубо ограниченной проблемы, а не чего-то, подобного теореме Гёделя, которая описывала бесконечное множество теории чисел. Но аналогия с формалистской концепцией математики, в которой импликации должны были механически доведены до логического конца, была поразительна.

Алан смог реализовать свою идею в виде конструкции новой «Бомбы» в начале 1940 г. Она была запущена в производство, причем работа шла со скоростью, которую невозможно было представить в мирное время. Выпуском руководил Гарольд «Док» Кин на заводе компании «British Tabulating Machinery» в Летчуорте. Раньше здесь выпускали офисные счетные машины и сортирующие устройства, в которых реле выполняли простейшие логические функции, например, суммирование и распознавание. Теперь задачей завода был выпуск реле, выполняющих переключение «Бомбы» в случае «распознавания» позиции, где есть соответствие, и остановку машины. И снова Алан оказался тем самым человеком, который понял, что необходимо сделать. Сказался его необычный опыт знакомства с релейными множителями, который помог вникнуть в проблему выполнения логических манипуляций в такого рода технике. Возможно, в 1940 г. не было никого, кто мог бы контролировать эту работу лучше его.