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

• Название: Математика. Поиск истины.
• Автор: Морис Клайн
• Издательство: Мир
• Жанр: Математика
• Год: 1988

Книга известного американского математика, популяризатора науки Мориса Клайна ярко и увлекательно рассказывает о роли математики в сложном многовековом процессе познания человеком окружающего мира, ее месте и значении в физических науках. Имя автора хорошо знакомо советским читателям: его книга «Математика. Утрата определенности» (М.: Мир, 1984) пользуется заслуженным успехом в нашей стране.

Предназначена для читателей, интересующихся историей и методологией науки.

---

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

С другой стороны, математический аппарат нередко гораздо лучше выдерживает испытание временем, нежели те физические представления, которые он изначально выражал. Жозеф Фурье (1768-1830) разработал полную и подробную математическую теорию теплопроводности (получившую название калорической теории теплоты), в которой теплота рассматривалась как некий флюид. Калорическая теория давно отброшена и забыта. Как сказал Эдмунд Верк, «рациональная гипотеза слишком часто отличается от печального факта». Но предложенный Фурье математический аппарат и поныне находит широкое применение в акустике и других областях физики.

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

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

Созданная человеком математическая теория физического мира — это не описание явлений в том виде, в каком мы их воспринимаем, а некая символическая конструкция. Математика, сбросившая с себя оковы чувственного опыта, занимается не описанием реальности, а строит модели реальности, предназначенные для объяснения, вычисления и предсказания.

Если примерно до середины XIX в. математический порядок и гармония рассматривались как неотъемлемые черты плана, положенного в основу мироздания, и математики стремились раскрыть этот план, то, согласно более новой точке зрения, к которой они пришли на основе собственных творений, математикам отводится роль своего рода законодателей, решающих, какими должны быть законы мира. Они принимают любой план или любой порядок, позволяющий им описывать ограниченные классы явлений, которые по необъяснимым причинам продолжают подчиняться выведенным ими законам. Означает ли последнее обстоятельство, что существует некий окончательный, или предельный, закон и порядок, к которым математики неуклонно приближаются? Полного ответа на этот вопрос нет, тем не менее вера в математическую первооснову Вселенной должна уступить место сомнению. Разве стихийные бедствия — землетрясения, падение метеоритов на Землю, извержения вулканов, эпидемии, — не разрешенные вопросы космогонии, наше неведение относительно того, что лежит за пределами ближайшей окрестности в нашей собственной Галактике, не говоря уже о множестве других проблем, стоящих перед человечеством, — разве все это не отрицает даже отдаленное подобие существования высшего порядка во Вселенной? То, чего нам удалось достичь с помощью математического описания и предсказания, напоминает удачу человека, случайно нашедшего стодолларовую купюру.

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

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

Хотя Блез Паскаль (1623-1662) был убежден в истинности математических законов природы, он все же так охарактеризовал применимость математики: «Истина — слишком тонкая материя, а наши инструменты слишком тупы, чтобы ими можно было прикоснуться к истине, не повредив ее. Достигнув истины, они сминают ее и отклоняются в сторону, скорее ложную, нежели истинную» ([13], с. 374).

Другие пошли еще дальше. П.У. Бриджмен в книге «Логика современной физики» (1946) утверждал: «Чистейший трюизм, истинность которого становится очевидной при самом поверхностном взгляде, состоит в том, что математика изобретена человеком». Но в таком случае математика, как и все, созданное человеком, подвержена ошибкам. Наши достижения в физической теории сводятся к набору математических соотношений, согласующихся с наблюдаемыми явлениями, и предсказаниям, касающимся физических явлений, часть которых, как, например, электромагнитное излучение, недоступна непосредственному наблюдению. Абстрактные рассуждения позволяют нам выйти за рамки представлений, основанных на чувственном восприятии, хотя это не означает, что мы в состоянии полностью освободиться от своего чувственного опыта.

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