Pичард Фейнман - Характер Физических Законов

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

Возможны два взгляда на математику. Для удобства один из них я назову вавилонской традицией, а другой - греческой традицией.

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

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

Итак, прежде всего мы должны согласиться с тем, что даже в математике можно отправляться от разных исходных положений. Поскольку все теоремы связаны друг с другом логикой, нельзя сказать, что такие-то утверждения мы считаем основными аксиомами, ибо если вместо них вам предложат другие аксиомы, то и по ним вы сможете построить всю геометрию. Это подобно мосту, составленному из одинаковых секций. Если он развалится, вы можете восстановить его, соединив секции в другом порядке. Сегодняшняя математическая традиция состоит в том, что берут определенные идеи, которые условились считать аксиомами, и исходя из них строят все здание. Если же следовать вавилонской традиции, то мы скажем: "Я знаю то, я знаю это и как будто бы знаю вот это; отсюда я вывожу все остальное. Может быть, завтра я что-то забуду, но что-то я буду помнить и по этим остаткам смогут восстановить все заново. Я не очень хорошо знаю, с чего я должен начать и чем кончить. Но в голове у меня всегда достаточно сведений, так что если я забуду часть из них, то все равно смогу это восстановить".

Доказывая теоремы, невыгодно каждый раз начинать с аксиом. Вы не сильно преуспеете в геометрии, если станете оказывать всякое положение, каждый раз отправляясь от аксиом. Конечно, если вы располагаете определенными сведениями в геометрии, то всегда сможете вывести из них кое-что еще; но гораздо выгоднее поступать иначе. Дорога, которая начинается с выбора наилучших аксиом, не всегда кратчайшая дорога к цели. В физике нам нужен вавилонский метод, а не греческий. Постараюсь объяснить, почему.

При евклидовом подходе наша задача - подобрать как можно более интересные и важные аксиомы. Но относительно тяготения, например, мы могли бы спросить себя: какая аксиома лучше - о том, что сила направлена к центру, или о том, что за равные промежутки времени описываются равные площади?

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

С другой стороны, принцип равенства площадей можно сформулировать в виде более общей теоремы для многих тел. Она довольно сложна и совсем не так красива, как первоначальное утверждение о равенстве площадей, но, несомненно, является его порождением. Рассмотрим систему многих тел, взаимодействующих друг с другом, например Юпитер, Сатурн, Солнце, множество звезд, и, глядя на них издали, спроектируем свою систему на плоскость (рис. 16).

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