Код как борьба. Краткая история IT. Часть 1: Алан Тьюринг

3 часа назад Прокомментировать Просмотры: 3

Пара слов о концепции «Код как борьба». Мы не ставим целью публиковать исчерпывающие биографии — о каждом ключевом персонаже этого цикла написаны фундаментальные труды, и одна статья не заменит целую книгу. Избежим мы и излишне сухого технического погружения. Вместо этого мы проследим, как одна мысль плавно перетекает в другую, напоминая эстафетную палочку, которую поколения исследователей передают сквозь десятилетия и века зачастую в отрыве друг от друга. Если какой-то сюжет покажется особенно захватывающим, в конце материала вас ждет подборка профильной литературы и первоисточников.

Предыдущие материалы цикла:

Точка входа

0. Лейбниц, Бэббидж и Лавлейс

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

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

Приступим.

Часть первая. Задача, которую долго не могли корректно поставить

В 1928 году немецкий математик Давид Гильберт в соавторстве с Вильгельмом Аккерманом выпустил труд «Основы теоретической логики» (Grundzüge der theoretischen Logik), где сформулировал вопрос, звучащий философски, но являющийся предельно прикладным. Речь идет об Entscheidungsproblem — проблеме разрешения.

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

Заметим, что это прямая реплика той самой мечты Лейбница, о которой мы говорили в прошлом материале. Calculemus — «давайте вычислять». Только спустя два с половиной века этот запрос обрел абсолютную математическую строгость.

В 1936 году Алан Тьюринг дает на этот вопрос отрицательный ответ. Ему всего двадцать три года, и в конце мая — буквально за считанные недели до своего двадцатилетия — он направляет рукопись в Лондонское математическое общество. Вердикт ученого неутешителен: универсального алгоритма не существует.

Любопытно, что чуть раньше — весной того же года — к абсолютно аналогичному выводу пришел американский логик Алонзо Чёрч, избравший совершенно иной путь через лямбда-исчисление. Именно Чёрч рецензировал работу Тьюринга и настоял на ее публикации, отметив, что молодой коллега пришел к тождественному результату более элегантным и наглядным методом. Осенью Тьюринг отправляется в Принстон под начало Чёрча для работы над диссертацией, которую успешно защищает в 1938-м. Отсюда берет начало знаменитый тезис Чёрча — Тьюринга: формально первопроходцем был Чёрч, но именно абстрактный автомат Тьюринга превратился в краеугольный камень всей будущей науки о данных.

Однако поворотным моментом в истории стал даже не сам отрицательный вердикт, а тот уникальный инструментарий, который Тьюринг спроектировал для доказательства.

Часть вторая. Машина, существующая лишь в воображении

Взгляните на его подход. Тьюринг конструирует не физический аппарат, а предельно лаконичную *абстрактную модель вычислений* — чистой воды мысленный эксперимент.

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

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

И здесь Тьюринг математически доказывает поразительную вещь: несмотря на примитивность устройства, такая модель способна вычислить любую функцию, принципиально поддающуюся вычислению в интуитивном понимании. В этом и заключается суть упомянутого тезиса Чёрча — Тьюринга.

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

Остановитесь на секунду и вдумайтесь в революционность этой мысли. Сегодня для нас это банальность: один и тот же персональный компьютер с легкостью запускает и текстовый редактор, и трехмерную игру, просто загружая из памяти разные бинарники. Однако в 1936 году это казалось контринтуитивным. Тогда доминировало убеждение, что под каждую конкретную задачу требуется уникальное, узкоспециализированное «железо».

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

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

Часть третья. Блетчли-парк и взлом шифра «Энигма»

С началом Второй мировой войны Тьюринг вливается в ряды британской Правительственной школы кодов и шифров в усадьбе Блетчли-парк. Перед криптоаналитиками стоит амбициозная задача — расколоть «Энигму», электромеханическую шифровальную машину немецкого вермахта.

