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

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

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

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

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

---

С другой стороны, тенденция к применению абстрактного метода создала что-то вроде кризиса в области чистой математики. Если она теперь представлялась лишь игрой в символы, в которой игроки следуют произвольным правилам, что же стало с чувством абсолютной истины? В марте 1933 года Алан приобрел «Введение в математическую философию» Бертрана Рассела, в которой ученый попытался ответить на главный вопрос.

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

Оставалось неясным, действительно ли евклидовы аксиомы описывали полную теорию геометрии. Могло ли случиться так, что некоторые дополнительные предположения были хитрым образом представлены в виде доказательств из-за интуитивных и не выраженных явно идей о точках и прямых. С точки зрения современной науки, появилась необходимость абстрагировать логические связи между точками и прямыми, чтобы выразить их в рамках чисто символических правил, забыть об их «значении» с точки зрения физического пространства и тем самым показать, что в результате эта игра абстракциями была целесообразна сама по себе. Как однажды находясь под влиянием абстрактной точки зрения Виннера на геометрические объекты, Гильберт глубокомысленно заметил своим спутникам: «Следует добиться того, чтобы с равным успехом можно было говорить вместо точек, прямых и плоскостей о столах, стульях и пивных кружках».

В 1899 году Гильберту удалось обнаружить систему аксиом, из которой бы могли быть выведены все теоремы евклидовой геометрии. Тем не менее, доказательство существования такой системы аксиом требовало допущения, что теория «вещественных чисел» была удовлетворительной. Еще в древние времена греческие математики использовали «вещественные числа» для измерения бесконечно делимой длины отрезка. Но, с точки зрения Гильберта, этого было недостаточно.

К счастью, вещественные числа можно было описывать существенно различными способами. Уже к началу девятнадцатого века было хорошо известно, что «вещественные числа» можно представить в виде бесконечной десятичной дроби, например, число π можно записать в виде 3.14159265358979.… Более точное представление получила идея, что «вещественное число» может быть представлено настолько точно, насколько требуется, в виде десятичного числа — бесконечной последовательности целых чисел. И только в 1872 году немецкий математик Дедекинд смог изобрести конструктивный подход к определению «вещественного числа», при котором их строят, исходя из рациональных, которые считают заданными. Таким образом, исследование Дедекинда объединило понятия числа и длины, а также перенаправило вопросы Гильберта из области геометрии в область целых чисел или «арифметики», в ее строгом математическом смысле. Как выразился сам Гильберт, вся его работа заключалась в том, чтобы «свести все исследования к оставленной без ответа проблеме: противоречивы ли аксиомы арифметики».

На этом этапе разные ученые-математики стали применять различные подходы. Среди них существовала точка зрения, что изучение аксиом арифметики является само по себе абсурдным занятием, ведь в математике нет ничего более примитивного, чем целые числа. С другой стороны, можно было, конечно, поставить вопрос, существует ли некоторое выражение сути фундаментальных свойств целых чисел, из которой могут быть выведены остальные. В своих исследованиях Дедекинд рассматривал и этот вопрос и в 1888 году доказал, что вся арифметика берет свое начало из трех основных идей: 1 есть число; если n есть число, то и n+1 тоже есть число; принцип индукции позволяет сформулировать подобные утверждения для всех чисел. При желании эти идеи могут быть представлены, как абстрактные аксиомы в духе «столов, стульев и пивных кружек», на которых может быть построена вся теория чисел, не ставя вопрос, какое значение несут символы «1» или «+». Год спустя, в 1889 году, итальянский математик Джузеппе Пеано представил эти аксиомы в более привычной для современной математики форме.

В 1900 году Гильберт приветствовал новый век, поставив перед миром математических наук семнадцать нерешенных проблем. Вторая из них заключалась в доказательстве последовательности «аксиом Пеано», от которого, как он показал, зависела строгость математических дисциплин. Ключевым словом было «последовательность». Так, в арифметике ранее были известны теоремы, доказательство которых требовало выполнения тысячи математических операций, к примеру, теорема Гаусса, которая объясняет, что каждое целое число может быть представлено в виде суммы четырёх квадратов. Тогда как можно быть уверенным наверняка, что не существует подобной длинной последовательности выводов, которая бы привела к противоположному результату? В чем же найти то основание для веры в подобные математические суждения о всех числах, если они не поддаются проверке? И как абстрактные правила игры Пеано, по которым символы «1» и «+» не несут в себе исходного смысла, могут гарантировать свободу математики от противоречий? Эйнштейн сомневался относительно законов движения. Гильберт сомневался даже в утверждении, что дважды два равняется четырём — или по крайней мере сказал, что на то должна быть причина.

Первая попытка ответить на этот вопрос была предпринята в работе Готлоба Фреге «Основы арифметики: логически-математическое исследование о понятии числа», опубликованной в 1884 году. В ней ученый выразил свой логистический взгляд на математику, по которому законы арифметики выводились при помощи логический связей между объектами окружающего мира, а ее последовательность подтверждалась миром реальных вещей. С точки зрения Фреге, «1» обозначало нечто конкретное, а именно предмет окружающего мира: «один стол», «один стул», «одна пивная кружка». Таким образом, утверждение «2 + 2 = 4» должно было соответствовать тому факту, что, если добавить два предмета к уже имеющимся двум предметам, в результате и в совокупности мы получим четыре предмета. Цель работы Фреге заключалась в том, чтобы рассмотреть отвлечённо такие понятия, как «любой», «предмет», «другой» и так далее, и затем на их основе построить теорию, по которой законы арифметики могли быть выведены из наиболее простых идей существования.

Однако, в этой работе Фреге опередил Бертран Рассел, который занимался изучением похожей теории. В своей теории типов ему удалось конкретизировать идеи Фреге, сформулировав понятие «класса» как логическое понятие. Суть его теории состояла в том, что некоторое множество, содержащее в себе один лишь предмет, могло быть определено тем свойством, что при извлечении этого предмета из множества, предмет будет тем же самым. Такая идея позволяла описывать исключительность с точки зрения единообразия или равенства. Но тогда и равенство могло определяться с точки зрения удовлетворения того же самого ряда утверждений. Таким образом, понятие числа и аксиомы арифметики, как оказалось, могли быть выведены из самых простых идей об объектах, утверждениях и пропозициях.

К сожалению, на деле все обстояло не так просто. Рассел стремился определить множество с одним элементом при помощи идеи равенства, не используя при этом понятие вычисления. Тогда он смог бы определить число «один», как «множество всех множеств с одним элементом». Но уже в 1901 году Рассел заметил логические противоречия, возникающие при попытке использовать понятие «множества всех множеств».

Сложность заключалась в возможном возникновении ссылающихся на самих себя, внутренне противоречивых утверждений, например: «Это утверждение ложно». Подобная проблема возникла в теории множеств, которую разработал немецкий математик Георг Кантор. Рассел заметил, что аналогичный парадоксу Кантора возникает и в его теории типов. Тогда он выделил два вида «классов»: множества, которые не содержат сами себя в качестве подмножества, и множества, которые содержат сами себя в качестве подмножества. С точки зрения Рассела, «в обычном понимании класс не является членом самого себя; человечество, например, не является человеком». Но множество абстрактных понятий или множество всех множеств могут иметь подобное свойство. Получившемуся парадоксу Рассел попытался дать следующее объяснение:

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