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

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

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

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

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

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

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

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

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