Игра в имитацию

Ходжес Эндрю

Глава 6

Ртутная задержка

Не дожидаясь назначения на должность в Национальной физической лаборатории, Алан Тьюринг обдумывал вопрос практического конструирования своей универсальной машины. В частности, он обсудил с Доном Бейли основную проблему ее архитектуры, а именно — механизм хранения данных, или «ленту». Алан с Доном обсудили все формы дискретного хранения данных, которые только могли прийти им на ум. Так, например, они рассмотрели возможность магнитной записи. Они видели захваченный немецкий армейский «Магнитофон», первое удачное устройство для записи данных на магнитную ленту, но отвергли эту идею потому, что магнитная лента была слишком похожей по своей сути на ленту теоретической Универсальной машины Тьюринга — она требовала активного физического передвижения туда-сюда. Алан и Дон предпочли иное решение, с которым Алан к этому моменту уже был знаком, и этим решением была «акустическая линия задержки».

Идея базировалась на том, что время, необходимое звуковой волне для прохождения нескольких футов по звуководу (трубке), составляло

порядка тысячной доли секунды. Звуковод можно было рассматривать, как временное хранилище звуковой волны на этот период. Данный принцип уже был применен в радаре: данные, сохраненные в линии задержки, использовались для гашения всех отраженных радиолокационных сигналов, не претерпевших преобразований с момента последнего сканирования. Таким образом, можно было сделать так, чтобы экран радара показывал только новые, или преобразованные, объекты. Использовать линию задержки, как запоминающий элемент для хранения импульсов электронной вычислительной машины, предложил Эккерт из коллектива разработчиков ЭНИАК. Его концепция зиждилась на нескольких условиях. Звуковод (трубка), или линия задержки, должен был различать импульсы, разделенные паузами всего в миллионную долю секунды, и передавать их не «замазанными». Необходимо также было, чтобы импульсы сохранялись не только на протяжении тысячной доли секунды, а неопределенно долгое время, что требовало их повторной рециркуляции в линии задержки. Если бы это делалось безыскусно, тогда бы импульсы очень скоро становились слишком «замытыми» для распознавания. Поэтому нужно было разработать электронное устройство, способное обнаруживать существование (несколько измененного) импульса, приходящего на конец линии, и посылать чистый импульс в начало = электронный аналог реле, используемый как телеграфный повторитель. А его надо было совместить с устройством для приема импульсов с остальных элементов вычислительной машины и обеспечения, при необходимости, обратной связи с ними. Было ясно, что для звуковых волн предпочтительная какая-либо иная среда, нежели воздух. А в многофункциональных РЛС уже применялась ртуть. Этот подходящий элемент, ассоциируемый с классическим божеством быстрой связи и сообщения, стал навязчивой идеей разработчиков на последующие несколько лет.

Это заманчиво дешевое решение в границах существующих технологий было провидчески принято в Предварительном докладе о машине ЭДВАК. В этот же сентябрьский период 1945 г. они опробовали этот принцип в хижине Хэнслопа. Дон Бейли соорудил картонную трубку с поперечником в восемь дюймов и во всю десятифутовую длину хижины, а Алан собрал сверхрегенеративный усилитель (особо чувствительный тип усилителя, модный в то время). Они подсоединили усилитель к микрофону на одном конце трубки и динамиком на другом. Идея заключалась в том, чтобы «прощупать» проблему, перезапуская звуковую волну в воздухе по принципу линии задержки, хлопая в ладоши на одном конце и рассчитывая получить после этого сотню искусственных. Из их затеи так ничего и не вышло до отъезда Алана из Хэнслопа для работы в Национальной физической лаборатории с 1 октября 1945 года. Но это значило, что Алан вступил в свою новую должность там уже не таким адептом «чистой математики», каким был в 1938 г., а полным идей, связанных, как с логикой, так и с физикой.

