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

• Название: Игра в имитацию
• Автор: Эндрю Ходжес
• Жанр: Биографии и Мемуары
• Год: 2015
• ISBN: 978-5-17-089741-4

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

Национальный совет кинокритиков США и Американский институт киноискусства включили «Игру в имитацию» в топ 10 фильмов 2014 года. Также фильм получил пять номинаций на премию «Золотой глобус».

Настало время миру узнать о Тьюринге.

---

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

Такой парадокс не поддавался решению при попытках понять его истинный смысл. Философы могли обсуждать парадокс сколько им было угодно, но все их обсуждения не относились к делу, которым занимались Фреге и Рассел. Вся эта теория была создана с целью вывести арифметические законы из наиболее простых логических допущений при помощи автоматического, не допускающего двойного толкования, деперсонализированного метода. Независимо от истинного смысла парадокса Рассела, он представлял собой лишь последовательность символов, которые, согласно установленным правилам игры, неумолимо ведут к внутреннему противоречию всей последовательности. В этом и заключалось главное бедствие. В любой чисто логической системе не существовало возможности для какого бы то ни было несоответствия. Если бы в результате логических рассуждений было выведено утверждение «2 + 2 = 5», за ним последовал бы вывод, что «4 = 5» и «0 = 1», а значит любое число было бы равно нулю и любое утверждение было бы тождественно «0 = 0» и таким образом являлось бы истинным. Поэтому в условиях подобной игры математика должна была представлять собой нечто, полностью лишенное внутренних противоречий, иначе она теряла свой смысл.

Десять лет ушло на попытки Рассела и Альфреда Норта Уайтхеда устранить этот дефект. Существенная трудность заключалась в том, что внутренним противоречием обладала и попытка назвать любой набор объектов «множеством». Понятие требовало более точного определения. И хотя парадокс Рассела был не единственной проблемой, возникшей в теории типов, только ему была посвящена значительная часть совместной работы учёных «Principia Mathematica», в которой Рассел и Уайтхед стремились показать, что вся математика сводится к логике с помощью набора аксиом и нескольких основных понятий, то есть обосновать логицизм. Для этого была введена иерархия различных видов множеств, которые были названы «типами». Формальные объекты этой иерархии разделяются на типы: объекты, множества объектов, множества множеств, множества множеств множеств и так далее. В рамках разработанной теории типов теперь было невозможно сформулировать понятие «множества всех множеств». Между тем, такой подход значительно усложнил теорию, сделав её на порядок более сложной, чем система счисления, принципы которой она и должна была подтвердить. Оставалось неясным, являлась ли теория типов единственным полем для разработки идей о множествах и числах, пока к 1930 году не были разработаны альтернативные системы, автором одной из которых являлся фон Нейман.

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

Как и в саду Зазеркалья путь к самой сути математики вел в чащу замысловатой специальной терминологии. Подобное отсутствие какой бы то ни было связи между математическими символами и миром физических объектов очаровывало пытливый ум Алана. В конце предисловия к своей работе «Введение в математическую философию» Б. Рассел написал: «Здесь, однако, с точки зрения дальнейших исследований, как и везде, метод более важен, чем результаты, а метод не может быть объяснен в достаточной мере в рамках этой книги. Остается надеяться, что некоторые читатели заинтересуются настолько, чтобы продолжить изучение метода, которым математическая логика помогает прояснить традиционные проблемы философии». Таким образом, можно считать, что книга выполнила свое истинное предназначение с точки зрения автора, поскольку Алан всерьёз заинтересовался проблемой теории типов, а в более широком смысле столкнулся с вопросом, который волновал прокуратора Иудеи Понтия Пилата: «Что есть истина?».

