Морис Клайн - Математика. Поиск истины.

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

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

Физик Арнольд Зоммерфельд (1868-1951), как и многие его коллеги, считал идею предписывания законов природы человеческим разумом вопиющим примером человеческого высокомерия, но Артур Стенли Эддингтон (1882-1944) вполне разделял идею Канта:

…Там, где наука ушла особенно далеко в своем развитии, разум лишь получил от природы то, что им было заложено в природу. На берегах неизвестного мы обнаружили странный отпечаток. Чтобы объяснить его происхождение, мы выдвигали одну за другой остроумнейшие теории. Наконец, нам все же удалось восстановить происхождение отпечатка. Увы! Оказалось, что это наш собственный след.

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

Жюль Анри Пуанкаре (1854-1912) предложил еще одно объяснение, в значительной мере выдержанное в духе Канта, хотя теперь взгляды Пуанкаре получили название «конвенционализм». В «Науке и гипотезе» Пуанкаре говорит следующее [29]:

Можно ли утверждать, что некоторые явления, возможные в евклидовом пространстве, были невозможны в неевклидовом, так как опыт, констатируя эти явления, прямо противоречил бы гипотезе о неевклидовом пространстве? По моему мнению, подобный вопрос не может возникнуть…

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

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

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

Опыт направляет нас при этом выборе [среди всех возможных групп перемещений той, которая служила бы эталоном для соотнесения с ней реальных явлений], но не делает его для нас обязательным; он показывает нам не то, какая геометрия наиболее правильна, а то, какая наиболее удобна…

Поскольку невозможно указать конкретный опыт, который мог бы быть истолкован в евклидовой системе и не мог бы быть истолкован в системе Лобачевского, то я могу заключить: никогда никакой опыт не окажется в противоречии с постулатом Евклида, но зато и никакой опыт не будет никогда в противоречии с постулатом Лобачевского.

Пуанкаре считал, что существует бесконечно много теорий, которые в состоянии адекватно объяснить и описать любую область опыта. Выбор теории произволен, хотя обычно более простой теории отдают предпочтение перед более сложной. Мы изобретаем и используем идеи, которые соответствуют реальности, но и другие теории, если приложить к ним достаточно усилий, также могут оказаться вполне действенными. Хотя Пуанкаре более точно объяснял, каким образом математика достигает согласия с реальностью, он в известной мере соглашается и с объяснением Канта, а именно считает, что соответствие между математикой и природой обусловлено человеческим разумом. В своей работе «Ценность науки» Пуанкаре утверждал:

Но та гармония, которую человеческий разум полагает открыть в природе, существует ли она вне человеческого разума? Без сомнения — нет; невозможна реальность, которая была бы полностью независима от ума, постигающего ее. Такой внешний мир, если бы даже он и существовал, никогда не был бы нам доступен. Но то, что мы называем объективной реальностью, в конечном счете есть то, что общо нескольким мыслящим существам и могло бы быть общо всем. Этой общей стороной, как мы увидим, может быть только гармония, выражаемая математическими законами.

Философ Уильям Джеймс в своем «Прагматизме» выразил ту же идею: «Все грандиозные достижения математики и естественных наук… проистекают из нашего неутомимого желания придать миру в наших умах более рациональную форму, чем та, которую придал ему грубый порядок нашего опыта» ([13], с. 393).

В «Аспектах науки» (вторая серия) Дж. У.Н. Салливен сформулировал эту мысль еще сильнее: «Мы законодатели Вселенной; возможно даже, что опыт не дает нам ничего, кроме созданного нами, и что сам материальный мир есть величайшее из наших математических творений».

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

Эйнштейн в «Эволюции физики» (написанной им совместно с Инфельдом) также по существу принял точку зрения Канта:

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