Создав новый Математический отдел, Уомерсли получил возможность набирать сотрудников из числа специалистов в области вычислений численными методами, поскольку он формировался в фарватере мобилизации сил для обороны страны. В его отдел вошла высоко ценимая Служба вычислительной техники Адмиралтейства ВМС Великобритании; она стала ядром самой мощной группы в западном мире, конкурентным аналогом которой в Америке служила соответствующая служба в Национальном бюро стандартов. Нельзя сказать, что они могли решать большие арифметические задачи, хотя они действительно решали задачи на арифмометрах. Их проблема была примерно такой же, с какой столкнулся Алан при вычислении значений дзета-функции Римана в 1938 г. Когда ресурсы «чистой математики» полностью исчерпывались, оставалась формула, или система уравнений, в которой действительные (вещественные) числа можно было заменить. Выполнение таких замен на настольных вычислительных машинах, арифмометрах, было процессом не слишком интересным. Но проблема лучшей организации работы была скорее абстрактным вопросом, относившимся к той области математики, которая звалась «численным анализом». А конкретная проблема заключалась в том, что, несмотря на то, что уравнения и формулы в основном соотносили «действительные числа» бесконечной точности, на практике в вычисления, произведенные с величинами, определенными только до энного числа десятичных знаков, неминуема закрадывалась погрешность на каждом шаге. Установление последствий таких погрешностей и их минимизация было важным аспектом численного анализа. Отчасти из-за существования таких проблем Алан шутил, что с появлением автоматических электронно-вычислительных машин математики не станут лишними и не останутся без работы.

Подотдел, выполнявший такую работу, возглавлял Э. Т… «Чарльз» Гудвин, ценивший Алана со студенческих лет. Два других подотдела, «Статистики» и «Перфорированных карт», также представляли интерес для Тьюринга, и наличие перфораторов в помещении должно было повлиять на выбор устройства ввода для его машины. Четвертый подотдел состоял из сотрудников группы дифференциального анализатора Хартри и некоторые время оставался в Манчестере. Пятый подотдел состоял из одного Алана Тьюринга. К концу года во всем Математическом отделе насчитывалось

двадцать семь сотрудников — примерно столько же, как и в штате крупного университетского факультета. В марте были приобретены два дома Викторианской эпохи, Теддингтон-холл и Кромер-хаус, в периметре территории Национальной лаборатории, а в октябре весь новый отдел разместился в Кромер-хаусе. Алану досталась маленькая комнатка в северном крыле. Напротив обустроились Чарльз Гудвин и его коллега Лесли Фокс, сосредоточившиеся на вопросе нахождения характеристических чисел матриц в связи с проблемой поиска резонансных частот при проектировании самолета. В те осенние месяцы они частенько слышали судорожные рывки каретки его пишущей машинки.

