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

Другим любопытным аспектом этого проекта стала его связь с элементарной логикой. Арифметические операции с нулями и единицами могли рассматриваться в рамках логики высказываний. Таким образом, упрощенная таблица умножения, к примеру, могла рассматриваться как эквивалент логической функции «И». Примем p и q за логические высказывания, тогда нижеприведенная «таблица истинности» покажет, при каких условиях высказывание “p И q” будет верным:

Вторая таблица была лишь интерпретацией первой. Все это должно было быть хорошо известно Алану, поскольку тема исчисления логических высказываний появлялась на первых страницах любой работы в области математической логики. Иногда она указывалась под названием «булева алгебра» в честь английского математика Джорджа Буля, который представил в виде формальной теории «законы мышления» в своем трактате, опубликованном в 1954 году. Вся двоичная арифметика могла быть выражена при помощи понятий булевой алгебры, используя логические операции «И», «ИЛИ» и «НЕ». Проблема, возникшая у Алана при конструировании умножителя, сводилась к использованию булевой алгебры, чтобы минимизировать количество необходимых для работы операций.

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

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

Тайное проникновение Алана в мастерскую факультета физики весьма символичным образом отражало проблему, с которой он столкнулся: для того, чтобы воплотить свою идею, ему было необходимо преодолеть границу, проведенную между инженерным делом и математикой, практическим применением и миром логических идей.