Математика. Утрата определенности. - Клайн Морис

IX

Изгнание из рая: новый кризис оснований математики

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

Случившееся нельзя было считать полной неожиданностью: еще Гильберт обратил внимание математиков на то, что некоторые проблемы в основаниях математики оставались нерешенными (гл. VIII). Самой важной из этих проблем, по мнению Гильберта, была проблема установления непротиворечивости тех или иных аксиоматизируемых разделов математики. Гильберт отчетливо понимал, что аксиоматический метод базируется на исходном списке неопределяемых понятий, а также аксиом, которым эти понятия должны удовлетворять. Интуитивно смысл всех фигурирующих в математической теории понятий и аксиом был вполне ясен. Такие математические понятия, как точка, прямая и плоскость, имеют вполне конкретные физические аналоги, а аксиомы евклидовой геометрии содержат некоторые физически ясные утверждения, касающиеся этих понятий. Тем не менее, как подчеркивал Гильберт, абстрактная, чисто логическая схема евклидовой геометрии не требует, чтобы понятия точки, прямой и плоскости были привязаны к какой-то одной, например «физической», интерпретации. Что же касается аксиом, то их формулируют, вкладывая в них как можно меньше, с тем чтобы извлечь из них возможно больше. И хотя аксиомы принято формулировать так, чтобы их физический смысл не вызывал сомнений, тем не менее существует опасность, что сформулированные даже самым тщательным образом аксиомы могут оказаться противоречивыми, т.е. привести к противоречию. Паш, Пеано и Фреге сознавали эту опасность, и в своем докладе на II Международном математическом конгрессе 1900 г. Гильберт также обратил внимание математиков на это обстоятельство.

Слабости абстрактной формулировки понятий, отношений и фактов, заимствованных из физической реальности, можно проиллюстрировать на таком примере, конечно весьма грубо отражающем суть дела. Представим себе, что было совершено какое-то преступление (многие, возможно, согласились бы с тем, что математика — это преступление). Следователь, которому поручено раскрыть преступление, располагает неопределяемыми понятиями: преступник, время совершения преступления и т.д. Все обнаруживаемые в ходе следствия факты следователь скрупулезно записывает. Это его аксиомы. Затем следователь начинает делать логические выводы в надежде, что это позволит ему выдвинуть какие-то версии. Весьма вероятно, что его выводы, хотя они и основаны на правдоподобных предположениях относительно происходивших событий, окажутся противоречивыми, так как исходные предположения либо не соответствуют подлинным событиям, либо недостаточно точно их отражают. В реальной же (физической) ситуации никаких противоречий нет и быть не может. Было совершено преступление, был преступник. Но логические выводы могут привести следователя, скажем, к заключению, что преступник одновременно и низкого роста (около 1,5 м), как следует из анализа следов преступления, и высокого роста (около 1,8 м), как показывает кто-то из свидетелей.

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

Но к всеобщему ужасу в самом начале XX в. противоречия были обнаружены в теории, лежащей в основе наших представлений о числе и далеко простирающейся за пределы арифметики. К 1904 г. выдающийся математик Альфред Принсхейм (1850-1914) имел все основания утверждать, что истина, поиском которой занимается математика, — это не больше и не меньше как непротиворечивость. И когда в работе 1918 г. Гильберт вновь подчеркнул важность проблемы непротиворечивости, у него были теперь для этого гораздо более веские доводы, чем в 1900 г.

Новой теорией, которая привела к противоречиям и открыла многим глаза на противоречия, существовавшие в более старых областях математики, была теория бесконечных множеств.Наведение математической строгости в анализе привело к необходимости учитывать различие между сходящимися(т.е. имеющими конечную сумму) и расходящимисябесконечными рядами. Некоторые из таких рядов, например бесконечные ряды тригонометрических функций, названные рядами Фурье— в честь активно использовавшего их Жозефа Фурье, стали играть важную роль и при попытке строгого обоснования анализа породили немало проблем. К решению этих проблем и приступил Георг Кантор (1845-1918). Логика исследования привела его к рассмотрению теории числовых множеств, в частности к введению мощностей таких бесконечных множеств, как множество всех нечетных чисел, множество всех рациональных чисел (включающее в себя положительные и отрицательные целые числа, а также дроби) и множество всех вещественных чисел.

Кантор порвал с многовековой традицией уже тем, что рассматривал бесконечные множества как единые сущности, притом сущности, доступные человеческому разуму. Начиная с Аристотеля математики проводили различие между актуальной бесконечностьюобъектов и потенциальной бесконечностью.Чтобы пояснить эти понятия, рассмотрим возраст Вселенной. Если предположить, что Вселенная возникла в какой-то момент времени в далеком прошлом и будет существовать вечно, то ее возраст потенциально бесконечен: в любой момент времени возраст Вселенной конечен, но он продолжает возрастать и в конце концов превзойдет любое число лет. Множество (положительных) целых чисел также потенциально бесконечно: оборвав счет, например, на миллионе, мы всегда можем затем прибавить к нему 1, 2 и т.д. Но если Вселенная существовала в прошлом всегда, то ее возраст в любой момент времени актуально бесконечен. Аналогично множество целых чисел, рассматриваемое в «готовом виде» как существующая совокупность, актуально бесконечно.