Teopeма Гёделя - [3]
На аксиоматической основе были полностью перестроены и такие области науки, которые до тех пор строились лишь более или менее интуитивным образом. Например, так строилась обычная арифметика натуральных чисел, до тех пор пока в 1899 г. итальянский математик Дж. Пеано, исходивший из несколько более ранней аксиоматики немецкого математика Р. Дедекинда, не аксиоматизировал ее.
Из всех критических работ по основаниям математики в конечном счете вытекает, что привычная трактовка математики как некоей науки «о числах» только способна вводить в заблуждение и никоим образом не соответствует подлинной сути дела. Ведь стало совершенно очевидным, что математика есть попросту наука, изучающая получение логических следствий из некоторых заданных аксиом, или постулатов. Фактически стало общепризнанным то обстоятельство, что математические выводы и заключения не имеют никакого другого смысла, помимо того в некотором роде специального смысла, который связан с терминами или выражениями, входящими в постулаты. Таким образом, математика оказалась даже еще значительно более абстрактной и формальной наукой, чем это было принято считать: более абстрактной — поскольку математические предложения в принципе могут быть истолкованы скорее как утверждения о чем угодно, а не как утверждения, относящиеся к некоторым фиксированным множествам предметов и неотъемлемым свойствам этих предметов; более формальной — поскольку правильность математических доказательств гарантируется чисто формальной структурой некоторых предложений, а отнюдь не содержанием этих предложений.
Постулаты любого раздела математики говорят вовсе не о специфических свойствах пространства, углов, точек, чисел, множеств и т. п., причем никакое специальное значение, которое можно связать с терминами (или «описательными предикатами»), фигурирующими в постулатах, решительно не играет роли в процессе доказательства теории. Повторяем: единственный вопрос, встающий перед чистым математиком (в отличие от естествоиспытателя, применяющего математику для решения конкретных задач), состоит вовсе не в том, истинны ли принятые им постулаты и полученные из постулатов следствия, а в том, действительно ли являются полученные им заключения логически необходимыми следствиями из начальных допущений.
Как показал еще Давид Гильберт (1899), обычные значения, приписываемые первоначальным терминам, можно полностью игнорировать, и единственные «значения», которые следует с ними связывать, сводятся к тому, что о них сказано в аксиомах, описывающих свойства обозначаемых ими понятий.
>Можно сказать, что первоначальные термины «неявно» определены аксиомами и что все, что не покрывается этими неявными определениями, не играет никакой роли в доказательствах теорем.
Именно этот факт отражен в знаменитом афоризме Бертрана Рассела: «Чистая математика — это такой предмет, где мы не знаем, о чем мы говорим, и не знаем, истинно ли то, что мы говорим».
В область чистой абстракции, очищенную от каких было ни было привычных ассоциаций, войти, конечно, не так-то легко. Но наградой нам служит свобода и непредвзятость мышления. Последовательная формализация математики освобождает наш разум от ограничений, которые привычная интерпретация математических выражений накладывает на вновь вводимые системы постулатов. Так возникли совершенно новые типы «алгебр» и «геометрий», весьма значительно отклоняющиеся от математических традиций. Поскольку значения некоторых терминов стали гораздо более общими, обозначаемые этими терминами понятия стали употребляться в более широком смысле, а выводы, делаемые с помощью этих понятий, оказались подверженными меньшим ограничениям. Плодом формализации явились разнообразные системы, представляющие большой математический интерес и ценность.
Следует отметить, что некоторые из этих систем не допускают столь очевидных интуитивных (т. е. согласующихся с обыденным словоупотреблением) интерпретаций, как, например, евклидова геометрия или арифметика, но это обстоятельство отнюдь не должно внушать тревогу. Ведь интуиция — штука довольно- таки растяжимая. Нашим детям, возможно, нетрудно будет принять в качестве интуитивно очевидных истин некоторые парадоксальные утверждения теории относительности, не смущают же нас некоторые идеи, отнюдь не казавшиеся интуитивно очевидными нашим предкам. Интуиция — не слишком-то надежный руководитель; во всяком случае ее нельзя считать удовлетворительным критерием для оценки истинности и плодотворности научных открытий.
Однако усугубившаяся абстрактность математики породила и более серьезную проблему: для каждой данной системы постулатов встает вопрос, является ли она внутренне непротиворечивой, т. е. не может ли оказаться, что из этой системы выводятся теоремы, противоречащие друг другу. Проблема не представляется очень уж актуальной, если речь идет об аксиомах, описывающих некоторую определенную и хорошо известную область объектов; если данные аксиомы действительно верны для данной области объектов, вполне естественно считать систему непротиворечивой. Коль скоро, например, предполагалось, что аксиомы Евклида являются истинными утверждениями о пространстве (или о пространственных объектах), то никакой математик до середины XIX столетия не стал бы просто и рассматривать всерьез вопрос о том, нельзя ли из этих аксиом получить пару противоречащих друг другу теорем. Такая уверенность в непротиворечивости евклидовой геометрии основывалась на том совершенно разумном принципе, согласно которому логически несовместимые утверждения не могут быть одновременно истинными; таким образом, никакое множество истинных утверждений (а именно это предполагалось относительно аксиом Евклида) не должно быть внутренне непротиворечивым.
