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

• Название: Жизнь науки
• Автор: С. Капица
• Издательство: Наука
• Жанр: Прочая научная литература
• Год: 1973

Собрание предисловий и введений к основополагающим трудам раскрывает путь развития науки от Коперника и Везалия до наших дней. Каждому из 95 вступлений предпослана краткая биография и портрет. Отобранные историей, больше чем волей составителя, вступления дают уникальную и вдохновляющую картину возникновения и развития научного метода, созданного его творцами. Предисловие обычно пишется после окончания работы, того труда, благодаря которому впоследствии имя автора приобрело бессмертие. Автор пишет для широкого круга читателей, будучи в то же время ограничен общими требованиями формы и объема. Это приводит к удивительной однородности всего материала как документов истории науки, раскрывающих мотивы и метод работы великих ученых. Многие из вступлений, ясно и кратко написанные, следует рассматривать как высшие образцы научной прозы, объединяющие области образно-художественного и точного мышления. Содержание сборника дает новый подход к сравнительному анализу истории знаний. Научный работник, студент, учитель найдут в этом сборнике интересный и поучительный материал, занимательный и в то же время доступный самому широкому кругу читателей.

---

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

Итак, написанный по аксиоматическому методу и сохраняющий всюду в виду, как некий горизонт, возможность полной формализации, наш Трактат претендует на полную строгость — претензия, которую не опровергают нп изложенные выше соображения, пи списки опечаток, с помощью которых мы исиравляли и будем исправлять ошибки, время от времени вкрадывающиеся в текст. Благодаря тому, что мы постоянно стараемся держаться настолько близко к формализованному тексту, насколько это представляется возможным без невыносимых длиннот, проверка в принципе легка; ошибки (неизбежные при подобном предприятии) можно обнаружить без больших затрат времени, и риск, что они сделают недействительными главу или целую книгу Трактата, остается весьма незначительным.

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

Можно ли приобрести уверенность, что этого никогда не случится? Не пускаясь по этому поводу в выходящие за пределы нашей компетенции споры о самом понятии уверенности, заметим, что математика может попытаться рассмотреть проблемы непротиворечивости своими собственными методами. В самом деле, сказать, что некоторая теория противоречива, сводится к тому, чтобы сказать, что она содержит правильное формализованное доказательство, оканчивающееся заключением 0=7^0. Но метаматематика может пытаться с помощью способов рассуждения, заимствованных у математики, изучить строение этого формализованного текста, предполагаемого записанным, и в итоге ухитриться «доказать» невозможность такого текста. В самом деле, такие «доказательства» были даны для некоторых частных формализованных языков, менее богатых, чем тот, который мы хотим ввести, но достаточно богатых для того, чтобы на них можно было записать значительную часть классической математики. Можно спросить, правда, что именно «доказывается» таким путем; ведь если бы математика была противоречива, то некоторые ее применения к материальным объектам, и в частности к формализованным текстам, рисковали бы стать иллюзорными. Чтобы избежать этой дилеммы, было бы необходимо, чтобы непротиворечивость формализованного языка можно было «доказать» посредством рассужде-ппй, формализуемых в языке, менее богатом и тем самым более достойном доверия. Но знаменитая теорема математики, принадлежащая Гёделю, говорит, что это невозможно для языка того типа, который мы хотим описать, т.е. для языка, достаточно богатого аксиомами, чтобы допускать формулировку результатов классической арифметики.

С другой стороны, при доказательствах «относительной» непротиворечивости (т.е. при доказательствах, устанавливающих непротиворечивость данной теории в предположении непротиворечивости другой теории, например Теории множеств) метаматематическая часть рассуждения (ср. гл. 1, § 2, п° 4) настолько проста, что даже не представляется возможным подвергнуть ее сомнению, не отказываясь при этом от всякого рационального употребления наших умственных способностей. Так как ныне различные математические теории привязываются в отношении логики к Теории множеств, то отсюда следует, что всякое противоречие, встреченное в одной из этих теорий, дало бы повод противоречию в самой Теории множеств. Это, конечно, не есть аргумент, позволяющий заключить о непротиворечивости Теории множеств. Однако за 40 лет с тех пор, как сформулировали с достаточной точностью аксиомы Теории множеств и стали извлекать из них следствия в самых разнообразных областях математики, еще ни разу не встретилось противоречие, и можно с основанием надеяться, что оно и не появится никогда.

Если бы дело и сложилось иначе, то, конечно, замеченное противоречие было бы внутренне присуще самим принципам, положенным в основание Теории множеств, а потому нужно было бы видоизменить эти принципы, стараясь по возможности не ставить под угрозу те части математики, которыми мы наиболее дорожим. И ясно, достичь этого тем болео легко, что применение аксиоматического метода и формализованного языка позволит формулировать эти принципы более четко и отделять от них следствия более определенно. Впрочем, приблизительно это д произошло недавно, когда устранили «парадоксы» Теории: множеств принятием формализованного языка, по существу эквивалентного с описываемым здесь нами. Подобную ревизию следует предпринять и в случае, когда этот язык окажется в свою очередь противоречивым.

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

НЕЙМАН

(1903-1957)

Джои (Янош) фон Нейман родился в Будапеште. Там же он в 1926 г. окончил университет. В течение нескольких лет он преподавал в Берлине; в 1930 г. Нейман эмигрировал в США. Через три года он стал сотрудником Принстонского института перспективных исследований, и с этим научным центром, в котором в ту пору работали Эйнштейн, Вигнер, Вейль, связана последующая научная жизнь Неймапа.

В годы создания и развития квантовой механики Нейман выступил с книгой «Математические принципы квантовой механики» (1932). Однако основные работы Неймана посвящены математике. В области чистой математики интересы Неймапа весьма разнообразны; его работы посвящены функциональному анализу, топологии, теорпи групп, математической логике. В 1944 г. совместно с экономистом Оскаром Моргенштерном Нейман написал капитальную монографию «Теория игр и экономическое поведение». С начала второй мировой войны Нейман становится консультантом различных военных учреждений. Он принимает активное участие в работах по созданию атомной бомбы, и с 1954 г. он — член Американской комиссии по атомной энергии. С 1945 по 1955 г. Нейман возглавлял работы по созданию быстродействующих электронных вычислительных машин и быть может больше, чем кто-либо другой в США, сделал для развития этого направления науки и техники. В ЭВМ Нейман видел не только новый могучий инструмент для математических расчетов; он считал, что изобретение ЭВМ и развитие круга вопросов, который Винер назвал кибернетикой, повлияет на саму математику и на наше мышление в целом.

Мы приводим краткое предисловие и введение к книге Дж. Неймана и О. Мор-генштерна «Теория игр и экономическое поведение». Следует подчеркнуть, что авторы этой книги пишут не о создании научной системы политической экономии, которая была создана К. Марксом, а о применении математических методов в экономике и имеют в виду разработку формальной модели экономики. Мы приводим также введение к небольшой брошюре Неймана «Вычислительная машина и мозг», написанной им незадолго до смерти.