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

Ньюман изобрел гениальное решение, как можно во всей красе продемонстрировать машину, у которой крохотная память, зато есть умножающее устройство. Решением был поиск больших простых чисел. В 1644 году французский математик Мерсенн предположил, что числа 217 — 1, 219 — 1, 231 — 1, 267 — 1, 2127 — 1, 2257 — 1 должны быть единственными простыми числами в своем диапазоне. В XIIX веке Эйлер доказал, что одно из них — 231 × 1 = 2,146,319,807 — действительно простое. Но чтобы доказать то же самое в отношении других чисел, нужна была новая теория. В 1976 году французский математик Лукас нашел способ вычислить, является ли простым 2p — 1, с помощью возведения в квадрат и избавления от остатков. Он объявил, что число 2127 — 1 было простым. В 1937 году выяснилось, что в теории Мерсенна была ошибка, поэтому число, найденное Лукасом, так и осталось самым большим простым из известных.

Метод Лукаса был как будто специально создан для компьютера, который оперирует двузначными числами. Ньюман объяснил Тутиллу и Килберну задачу, и в июне 1949 года они создали программу, которая помещалась в четыре запоминающие электронно-лучевые трубки и все еще оставляла место для вычислений до P = 353. По пути они проверили все, что успели сделать Эйлер и Лукас, но больше простых чисел не обнаружили.

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

В НФЛ он занимался перфокартами, поэтому здесь взял на себя задачу создать телетайп, который потом можно будет использовать на принтере. Конечно же, он был очень хорошо знаком с системой телепринта Блэтчли и Хэнслоупа, который работал от батареи и «частенько заменял 1 на 0». Все знали, что перфоленты он взял в месте, о котором нельзя было говорить. После того, как все это было соединено вместе, 32 комбинации из нулей и единиц в ленте телетайпа стали языком Манчестерской машины.

Работа Алана заключалась в том, чтобы сделать машину удобной в использовании, однако его понятия об удобстве не всегда совпадали с понятиями окружающих. Конечно же, он раскритиковал принцип, по которому работал Уилкис: он предполагал, что аппаратура должна быть такой, чтобы пользователю было просто отслеживать команды. Так, буква А была символом для добавления команды. Алан, напротив, считал, что удобство должна обеспечивать программа, а не оборудование. Еще в 1947-м году он говорил о вопросах удобства как о «небольших дополнительных деталях» и подчеркивал, что все можно решить «с помощью бумажной работы». Теперь, в Манчестере, он мог доказать это на практике в работе с машиной, которая не была построена так, чтобы обеспечивать удобство программисту. Как бы то ни было, к 1949 году он уже потерял интерес к такому виду работы. Ему казалось, что не стоит беспокоиться о «маленьких дополнительных деталях» при переводе из двоичной системы исчисления в десятичную. Ему было легко работать с позиционной системой счисления с основанием 32, и Алану казалось, что так же должно быть и для всех остальных.