Здесь важно отдать должное исторической справедливости: Тьюринг не начинал с чистого листа. Еще на исходе 1930-х годов польское Бюро шифров в лице Мариана Реевского, Ежи Ружицкого и Хенрика Зыгальского самостоятельно раскусил механику «Энигмы», сконструировав аппарат для перебора комбинаций — так называемую «криптологическую бомбу» (bomba kryptologiczna). Незадолго до гитлеровского вторжения в Польшу летом 1939 года поляки передали союзникам всю техническую документацию и наработки. Без этого фундамента британская инициатива стартовала бы со значительно более скйчас позиций.

Тьюринг в тандеме с коллегами, в особенности с Гордоном Уэлчманом, творчески переосмыслил этот задел, создав специализированное устройство *Bombe*. Первая модификация под кодовым именем Victory была запущена в марте 1940 года. Машина автоматизировала перебор параметров «Энигмы», опираясь не на слепой перебор, а на логические закономерности и вероятные фрагменты открытых сообщений. Немцы регулярно отправляли рутинные сводки погоды со стандартными оборотами, и эти предсказуемые блоки становились отправной точкой для атаки. Уэлчман внедрил ключевое усовершенствование — «диагональную доску», кратно ускорившую процесс вычислений; вторая версия машины с этим апгрейдом заработала в августе 1940-го.

Сделаем важную омарку, дабы избежать растиражированного мифа о том, что «Тьюринг в одиночку выиграл войну». Это заблуждение. За проектом стоял колоссальный коллектив шифровальщиков и инженеров, начиная с польских математиков и заканчивая тысячами сотрудников Блетчли-парка. Среди них была Джоан Кларк — талантливый криптоаналитик и на определенном этапе невеста Тьюринга.

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

Вся деятельность Блетчли-парка была защищена грифом строжайшей секретности на десятилетия вперед. Большинство участников команды, включая Тьюринга, не имели права рассказывать о своем военном вкладе до конца жизни.

Запомните эту деталь — она сыграет роковую роль в дальнейшей судьбе ученого.

Часть четвертая. Послевоенный этап: от теории к реальному «железу»

По окончании боевых действий Тьюринг вовлекается в проект ACE (Automatic Computing Engine) в Национальной физической лаборатории — одну из первых детальных спецификаций практического компьютера с хранимой в памяти программой. Проект пробуксовывает из-за бюрократических барьеров, и в 1948 году ученый перебирается в Манчестерский университет. Там он подключается к созданию *Manchester Mark 1*, выросшего из знаменитой «Манчестерской малютки» (Manchester Baby) — компьютера, впервые в истории успешно выполнившего программу из собственной памяти.

В 1950 году на страницах философского журнала Mind появляется его программная статья «Вычислительные машины и интеллект» (Computing Machinery and Intelligence), где вводится культовый тест Тьюринга. Суть концепции проста и изящна: вместо того чтобы увязать в бесконечных метафизических дебатах о том, что считать «разумом», давайте переведем дискуссию в плоскость практической проверки. Способен ли искусственный интеллект в текстовом чате убедительно имитировать живого собеседника?

Неразрешимая философская дилемма трансформируется в операциональный критерий. В этом проявился весь узнаваемый почерк Тьюринга-исследователя.

Часть пятая. Трагический поворот

В январе 1952 года Тьюринг обращается в правоохранительные органы из-за кражи в его жилище. В ходе следствия всплывают подробности его личной жизни, обнажающие его гомосексуальность.

По законам Великобритании того периода это преследовалось в уголовном порядке как «грубая непристойность» в соответствии со статьей 11 Уголовного закона 1885 года. 31 марта 1952 года математик вынужденно признает вину.

Ему предлагают альтернативу: реальный тюремный срок либо годичный испытательный срок при условии прохождения гормональной терапии в Манчестерской королевской больнице. Речь шла об инъекциях синтетического эстрогена, подавляющих либидо — методе, известном как химическая кастрация. Ученый выбирает второй путь, рассчитывая сохранить возможность заниматься наукой.

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

