Аркадий Частиков - Архитекторы компьютерного мира
Отчет по АСЕ был передан в исполнительный комитет НФЛ 19 марта 1946 года с сопроводительной запиской Уомерсли, в которой сообщалось, что, хотя отчет основан на проекте EDVAC, последний содержит ряд идей, принадлежащих Тьюрингу. Хотя о работе Тьюринга во время войны многое неизвестно, она, безусловно, значительна, хотя бы по тем моментам, которые обозначены в проекте АСЕ. Машина под названием MOSAIC, основанная на первичном варианте этого проекта, была вскоре построена Чандлером и Кумбсом.
В сентябре 1948 года Тьюринг перешел на работу в Манчестерский университет, номинально заняв должность заместителя директора лаборатории вычислительных машин, хотя в действительности он числился в математическом отделе М. Ньюмена и являлся ответственным за программирование.
В Манчестерском университете с конца 1940 года под руководством Ф. Уильямса и Т. Килбурна разрабатывалась вычислительная машина «Марк-1». 21 июля 1948 года на машине была запущена 52-минутная программа, и в настоящее время считается, что «Марк-1» был первым действующим компьютером с хранимой программой.
При работе над усовершенствованием манчестерской машины М. Ньюмен первым пришел к изобретению индексного регистра, а А. Тьюринг написал первое руководство по программированию. Кроме того, Тьюрингом было придумано еще одно новшество. В машине «Марк-1» использовался 5-битный код для представления команды, причем каждая команда содержала 4 таких кода, т. е. 20 бит. С целью облегчения программирования Тьюринг предложил поставить в соответствие каждому 5-битному коду определенный символ из набора 32 знаков (25) — по числу возможных комбинаций. Символы, которые, по Тьюрингу, соответствовали пятизначному двоичному коду, содержали цифры, буквы и знаки препинания, имеющиеся на стандартной клавиатуре телепринтера. Например, символ «/» (косая черта) был обозначен как 00000, буква «R» — 01010 и т. д. В дальнейшем, как известно, символы компьютеров, в том числе и современных персональных, стали занимать 8-битный код (байт). Их число может достигать 256 различных знаков (28).
В конце 40-х годов Тьюринг занялся проблемой «мыслящих» машин, машинного интеллекта, которая к настоящему времени сформировалась в целое направление под названием «Искусственный интеллект». Многие ученые (в частности, Дж. Сирл) считают Алана Тьюринга основоположником искусственного интеллекта. Первая его статья «Intelligent Machinery» в форме отчета Национальной физической лаборатории вышла в 1948 году, а затем в 1950 году в английском журнале «Mind» была опубликована его основополагающая статья «Computing Machinery and Intelligence». В русском переводе она вышла под названием «Может ли машина мыслить?». И сегодня анализ этой проблемы Тьюрингом «остался, пожалуй, самым лучшим из всего, что стоит прочитать каждому желающему понять суть дела».
«Я собираюсь рассмотреть вопрос „Могут ли машины мыслить?“ — этими словами Тьюринг начинает статью, но вскоре он заменяет исходную постановку вопроса совершенно иной, в которой „мышление“ машины рассматривается в технических терминах. В качестве критерия оценки мыслительной деятельности машины Тьюринг предлагает использовать ее действия в процессе „игры в имитацию“ (Imitation game). Эта „игра“ в дальнейшем получила название теста Тьюринга.
В современном понимании тест Тьюринга интерпретируют следующим образом: если машина способна имитировать поведение, которое эксперт- экзаменатор не сможет отличить от поведения человека, обладающего мыслительными способностями (у Тьюринга испытуемые — человек и машина — отделены от эксперта-экзаменатора, задающего вопросы, стенами комнат и общаются посредством телеграфа), то машина также обладает этими способностями. С 50-х годов было опубликовано много работ по вопросу о том, как программно реализовать тест Тьюринга и что „можно надеяться получить из современного уровня эвристического программирования“. О своих надеждах и прогнозах А. Тьюринг писал в конце статьи: „Мы можем надеяться, что вычислительные машины в конечном счете смогут конкурировать с людьми во всех чисто интеллектуальных сферах деятельности. Но с какими машинами лучше всего начать двигаться к этой цели? Даже на этот вопрос ответить затруднительно. Многие люди думают, что лучше всего машина может выявить свои возможности в чрезвычайно абстрактной области, подобной игре в шахматы. Можно также утверждать, что лучше всего было бы снабдить машину наилучшими „органами чувств“ (датчиками) из числа тех, что можно купить, а затем учить эту машину понимать и говорить по-английски. Этот процесс может быть сходен с обычным обучением ребенка. То есть машине надо указать на тот или иной предмет, назвать его и т. п. Повторяю, что я не знаю, как правильно ответить на этот вопрос, но я думаю, что следует попытаться использовать два этих подхода.
Мы можем заглядывать вперед лишь на очень небольшое расстояние, но уже сейчас очевидно, что нам предстоит еще очень многое сделать в той области, которая была предметом настоящей статьи“.
О Тьюринге, как о личности с нетрадиционными взглядами, со странностями характера, вспоминают многие его коллеги. О его чудачествах ходили легенды. Живя в Кембридже, он никогда не ставил часы по сигналам точного времени, а вычислял время в уме, отмечая положение определенной звезды.
В Блетчли-парке в начале июня каждого года с ним происходили сильные приступы сенной лихорадки (аллергии), и тогда он приезжал на работу на велосипеде в противогазе, спасаясь от пыльцы. У его велосипеда был дефект: через регулярные промежутки времени спадала цепь. Вместо того чтобы починить его, он подсчитывал число оборотов педалей, чтобы вовремя слезть с велосипеда и поправить цепь. Он привязывал, как вспоминает И. Гуд, цепью свою кружку к радиатору отопления, чтобы ее не стащили.
Однажды Тьюринг, узнав о падении курса английского фунта, расплавил имеющиеся серебряные монеты и закопал слиток на территории парка, но затем забыл, где именно. Тьюринг был неплохим спортсменом. После войны, чувствуя необходимость в физической разрядке, он пробежал длинную дистанцию и нашел, что преуспел в этом. Затем он выиграл трехмильную и десятимильную дистанции своего клуба, оба раза в рекордное время, а в 1947 году занял пятое место в марафонском забеге.
Многие коллеги вспоминают его энтузиазм и волнение, с которыми он брался за любую идею, интересовавшую его, — от „говорящего“ зайца до трудной научной проблемы. На него смотрели с большим уважением, т. к. он выделялся своим интеллектом и оригинальностью мышления. Его характеризовали как врожденного учителя, способного решить и объяснить любую необычную задачу. Кроме того, „не последнее слово сказано о нем как об инженере“, — говорил У. Чандлер.
Кроме выдающихся успехов, которых он добился в области компьютерной науки и машинного интеллекта, в области „чистой“ математики Тьюринг получил ряд результатов в теории аппроксимации групп Ли, конечных групп и в вычислении дзета-функции Римана.
В конце жизни он занялся вопросами биологии, а именно разработкой химической теории морфогенеза, которая дала полный простор для его редкого сочетания способностей математика с точностью вычислительной машины и одаренного философа, полного смелых и оригинальных идей. Предварительный доклад 1952 года и отчет, который появился уже после его смерти, описывают только первые наброски этой теории.
Для восстановления здоровья Тьюринг обращался в большинстве случаев к домашним средствам. Он придумал игру под названием „Необитаемый остров“. Правила игры заключались в том, что все химические вещества (в том числе и лекарства) должны быть получены из бытовых продуктов. Так он получил цианистый калий и принял его. Утром 8 июня 1954 года его нашли в постели мертвым. Через несколько дней ему исполнилось бы 42 года.
Заслуги Алана Мэтисона Тьюринга в вычислительном мире велики. И, как свидетельство тому, известнейшая Ассоциация по вычислительной технике — ACM (Association for Computing Machnery, создана в 1947 году) учредила премию его имени. Первым лауреатом премии Тьюринга в 1966 году стал Алан Перлис (один из создателей АЛГОЛа) — первый президент ACM. В дальнейшем этой премии удостаивались такие виднейшие ученые, как Джон Бэкус (создатель Фортрана), Джон Маккарти (создатель ЛИСПа, первый, кто ввел в практику термин „искусственный интеллект“), Кеннет Айверсон (создатель АЛЛ), Герберт Саймон и Аллен Ньюэлл (создатели эвристического программирования) и др.
Многие языки программирования носят имена великих математиков: ЕВКЛИД, ПАСКАЛЬ, БЭББИДЖ и т. д. В 1982 году ученые университета в Торонто создали более мощный, чем ПАСКАЛЬ, язык программирования и назвали его ТЬЮРИНГ.
Клод Шеннон
Автор теории информации и практического воплощения булевой алгебры
В наше время идеи Шеннона играют важную роль почти во всех системах, хранящих, обрабатывающих или передающих информацию в цифровой форме, от лазерных дисков до компьютеров, от машин до автоматических космических станций…