Кеннет Харрисон был также знаком с некоторыми идеями Рассела, и они с Аланом могли провести несколько часов, обсуждая их. Однако, к неудовольствию Алана, его товарищ не мог не задаваться вопросом: «Но какая же польза от всего этого?». На что Алан, возможно, с радостным тоном в голосе отвечал, что, разумеется, никакой пользы в этом нет. И скорее всего, вскоре он нашел более увлечённых собеседников, поскольку осенью 1933 года он был приглашен на еженедельное вечернее заседание Клуба Моральных Наук, чтобы прочитать свою работу. Честь быть приглашенным на подобное заседание редко выпадала на долю кого-то из студентов, и уж тем более тех, кто не учился на факультете Моральных Наук, как раньше называли факультет философии и сопутствующих дисциплин в Кембридже. Подобная перспектива выступить перед лучшими специалистами в области философии могла вызвать некоторое беспокойство у Алана, тем не менее в письме к матери он сообщил об этом со своим привычным невозмутимым тоном:

26 ноября 1933 года

… мне предстоит представить свою работу на заседании Клуба Моральных Наук в эту пятницу. Работа некоторым образом связана с философией математики. Надеюсь, они узнают для себя много нового по этой теме.

В протоколе заседания Клуба Моральных Наук от 1 декабря 1933 года, в пятницу было отмечено:

Шестое заседание осеннего триместра было проведено в комнатах мистера Тьюринга в Кингз-Колледже. А.М. Тьюринг представил членам клуба свою работу под названием «Математика и логика». В ней он выдвинул свое предположение, что чисто логистическое представление математики не соответствует ее требованиям; и что математические суждения обладают множеством интерпретаций, и логистическое высказывание является лишь одной из них. После следовало обсуждение.

Р. Б. Брейтуэйт (подпись).

Ричард Брейтуэйт, выпускник философского факультета, являлся одним из молодых членов совета Кингз-Колледжа, и скорее всего именно по его рекомендации Алан получил приглашение на заседание клуба. Вне всяких сомнений к концу 1933 года Алан Тьюринг с головой погрузился в работу, пытаясь одновременно решить два вопроса чрезвычайной сложности. И в области квантовой физики, и в области чистой математики, задача состояла в том, чтобы установить связь между миром абстрактного представления и физическим миром, между символом и объектом.

Долгое время немецкие математики находились в самом центре мира научных исследований, как в области математики, так и в сферах остальных научных дисциплинах. Но уже к концу 1933 года от центра научного мира остались лишь руины, когда атмосфера в Геттингенском университете радикально изменилась. Здесь следует отметить, что Геттингенская математическая школа — это, в первую очередь, школа Гильберта. Его научные интересы охватывали практически всю математику: теорию чисел, алгебру, функциональный анализ, геометрию, логику. В каждой из этих областей он получил выдающиеся результаты. И именно школа Гильберта понесла при нацизме наибольшие потери. Джон фон Нейман был вынужден уехать в Америку, и после никогда оттуда не возвращался, другие математики прибыли в Кембридж. «Несколько выдающихся немецких ученых еврейского происхождения должны прибыть в Кембридж в этом году», — писал Алан в письме от 16 октября. — «По крайней мере двое из них точно будут числиться на факультете математики, а именно — Борн и Курант». Отсюда можно предположить, что он посещал курс лекций по квантовой механике, которые профессора Борн читал в том же семестре, или лекции по дифференциальным уравнениям, которые читал Курант в следующем семестре. Вскоре Борн переехал в Эдинбург, Шрёдингер обосновался в Оксфорде, но для большинства ученых Америка все же представлялась более доброжелательной и открытой для научных эмигрантов страной, нежели чем Великобритания. Новый Институт перспективных исследований, тесно сотрудничающий с Принстонским университетом во многих совместных проектах, взял на работу ряд учёных, бежавших из Европы от угрозы нацизма. О переезде Альберта Эйнштейна в Принстон французский физик Поль Ланжевен однажды сказал: «Это равносильно тому, что Папа Римский переехал из Ватикана в Новый Свет. Папа Римский мира физики переехал, и теперь Соединенные Штаты станут центром изучения естественных наук».