А теперь вспомните о режиме секретности Блетчли-парка. Судимость автоматически аннулировала допуск к государственной тайне. Человек, чей военный вклад оставался засекреченным и не мог быть использован для его защиты, в одночасье оказался отрезан от любой деятельности, связанной с национальными интересами, которым он отдал лучшие годы.

Восьмого июня 1954 года Тьюринг был найден мертвым в собственном доме. Рядом с телом лежало надкушенное яблоко (именно эта деталь породила знаменитую легенду о логотипе Apple, хотя корпорация никогда официально не подтверждала эту связь). Существовала версия об отравлении цианидом, однако само яблоко экспертиза на яд не проверяла, так что этот образ скорее символичен. Официальным вердикт коронера стало самоубийство.

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

Часть шестая. Запоздалое признание

В 2009 году премьер-министр Соединенного Королевства Гордон Браун официально приносит извинения от лица правительства за бесчеловечное обращение с математиком.

Спустя четыре года, в 2013-м, королева Елизавета II подписывает акт о посмертном помиловании.

В 2017 году вступает в силу законодательная инициатива, неофициально именуемая «Законом Тьюринга», автоматически амнистирующая тысячи мужчин, пострадавших от аналогичных репрессивных мер.

Наконец, 23 июня 2021 года — символично в день рождения ученого — портрет Алана Тьюринга украшает новую британскую банкноту номиналом в пятьдесят фунтов.

Пожалуй, это самый пронзительный итог истории: выдающийся ум, растоптанный собственным государством за то, кем он был, спустя полвека становится лицом национальной валюты.

Резюме

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

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

Вопросы для обсуждения в комментариях

Первое: массовая культура и кинематограф (вспомним «Игру в имитацию») часто мифологизируют образ Тьюринга как «одинокого гения», занижая масштаб командной работы в Блетчли-парке и вклад польских математиков. Насколько допустимо такое упрощение ради драматизма?

Второе: каково это — лишиться возможности защитить себя реальными заслугами лишь потому, что эти заслуги засекречены твоей же страной? Специфика ли это военно-промышленного комплекса или явление, имеющее современные параллели?

Третье, переходя в день сегодняшний: тест Тьюринга создавался как обходной маневр в спорах о природе разума. В эпоху современных языковых моделей его валидность вновь под вопросом. Что бы ответил сам Тьюринг на сегодняшние дебаты об искусственном интеллекте?

В следующем материале мы переключимся с чистой теории вычислений на архитектурные основы физического «железа». Нас ждет история Джона фон Неймана — гения, который, параллельно работая над атомным проектом и теорией игр, набросал схему компьютера, определяющую облик практически каждого современного устройства на планете.

Источники и дополнительные материалы

Формулировка проблемы разрешения Гильбертом и Аккерманом, 1928 — Wikipedia: Entscheidungsproblem
Публикация работы Тьюринга 1936 года, рецензия Чёрча и поездка в Принстон — оригинал статьи, London Mathematical Society, Britannica Kids: Alan Turing, Princeton University Library: Alan Turing and Princeton
Роль польских шифровальщиков и «бомбы» как прототипа британского оборудования — Wikipedia: Bombe, BBC: Alan Turing’s nephew on how Poles helped crack Enigma code
Конструкция «диагональной доску» Гордона Уэлчмана — GCHQ: Gordon Welchman
Оценка сокращения длительности войны на 2-4 года — официальный историк британской разведки, из материалов кинопроката
Судебное преследование 1952 года и детали помилования — текст помилования, Goodreads, BBC: Royal pardon for codebreaker Alan Turing
Обстоятельства ухода из жизни и пересмотр вердикта коронера — Wikipedia: Alan Turing, BBC: Alan Turing: Inquest’s suicide verdict ‘not supportable’
Презентация купюры с портретом Тьюринга — Wikipedia: Alan Turing