Аркадий Частиков - Архитекторы компьютерного мира

Герман Голлерит умер дома в Вашингтоне от сердечного приступа 17 ноября 1929 года, в возрасте 69 лет, в год краха Фондовой биржи, не ведая и не сожалея об утраченных возможностях. Голлерит закончил свою почти семидесятилетнюю жизнь в роскошной, счастливой старости, окруженный любящей семьей. До последних своих дней он ненавидел правила правописания до такой степени, что позволял себе писать слово «статистик» как вздумается.

Когда Голлерит построил машину для составления таблиц переписи 1890 года, он, вероятно, не думал о всей глубине проблем обработки данных, с которыми мы сейчас имеем дело и которые принадлежат такой науке, как информатика. Но ни в коем случае нельзя отрицать огромной важности идей, воплощенных в изобретениях Голлерита. Его машина была не только вычислительной; она выполняла выборочную сортировку, что является основой любого информационного поиска. Возможно, как раз простота, с которой Голлерит подошел к решению этих проблем, и является его важнейшим вкладом в информатику. Он использовал совершеннейшую технику своего времени, но его способы были легки для понимания, высокоэффективны, продуктивны и испытаны временем.

Алан Тьюринг

Алан Мэтисон Тьюринг родился в Лондоне в 1912 году в семье чиновника индийской гражданской службы Джулиуса Тьюринга и Сары Тьюринг, урожденной Стоней. Шотландская фамилия Тьюринг имеет нормандское происхождение. Англоирландская семья Стоней йоркширского происхождения дала обществу нескольких выдающихся физиков и инженеров.

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

Принимаясь за ту или иную задачу, он начинал ее решение с азов — привычка, которая дает свежесть и независимость его работам, но также, несомненно, делает автора трудно читаемым.

В 1931 году в девятнадцатилетнем возрасте Тьюринг в качестве математического стипендиата поступил в Королевский колледж Кембриджского университета. Четырьмя годами позже защитил диссертацию «Центральная предельная теорема теории вероятности» (которую он самостоятельно «переоткрыл», не зная об аналогичной предшествующей работе) и был избран членом Королевского научного общества. Именно в 1935 году он впервые начал работать в области математической логике и проводить исследования, которые уже через год привели к выдающимся результатам: решению одной из проблем Д. Гильберта и изобретению умозрительной машины (машины Тьюринга), по своему логическому устройству являющейся прообразом цифровых компьютеров, созданных только спустя десять лет.

Предыстория этого была следующей. В Париже в 1900 году на Международном математическом конгрессе знаменитый математик Давид Гильберт представил список нерешенных проблем. В этом списке второй значилась задача доказательства непротиворечивости системы аксиом обычной арифметики, формулировку которой в дальнейшем Гильберт уточнил как «Ent- scheidungsproblem» (проблема разрешимости). Она заключалась в нахождении общего метода, который позволил бы определить, «выполнимо ли данное высказывание на языке формальной логики, т. е. установить его истинность». Алан Тьюринг впервые услышал об этой проблеме на лекциях Макса Ньюмена в Кембридже (он работал там преподавателем математики с 1924 года) и в течение 1936 года получил ответ: проблема Гильберта оказалась неразрешимой. Результаты работы он описал в своей знаменитой статье в 1936–1937 годах. Но «значение статьи, в которой Тьюринг изложил свой результат, — писал Джон Хопкрофт, — простирается за рамки той задачи, по поводу которой статья была написана. Работая над проблемой Гильберта, Тьюрингу пришлось дать четкое определение самого понятия метода. Отталкиваясь от интуитивного представления о методе как о некоем алгоритме, т. е. процедуре, которая может быть выполнена механически (здесь, по- видимому, Тьюринг воспользовался терминологией М. Ньюмена — „чисто механический процесс“, примененной на лекции, излагающей проблему Гильберта), без творческого вмешательства, он показал, как эту идею можно воплотить в виде подробной модели вычислительного процесса. Полученная модель вычислений, в которой каждый алгоритм разбивался на последовательность простых, элементарных шагов, и была логической конструкцией, названной впоследствии машиной Тьюринга».