Кибернетика, Логика, Искусство - [13]

"Евклидова геометрия, - говорит Эйнштейн, - если ее рассматривать как математическую систему, является лишь игрой пустых понятий (прямые, плоскости, отрезки и т.д. - все это лишь "химеры"). Если же к этому добавить, что прямая заменяется твердым стержнем, то геометрия превращается в физическую теорию, и ее теоремы, например теорема Пифагора, наполняется реальным содержанием... Геометрия может быть истинной или ложной в зависимости от того, насколько верно она отражает проверяемые соотношения между данными нашего опыта" [10].

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

Более того, вера в то, что логически возможное обязательно связано с реальным миром, по существу, свойственна большинству физиков и математиков. Современный физик-теоретик П. Дирак обнаружил, что квантовая механика непротиворечиво допускает существование изолированных магнитных полюсов (в классической физике считалось, что физическое тело может обладать только совокупностью двух полюсов - северного и южного). Изложив впервые свои соображения в научной статье, Дирак закончил фразой: "Трудно допустить, чтобы природа не использовала этой возможности". И вот уже более сорока лет физики ищут в природе такой "магнитный монополь Дирака" и не находят его. Не могут они найти и причину, по которой его существование было бы "запрещено" (т.е. противоречило бы общим теоретическим принципам), и нет у них полного успокоения. Более того, именно в наши дни мы присутствуем при попытках создания всеобъемлющих теорий материи ("единых теорий поля" электромагнитных, сильных,. слабых и гравитационных взаимодействий), которые естественно включают представление о подобном монополе. Они не завершены, и пока ни одна из них не может претендовать на удовлетворяющее нас описание физической реальности. Однако тот факт, что монополь Дирака вновь вошел в "большую игру", очень многозначителен.

Но и в этом случае речь идет о теориях, в которых исходные положения для последующего строго логического (математического) развития (в их числе и сами законы логики) приняты как безусловно верные. Что, однако, дает нам уверенность в правильности исходных положений, в их соответствии свойствам познаваемого мира? Как научно установить, верны они или не верны? Можно ли это сделать с помощью чисто логических операций, доказав правильность исходных положений "научно"?

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

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

Таким образом, истинность или ложность положений, исходных для логического построения, может быть установлена лишь способами, отличными от методов формальной логики, например сравнением с опытом. Но здесь мы сталкиваемся с тяжелой проблемой: опыт всегда ограничен. Откуда мы знаем, что на основе ограниченного опыта мы придем к неограниченно верному выводу?

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