Математика. Поиск истины.

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

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

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

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

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

([13], с. 379.)

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

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

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

([13], с. 380.)