Поселился Алан в гостинице в расположенном по соседству Хэмптон-хилле, на окраине парка Буши, продолжая вести «жизнь на чемоданах», как в во время войны. Переход от войны к миру ознаменовался для Тьюринга тем, что теперь он оказался не под началом военных офицеров, а под руководством ученых. Это оказалось не такой уж большой переменой, как он мог ожидать. Потому как Уомерсли, которого Алан мрачно называл «мой босс» (и каковым он, собственно, ему и приходился), являл собой ходячее олицетворение того, что Алан презирал, как «обманку». Уомерсли не лишен был ни энергичности, ни прозорливости, но ему явно не хватало солидного запаса научных знаний, который Алан считал безусловно важным для человека на таком посту. Оттого и случилось, что длительный и обширный тур по Соединенным Штатам, совершенный «боссом» ранее в 1945 г., обернулся техническим провалом, поскольку Уомерсли не достало опыта, чтобы сделать подробные записи о том, что ему было дозволено там посмотреть. Флауэрс и Чендлер, вместо того, чтобы воспользоваться записями Уомерсли, были вынуждены отправиться сами в поездку в сентябре и октябре, чтобы ознакомиться с ЭНИАК в связи с той работой, которую они выполняли для военных на вычислительных машинах целевого назначения. Особенности руководящего стиля Уомерсли — умение похваляться знакомством с видными людьми; умеренный энтузиазм, обхаживание важных посетителей, дипломатическое чутье на то, о чем следует докладывать, а о чем нет — отнюдь не являлись теми качествами, которые высоко ценил Алан Тьюринг. И не столько в силу того, что он сам был лишен таких качеств, сколько потому, что он все еще не понимал, почему кому-то необходимо иное оружие, нежели разумная аргументация. В скором времени Алан уже открыто грубил Уомерсли в офисе, язвительно вопрошая «Чего хотим?» и, поворачиваясь спиной, если его «босс» решался вмешаться в какое-нибудь обсуждение. Впоследствии сотрудники отдела даже заключили пари о том, кто же из них выйдет из кабинета Уомерсли с «каким-нибудь уравнением, пусть даже с самым простейшим». Но потом от пари отказались и признали поражение, «за ограниченностью доступа», как выразился Алан. В свою очередь, Уомерсли водил посетителей по Кромер-хаусу, показывая на кабинет Алана издалека с наигранным трепетом и отзываясь о нем, как о каком-то редком зоологическом экземпляре: «Ох, уж этот Тьюринг, нам не стоит нарушать его покой».

Более мощный научный интеллект вкупе с независимым мнением о том, как должно проектировать компьютеры, возможно, больше тормозил, помогал реализации планов Алана, которые, по крайней мере, не вызывали у Уомерсли формального сопротивления. Наоборот, Уомерсли был готов согласиться со всем, что бы ему в конечном итоге не предложили. Он также придумал для проекта электронной вычислительной машины Тьюринга более счастливый акроним, в сравнении с бездушным ЭНИАК или ЭДВАК: АВМ — «Автоматическая вычислительная машина», по аналогии с «машиной» Бэббиджа. В связи с этим Алану даже припомнился Джордж Джонстон Стони, который не открыл электрон, но дал ему название. На самом деле, Уомерсли продемонстрировал завидное политическое мастерство, добиваясь одобрения проекта. Недаром на его столе лежала книжка «Как завоевывать друзей и влиятельных людей». Алан не замечал этого. Он все еще оставался политической фигурой.

Первой задачей Алана было написать «Предложения по созданию в Математическом отделе АВМ» с подробным изложением архитектуры электронной универсальной машины и описанием ее действия. Удивительно, но в докладе, представленном Аланом, не содержалось упоминаний о «Вычислимых числах». Вместо этого, доклад перекликался с Предварительным докладом о машине ЭДВАК и был рассчитан на чтение в увязке с ним. Впрочем, проект АВМ был вполне самостоятельным, и его истоки восходили не к ЭДВАК, а к универсальной машине Тьюринга. Это наглядно демонстрируют некоторые фрагментарные заметки и комментарии, датируемые этим периодом:

…В статье «О вычислимых числах» допускалась организация хранения всех данных по линейному закону; в таком случае время доступности информации прямо пропорционально объему сохраненных данных, будучи по сути цифровым интервалом, умноженным на число хранимых знаков. Это основная причина, по которой форма организации в «Вычислимых числах» не могла быть принята и реализована на практике в настоящей машине.

Намек содержался и в первом параграфе упомянутого доклада Алана, где примерами сопровождалось обещание того, что новые проблемы сведутся «буквально к канцелярской работе», и говорилось:

Кому-то может показаться удивительным, что такую машину можно создать. Разве возможно, чтобы машина выполняла так много разных операций? Ответ в том, что нам следует воспринимать машину, как совершающую совершенно простую операцию, а именно — выполняющую команды, поступающие ей в такой форме, в которой она будет способна их понять.

Но существенно акцентировал эту идею Алан в разговоре, состоявшемся годом позже, в феврале 1947 г., объяснив происхождение АВМ, как он сам его воспринимал: