Математика. Утрата определенности.
Шрифт:
Но всякие сомнения в том, насколько мудро поступил Гильберт, включив названные выше проблемы в число 23 наиболее важных проблем и, более того, отведя им почетные первые места, вскоре рассеялись. Тучи, собравшиеся над математикой, закрыли теперь весь горизонт. Началась гроза, и некоторые математики услышали раскаты грома. Но даже Гильберт не мог предвидеть все неистовство бури, обрушившейся на здание математики.
IX
Изгнание из рая: новый кризис оснований математики
В математике нет настоящих противоречий.
Логика — это искусство уверенно совершать ошибки.
Итак, после многовековых блужданий в тумане математикам как будто бы удалось
Случившееся нельзя было считать полной неожиданностью: еще Гильберт обратил внимание математиков на то, что некоторые проблемы в основаниях математики оставались нерешенными (гл. VIII). Самой важной из этих проблем, по мнению Гильберта, была проблема установления непротиворечивости тех или иных аксиоматизируемых разделов математики. Гильберт отчетливо понимал, что аксиоматический метод базируется на исходном списке неопределяемых понятий, а также аксиом, которым эти понятия должны удовлетворять. Интуитивно смысл всех фигурирующих в математической теории понятий и аксиом был вполне ясен. Такие математические понятия, как точка, прямая и плоскость, имеют вполне конкретные физические аналоги, а аксиомы евклидовой геометрии содержат некоторые физически ясные утверждения, касающиеся этих понятий. Тем не менее, как подчеркивал Гильберт, абстрактная, чисто логическая схема евклидовой геометрии не требует, чтобы понятия точки, прямой и плоскости были привязаны к какой-то одной, например «физической», интерпретации. Что же касается аксиом, то их формулируют, вкладывая в них как можно меньше, с тем чтобы извлечь из них возможно больше. И хотя аксиомы принято формулировать так, чтобы их физический смысл не вызывал сомнений, тем не менее существует опасность, что сформулированные даже самым тщательным образом аксиомы могут оказаться противоречивыми, т.е. привести к противоречию. Паш, Пеано и Фреге сознавали эту опасность, и в своем докладе на II Международном математическом конгрессе 1900 г. Гильберт также обратил внимание математиков на это обстоятельство.
Слабости абстрактной формулировки понятий, отношений и фактов, заимствованных из физической реальности, можно проиллюстрировать на таком примере, конечно весьма грубо отражающем суть дела. Представим себе, что было совершено какое-то преступление (многие, возможно, согласились бы с тем, что математика — это преступление). Следователь, которому поручено раскрыть преступление, располагает неопределяемыми понятиями: преступник, время совершения преступления и т.д. Все обнаруживаемые в ходе следствия факты следователь скрупулезно записывает. Это его аксиомы. Затем следователь начинает делать логические выводы в надежде, что это позволит ему выдвинуть какие-то версии. Весьма вероятно, что его выводы, хотя они и основаны на правдоподобных предположениях относительно происходивших событий, окажутся противоречивыми, так как исходные предположения либо не соответствуют подлинным событиям, либо недостаточно точно их отражают. В реальной же (физической) ситуации никаких противоречий нет и быть не может. Было совершено преступление, был преступник. Но логические выводы могут привести следователя, скажем, к заключению, что преступник одновременно и низкого роста (около 1,5 м), как следует из анализа следов преступления, и высокого роста (около 1,8 м), как показывает кто-то из свидетелей.
Вряд ли математики сочли бы ключевой проблемой доказательство непротиворечивости нескольких аксиоматических структур, если бы не дальнейшее развитие событий. К началу XX в. математики отчетливо сознавали, что в вопросах непротиворечивости они не могут полагаться на «физическую реализуемость» математики. Ранее, когда евклидова геометрия считалась геометрией реального физического пространства, мысль о том, что непрерывная дедуктивная цепочка теорем может когда-нибудь привести к противоречию, казалась дикой. Но к началу XX в. стало ясно, что евклидова геометрия представляет собой лишь логическую структуру, возведенную на фундаменте из примерно двадцати аксиом, не данных нам богом или природой, а сформулированных человеком. В такой системе вполне могли быть и противоречащие друг другу теоремы. Подобное открытие обесценивало многое из того, что было достигнуто ранее: достаточно было где-нибудь оказаться двум взаимно исключающим теоремам, как их могли использовать для доказательства новых противоречий
Но к всеобщему ужасу в самом начале XX в. противоречия были обнаружены в теории, лежащей в основе наших представлений о числе и далеко простирающейся за пределы арифметики. К 1904 г. выдающийся математик Альфред Принсхейм (1850-1914) имел все основания утверждать, что истина, поиском которой занимается математика, — это не больше и не меньше как непротиворечивость. И когда в работе 1918 г. Гильберт вновь подчеркнул важность проблемы непротиворечивости, у него были теперь для этого гораздо более веские доводы, чем в 1900 г.
Новой теорией, которая привела к противоречиям и открыла многим глаза на противоречия, существовавшие в более старых областях математики, была теория бесконечных множеств.Наведение математической строгости в анализе привело к необходимости учитывать различие между сходящимися(т.е. имеющими конечную сумму) и расходящимисябесконечными рядами. Некоторые из таких рядов, например бесконечные ряды тригонометрических функций, названные рядами Фурье— в честь активно использовавшего их Жозефа Фурье, стали играть важную роль и при попытке строгого обоснования анализа породили немало проблем. К решению этих проблем и приступил Георг Кантор (1845-1918). Логика исследования привела его к рассмотрению теории числовых множеств, в частности к введению мощностей таких бесконечных множеств, как множество всех нечетных чисел, множество всех рациональных чисел (включающее в себя положительные и отрицательные целые числа, а также дроби) и множество всех вещественных чисел.
Кантор порвал с многовековой традицией уже тем, что рассматривал бесконечные множества как единые сущности, притом сущности, доступные человеческому разуму. Начиная с Аристотеля математики проводили различие между актуальной бесконечностьюобъектов и потенциальной бесконечностью.Чтобы пояснить эти понятия, рассмотрим возраст Вселенной. Если предположить, что Вселенная возникла в какой-то момент времени в далеком прошлом и будет существовать вечно, то ее возраст потенциально бесконечен: в любой момент времени возраст Вселенной конечен, но он продолжает возрастать и в конце концов превзойдет любое число лет. Множество (положительных) целых чисел также потенциально бесконечно: оборвав счет, например, на миллионе, мы всегда можем затем прибавить к нему 1, 2 и т.д. Но если Вселенная существовала в прошлом всегда, то ее возраст в любой момент времени актуально бесконечен. Аналогично множество целых чисел, рассматриваемое в «готовом виде» как существующая совокупность, актуально бесконечно.
Вопрос о том, следует ли считать бесконечные множества актуально или потенциально бесконечными, имеет длинную историю. Аристотель в своей «Физике» ([6], т. 3, с. 59-221) утверждал: «Остается альтернатива, согласно которой бесконечное имеет потенциальное существование… Актуально бесконечное не существует». По мнению Аристотеля, актуальная бесконечность не нужна математике. Греки вообще считали бесконечность недопустимым понятием. Бесконечность — это нечто безграничное и неопределенное. Последующие дискуссии нередко лишь затемняли существо дела, так как математики говорили о бесконечности как о числе, не давая явного определения понятия бесконечности и не указывая свойства этого понятия. Так, Эйлер довольно легкомысленно утверждал в своей «Алгебре» (1770), что 1/0 — бесконечность, хотя и не счел нужным определить, что такое бесконечность, а лишь ввел для нее обозначение . Без тени сомнения Эйлер утверждал также, что 2/0 вдвое больше, чем 1/0. Еще больше недоразумений возникало в тех случаях, когда речь шла об использовании символа для записи пределов при n,стремящемся к бесконечности (например, для записи того, что предел 1/ nпри n,стремящемся к , равен 0). В подобных случаях символ означает лишь, что nнеограниченно возрастает и может принимать сколь угодно большие (но конечные!) значения, при которых разность между 0 и 1/ nстановится сколь угодно малой. Необходимость в обращении к актуальной бесконечности при таких предельных переходах не возникает.
Большинство математиков (Галилей, Лейбниц, Коши, Гаусс и другие) отчетливо понимали различие между потенциально бесконечными и актуально бесконечными множествами и исключали актуально бесконечные множества из рассмотрения. Если им приходилось, например, говорить о множестве всех рациональных чисел, то они отказывались приписывать этому множеству число — его мощность. Декарт утверждал: «Бесконечность распознаваема, но не познаваема». Гаусс писал в 1831 г. Шумахеру: «В математике бесконечную величину никогда нельзя использовать как нечто окончательное; бесконечность — не более чем facon de parle[манера выражаться], означающая предел, к которому стремятся одни величины, когда другие бесконечно убывают».