Леонард Млодинов - Евклидово окно. История геометрии от параллельных прямых до гиперпространства

Красота? Но есть, однако, закавыка: а «гетерологический» — гетерологическое слово? Если да, значит, оно себя описывает, следовательно, оно таковым не является. Раз оно таковым не является, значит, оно себя не описывает, а следовательно — является. Вот что математики называют парадоксом; для не-математика это всего лишь знакомая безвыигрышная ситуация (понятие, придуманное математиками, дай им бог здоровья) [192].

В 1903 году Бетран Расселл, без пяти минут лорд Расселл, попытался навести порядок, предположив в своей скромной книге под названием «Принципы математики», что вся математика должна выводиться из логики. Совместно со своим коллегой по Оксфорду Алфредом Нортом Уайтхедом он попытался добиться такой выводимости — или хотя бы показать, как это сделать, — в трехтомном магнум-опусе, изданном между 1910 и 1913 годами. Вероятно, потому, что этот труд был серьезнее публикации 1903 года, он получил латинское название «Principia Mathematica». В «Principia» Расселл и Уайтхед заявили, что свели всю математику к единой системе основных аксиом, из которых можно доказать все теоремы математики, подобно евклидовой системе применительно к геометрии. В их системе даже такие фундаментальные понятия как числа рассматривались как эмпирические конструкты, которые необходимо обосновывать более глубокими аксиоматическими структурами.

Гильберт отнесся к этим заявлениям скептически. Он подначил математиков строго доказать успешность программы Расселла и Уайтхеда. Этот вопрос отложили насовсем в 1931 году шокирующей теоремой Курта Гёделя [193]: он доказал, что в системе достаточной сложности — в теории чисел, к примеру, — должно существовать утверждение, чью истинность или ложность невозможно доказать. Это уничтожает утверждение Расселла и Уайтхеда: они не только не показали, как именно все математические теоремы можно вывести из логики, но и в принципе не могли бы этого сделать!

Математики продолжают работать над фундаментом своей науки, но со времен Гёделя никому еще не удалось заметно изменить общую картину. По-прежнему не существует общепринятого подхода к тому, что начал Евклид: к аксиомам математики.

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

Гаусс и Риман показали, что пространство может искривляться, и разработали математику, необходимую для описания этого явления. Далее встал вопрос: а в каком пространстве обитаем мы? Или — еще глубже: что определяет форму пространства?

Изящный и точный ответ, данный Эйнштейном в 1915 году, на самом деле впервые в общих чертах был предложен еще в 1854-м самим Риманом:

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

21 февраля 1870 года Уильям Кингдон Клиффорд представил Кембриджскому философскому обществу статью под названием «О пространственной теории материи». Клиффорду тогда было двадцать пять — как и Эйнштейну, когда он опубликовал свою первую статью по специальной теории относительности. В своей статье Клиффорд смело заявил [195]: