Структура реальности

С древних времен идея о привилегированном статусе математического знания часто ассоциировалась с идеей о том, что некоторые абстрактные сущности не просто являются частью структуры реальности, но даже более реальны, чем физический мир. Пифагор считал, что закономерности в природе есть выражение математических соотношений между натуральными числами. «Числу все вещи подобны» [43] – таков был его девиз. Он не имел это в виду совершенно буквально, однако Платон пошел еще дальше и по существу отрицал реальность физического мира вообще. Он считал, что наши кажущиеся ощущения этого мира ничего не стоят или вводят в заблуждение, и доказывал, что физические объекты и явления, которые мы воспринимаем, – всего лишь «тени» или несовершенные копии их идеальных сущностей («форм» или «идей»), существующих в отдельном царстве, которое и есть истинная реальность. В этой области, кроме всего прочего, существуют формы чистых чисел, таких как 1, 2, 3…, и формы математических действий, таких как сложение и умножение. Мы можем воспринять некоторые тени этих форм, когда кладем на стол одно яблоко, потом еще одно и видим, что на столе два яблока. Однако яблоки выражают «единственность» и «двойственность» (и, раз уж на то пошло, «яблочность») лишь несовершенно. Они не являются совершенно идентичными, а потому в действительности на столе никогда нет двух экземпляров чего-либо. На это можно возразить, что число два представимо также, если положить на стол два различных объекта. Но и такое представление несовершенно, потому что в этом случае мы должны допустить, что на столе также есть клетки, отпавшие от яблок, пыль и воздух.

43

Цит. по: Фрагменты ранних греческих философов. Ч. I. – М.: Наука, 1989. С. 149. – Прим. ред.

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

Затем Платон указал проблему. Принимая во внимание все это земное несовершенство (и, мог бы добавить он, наш несовершенный сенсорный доступ даже к земным кругам), как вообще мы можем знать то, что мы знаем о реальных, совершенных кругах? Очевидно, что мы обладаем знанием о них, но каким образом? Где Евклид приобрел знание геометрии, которое выразил в своих знаменитых аксиомах, если у него не было ни подлинных кругов, ни точек, ни прямых? Откуда исходит уверенность в математическом доказательстве, если никто не способен ощутить те абстрактные сущности, на которые оно ссылается? Ответ Платона заключался в том, что знание о таких вещах мы получаем не из этого мира теней и иллюзий, а непосредственно из реального мира форм. Мы обладаем совершенным врожденным знанием того мира, которое, как он считал, забывается при рождении, а затем скрывается под слоями ошибок, вызванных тем, что мы доверяем своим чувствам. Но реальность можно вспомнить, усердно применяя «разум», что дает затем абсолютную уверенность, которой никогда не обеспечивает опыт.

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

Математики много и мучительно спорили о том, открытия каких в точности видов совершенно надежного знания можно ожидать от нашей математической интуиции. Другими словами, они согласны, что математическая интуиция – источник абсолютной определенности, но не могут прийти к соглашению относительно того, что она им говорит! Очевидно, что это повод для бесконечных, неразрешимых споров.

Большая часть таких споров неизбежно вращалась вокруг допустимости или недопустимости различных методов доказательства. Одно из разногласий было связано с так называемыми «мнимыми» числами. Мнимые числа – это квадратные корни из отрицательных чисел. Новые теоремы об обычных, «действительных» числах доказывали, обращаясь на промежуточных этапах рассуждения к свойствам мнимых чисел. Например, так были доказаны первые теоремы о распределении простых чисел. Однако некоторые математики возражали против мнимых чисел на том основании, что они нереальны. (Современная англоязычная терминология, в которой действительные числа обозначаются словом real, все еще отражает это старое разногласие, хотя сегодня мы считаем, что мнимые числа столь же реальны, как и действительные.) Я полагаю, что учителя в школе говорили этим математикам, что не допускается извлекать квадратный корень из минус единицы, и, поэтому они не понимали, почему кто-то другой может это сделать. Нет сомнения в том, что они называли этот злопыхательский порыв «математической интуицией». Однако другие математики обладали другой интуицией. Они понимали, что такое мнимые числа, и как они согласуются с действительными. Почему, думали они, человек не должен определять новые абстрактные сущности, имеющие любые свойства, какие ему нравятся? Безусловно, единственным законным основанием запретить могла быть только логическая несовместимость требуемых свойств. (Сегодня это, в сущности, является консенсусом, который математик Джон Хортон Конуэй [44] задиристо назвал Освободительным движением математиков.) Как известно, никто не доказал, что система мнимых чисел непротиворечива. Но ведь никто не доказал и того, что обычная арифметика натуральных чисел является непротиворечивой!

44

Джон Хортон Конуэй (John Horton Conway, род. 1937) – британский математик с обширными интересами, включающими теорию групп, теорию чисел, комбинационную теорию игр и теорию кодирования. Известен также как популяризатор науки и изобретатель клеточного автомата и компьютерной игры «Жизнь». – Прим. ред.

Подобные разногласия существовали и в отношении допустимости использования бесконечных чисел, а также множеств, содержащих бесконечно много элементов, и бесконечно малых величин, применяемых в дифференциальном и интегральном исчислении. Давид Гильберт [45] , создавший большую часть математического аппарата, как для общей теории относительности, так и для квантовой теории, заметил, что «математическая литература переполнена бессмыслицами и нелепостями, имеющими свой источник в бесконечности». Некоторые математики, как мы увидим, вовсе отрицали возможность корректных рассуждений о бесконечных сущностях. Несмотря на впечатляющий прогресс чистой математики в XIX веке, он мало что дал для разрешения этих разногласий. Напротив, он только усугублял их и порождал новые. По мере своего усложнения математические рассуждения неизбежно удалялись от повседневной интуиции, что привело к двум важным противоположным эффектам. С одной стороны, математики все более придирчиво относились к доказательствам, которые, чтобы быть принятыми, должны были удовлетворять все более жестким стандартам строгости. Однако, с другой стороны, изобретались более мощные методы доказательства, которые не всегда сводились к уже существующим методам. И из-за этого часто возникали сомнения, является ли какой-то конкретный метод доказательства, несмотря на свою самоочевидность, абсолютно безошибочным.

45

Давид Гильберт (David Hilbert, 1862–1943) – великий немецкий математик, работавший над целым спектром фундаментальных проблем: теория инвариантов, теория алгебраических чисел, функциональный анализ, тензорный анализ. Занимался аксиоматическим обоснованием математики. В 1900 г. сформулировал список из 23 фундаментальных проблем, решением которых математики заняты до настоящего времени. – Прим. ред.

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

Другими словами, это правило гласило, что если в доказательстве появляется утверждение вида «все А имеют свойство В» (как в данном случае «все люди смертны») и другое утверждение вида «индивидуум Х есть А» (как в данном случае «Сократ – человек»), то далее в доказательстве можно обоснованно использовать утверждение «X имеет свойство В» («Сократ смертен»), и в частности, это является обоснованным выводом. Силлогизмы выражали то, что мы назвали бы правилами вывода, то есть правилами, определяющими шаги, разрешенные при доказательстве, такие, что истинность посылок передается и заключениям. Точно так же эти правила можно применять для определения, обосновано ли данное доказательство.

Аристотель заявил, что все обоснованные доказательства можно выразить в виде силлогизмов. Но он не доказал это! Проблема же теории доказательства заключалась в том, что лишь очень небольшое число современных математических доказательств представлялось в виде чистой последовательности силлогизмов; более того, большинство из них невозможно было привести к такому виду даже в принципе. Тем не менее математики в большинстве своем не могли заставить себя ограничиваться аристотелевскими принципами, так как некоторые новые доказательства казались столь же самоочевидно корректными, как и шаблоны умозаключений Аристотеля. Математика развивалась. Новые инструменты, такие как математическая логика и теория множеств, позволили связывать математические структуры новыми способами. Благодаря этому появились новые самоочевидные истины, независимые от классических правил вывода, и поэтому классические правила стали самоочевидно неадекватными. Но какие же из новых методов доказательства были по-настоящему безошибочными? Как следовало изменить правила вывода, чтобы они обрели законченность, на которую ошибочно претендовал Аристотель? Как можно было вернуть тот абсолютный авторитет, которым обладали старые правила, если математики не могли прийти к соглашению относительно того, что является самоочевидным, а что бессмысленным?

Тем временем математики продолжали строить свои абстрактные воздушные замки. Для практических целей многие такие построения казались достаточно надежными. Некоторые из них стали незаменимыми в науке и технике, и в большинстве своем они были связаны между собой красивой и плодотворной объяснительной структурой. Тем не менее никто не мог гарантировать, что вся эта структура или любая существенная ее часть не имеет в своей основе логического противоречия, способного превратить ее в полную бессмыслицу. В 1902 году Бертран Рассел доказал противоречивость схемы строгого определения теории множеств, которую только что предложил Готтлоб Фреге [46] . Это не значило, что больше нельзя было использовать множества в доказательствах. На самом деле совсем немногие математики всерьез считали, что хоть какой-то из обычных способов использования множеств, арифметики или других ключевых разделов математики может быть некорректным. В результатах Рассела поражало то, что математики считали свой предмет средством получения абсолютной уверенности par excellence через доказательство математических теорем. Сама возможность разногласий относительно обоснованности различных методов доказательства подрывала (как считалось) саму суть их предмета.

46

Фридрих Людвиг Готтлоб Фреге (1848–1925) – немецкий математик, логик и философ, родоначальник аналитической философии. – Прим. ред.

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

В этой связи нидерландский математик Лёйтзен Эгбертус Ян Брауэр [47] пропагандировал чрезвычайно консервативную стратегию теории доказательства, известную как интуиционизм, которая и по сей день имеет своих сторонников. Интуиционисты пытаются толковать «интуицию» самым узким возможным образом, сохраняя лишь то, что они считают ее неоспоримыми самоочевидными аспектами. Затем они поднимают определенную таким образом математическую интуицию на уровень даже более высокий, чем позволял ей Платон: они ставят ее даже выше чистой логики. Саму логику они считают не заслуживающей доверия, за исключением тех случаев, когда ее оправдывает прямая математическая интуиция. Например, интуиционисты отрицают, что можно иметь прямое интуитивное понимание какой-либо бесконечной сущности. Поэтому они отрицают существование любых бесконечных множеств, например, множества всех натуральных чисел. Утверждение о том, что «существует бесконечно много натуральных чисел», они сочли бы самоочевидно ложным, а утверждение о том, что «существует больше CGT-сред, чем физически возможных сред», – абсолютно бессмысленным.

47

Лёйтзен Эгбертус Ян Брауэр (1881–1966) – нидерландский математик и философ, основоположник интуиционизма. Работал в области топологии, теории множеств, теории меры и комплексного анализа. – Прим. ред.

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