Читать «Вначале была аксиома. Гильберт. Основания математики» онлайн - страница 3

Однако самая обширная тема — это основания математики. Парадоксы логики и теории множеств, а также плеяда открытых вопросов о надежности классической математики спровоцировали глубокий раскол в научном сообществе и все нараставшие споры об основаниях этой дисциплины. К 1920 году, находясь на пике карьеры, наш герой ринулся создавать амбициозную программу основания, причем ему пришлось помериться силами с некоторыми виднейшими европейскими математиками. Как архитектор, исследующий фундамент старого дворца, который вот-вот рухнет, Гильберт пересмотрел основания математики, пытаясь устранить ее трещины и обеспечить ей устойчивость на долгие века. Он хотел стереть уродливое пятно парадоксов с идеального здания математики. На это его воодушевляла слепая вера в то, что можно доказать: математика, снабженная подходящими аксиомами, не содержит никаких противоречий, она устойчива. Это одна из главных проблем математики, которую Гильберт озвучил на лекции 1900 года.

Изучая его вклад, мы вновь переживем это эпическое и страстное приключение в поисках точности, где сошлись великие логики и математики конца XIX — начала XX века: Фреге, Рассел, Кантор, Пуанкаре, Брауэр и Гёдель. Вдохновленные богатством современной им математики, эти ученые задумались о ее природе и целях. В ту пору выделились три тенденции. Логицизм, проявившийся у Фреге и оживленный Расселом, утверждал, что все математические принципы могут быть сведены к логическим законам. Интуиционизм — порождение Пуанкаре и Брауэра — отрицал методы классической математики, которые привели ее к парадоксам. И наконец, формализм, отождествляемый с мыслью Гильберта, стремился полностью аксиоматизировать математику, доказав, что аксиомы никогда не ведут к противоречию.

Гильберт был лидером школы формализма, по сути он отстаивал позицию, что математические рассуждения могут быть представлены аксиоматически, в рамках формальной системы и без какого-либо упоминания о значении символов. Эта ключевая идея позволяла уклониться от любого упоминания о скользкой и парадоксальной бесконечности. Гильберт считал, что все математические теоремы можно вывести на основе одного или более правил посредством символического управления ограниченным числом аксиом, причем за конечное число шагов. Тогда можно было рассматривать математику как игру формул, а проблему доказательства непротиворечивости аксиом — как вопрос конечной сочетаемости, тщательного анализа формул, которые могут быть доказаны в рамках формальной системы, последовательностей символов, производимых системой. Но упорные попытки Гильберта решить этот вопрос, заложить основы математики, не вызывающие никакого рационального сомнения, закончились поражением.

Об австрийском логике Курте Гёделе заговорили, когда в 1931 году он объявил: чтобы доказать непротиворечивость математики, методов Гильберта недостаточно. Теоремы Гёделя о неполноте стали ушатом холодной воды для самого Гильберта и его последователей. Более того, они означали крах его программы. Оказалось, что непротиворечивую устойчивость математики невозможно доказать. Непоколебимая убежденность в том, что математика — самая надежная из наук, вылилась для многих в историческое коллективное разочарование. Математика несет в себе черты неуверенности, случайности и необоснованности, но тем не менее продолжает прогрессировать.