С. Капица - Жизнь науки

Подобно тому как искусство правильно говорить на живом языке существовало еще до грамматики, так и аксиоматический метод применялся задолго до изобретения формализованных языков. Однако его сознательное применение может основываться только на знании общих принципов, управляющих этими языками, и их соотношений с обычными математическими текстами. Мы намереваемся в этой книге Трактата дать сначала описание одного такого языка вместе с изложением общих принципов, применяемых ко многим другим подобным языкам. Однако для наших целей будет достаточно лишь одного-единственного языка. В самом деле, если прежде могли думать, что каждая отрасль математики зависит от специфических интуиций, дающих ей первичные понятия и истины, и потому для каждой отрасли необходим с£ой cue-цифический формализованный язык, то сегодня мы знаем, что, логически говоря, возможно вывести почти всю современную математику из единого источника — Теории множеств. Таким образом, нам будет достаточно изложить принципы какого-то одного формализованного языка, рассказать, как сформулировать на этом языке Теорию мпожеств, а затем постепенно, по мере того как наше внимание будет направляться на различные отрасли математики, показывать, как они включаются в Теорию множеств. Поступая так, мы не намереваемся давать законы на вечные времена. Может случиться, что когда-нибудь математики согласятся использовать способы рассуждения, не поддающиеся формализации в излагаемом здесь языке. Тогда придется если и не полностью изменить этот язык, то по крайней мере расширить правила синтаксиса. Решение принадлежит будущему.

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

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

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