Морис Клайн - Математика. Утрата определенности.

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

Милль обосновал свои взгляды философскими соображениями задолго до того, как возникла современная дискуссия по основаниям математики. Тем больше оснований быть прагматиками у тех, кто работал и работает в основаниях математики. Как заметил Гильберт, «и познаешь их по плодам их». Еще одно высказывание Гильберта по этому поводу — «Успех здесь [в математике] необходим; он является высшей инстанцией, перед которой все преклоняются» ([50], с. 340) — относится к 1925 г.

Мнение Гильберта разделяет один из выдающихся специалистов по основаниям математики поляк Анджей Мостовский. На конгрессе, состоявшемся в Польше в 1953 г., он заявил:

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

Мостовский идет дальше. Он утверждает, что математика — естественная наука. Ее понятия и методы восходят к опыту, и любые попытки обосновать математику безотносительно к ее естественнонаучному происхождению, приложениям и даже истории обречены на провал.

Более удивительно другое: с тезисом, провозглашающим, что о «правильности» математики можно судить по степени ее применимости к физическому миру, согласился интуиционист Вейль. Вейль внес огромный вклад в математическую физику {173}, поэтому, сколь ни твердо он отстаивал интуиционистские принципы, ему, разумеется, не хотелось жертвовать полезными результатами из-за чрезмерной приверженности этим принципам. В своей «Философии математики и естественных наук» (1949) Вейль сделал такое признание:

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

Вейль открыто выступает за то, чтобы рассматривать математику как одну из естественных наук. Математические теоремы, подобно физическим утверждениям, могут быть формально не обоснованными, но экспериментально проверяемыми гипотезами. Иногда они подлежат переделке, но надежным критерием их правильности служит их соответствие реальности.

Еще дальше пошел выдающийся представитель формалистской школы Хаскелл Б. Карри. В его «Основаниях математической логики» {174}(1963) мы читаем:

Нужна ли математике для своего оправдания абсолютная надежность? Зачем, скажем, нам так уж нужно быть уверенными в непротиворечивости теории или в том, что ее можно вывести с помощью абсолютно определенной интуиции чистого времени, прежде чем использовать эту теорию? Ведь ни к какой другой науке мы не предъявляем таких требований. В физике, например, теории всегда гипотетичны; мы принимаем теорию, коль скоро на ее основе можно делать полезные предсказания, и видоизменяем или отвергаем ее, коль скоро этого сделать нельзя. Именно так случалось и с математическими теориями, когда в связи с обнаружением в них противоречий приходилось модифицировать не оспариваемые до того времени доктрины. Так почему мы не можем поступать так же и в будущем?

Выдающийся математический логик Уиллард Ван Орман Куайн, предпринявший много безуспешных попыток упростить «Основания математики» Рассела и Уайтхеда, также выразил желание (по крайней мере, заявил о нем сравнительно недавно) воспользоваться как критерием математических результатов физической истинностью следующих из них выводов. В работе 1958 г., опубликованной в серии «Философское значение современной логики» Куайн утверждал:

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

Джон фон Нейман, внесший весомый вклад в развитие формализма и теории множеств, охотно воспользовался тем же выходом из тупика, в котором оказалась современная математика. В знаменитой статье «Математик» (1947) фон Нейман, в частности, попытался объяснить, почему большинство математиков продолжают пользоваться классической математикой, хотя ни одной из нескольких школ в основаниях математики не удалось убедительно обосновать ее:

В конце концов именно классическая математика позволяет получать результаты, которые как полезны, так и красивы, и хотя прежней уверенности в ее надежности не стало, классическая математика все же покоится на столь же прочном основании, как, например, существование электрона. Следовательно, тот, кто принимает естественные науки, не может не принять классическую систему математики.

Итак, статус математики ничем не лучше статуса физики.

Даже Рассел, провозгласивший в 1901 г., что здание математической истины — логической и одновременно физической — останется незыблемым навеки, в работе 1914 г. был вынужден признать, что «наше знание геометрии физического мира носит синтетический, а не априорный характер». Иначе говоря, геометрия не следует из одной лишь логики. Во втором издании «Оснований математики» (1926) Рассел пошел на еще большие уступки. По его словам, в правильность логики и математики так же, как и в правильность уравнений Максвелла, мы «верим потому, что из наблюдений убеждаемся в правильности некоторых логических следствий, к которым они приводят».