Возьмем классическую механику, то есть подотдел физики, занимающийся движением макроскопических (то есть, проще говоря, видимых) тел. Такое движение описывается законами Ньютона, которые, как известно, являются детерминистскими. То есть, если в настоящее время нам известны координаты и скорости частиц, составляющих систему, уравнения Ньютона позволят рассчитать их положения и скорости в любой момент будущего или прошлого (долой все тонкости квантовой механики, частицы большие, ну хоть биллиардные шары — квантовой механики нам здесь совсем не нужно). Итак, будущее такой системы вроде бы можно предсказать. Однако есть тонкость. Среди механических систем имеются те, поведение которых не очень чувствительно к начальным условиям. Например, вы заводите свой автомобиль, и, стоит ли он в гараже, или у магазина, или где-нибудь на обочине, если с ним «все в порядке», он заводится и едет. И тут даже без особенно сложной математики можно руководствоваться каким-то опытом и составить вполне разумные ожидания о том, что будет происходить. Однако есть и другие системы, так называемые хаотические. Системы эти подчиняются тем же самым законам, однако их поведение исключительно чувствительно к начальным условиям. Поэтому определить «на глаз», что будет с ними дальше, выработать какую-то качественную картину ожидаемого не представляется возможным. Примерами таких систем является бурлящая вода (турбулентность) или атмосфера (хорошо известно, что предсказания погоды ненадежны, а долгосрочные — невозможны). На самом деле все обстоит еще более драматично. Дело в том, что расхождение начальных данных в таких системах приводит к расхождению траекторий, которое увеличивается со временем экспоненциально. Поэтому не только человек, но и никакой компьютер не сможет посчитать, к чему приведет малое изменение начальных данных через произвольный отрезок времени. Вернемся к предсказаниям погоды. Чем в более далекое будущее мы пытаемся заглянуть, тем неопределеннее оно становится, и за пределами десяти дней, я думаю, никакие мало-мальски детальные прогнозы просто невозможны.
Так вот, условием самой возможности знаний является относительная регулярность нашего мира, основанная на том, что хаотические системы занимают в нем относительно небольшое место. Для дотошного читателя добавлю: положение это в классической механике оправдано теоремой Колмогорова-Арнольда-Мозера, которая утверждает, что большинство механических систем, хотя и не являются интегрируемыми (то есть такими, где уравнения движения могут быть решены аналитически), большое количество времени проводят вблизи траекторий интегрируемых систем.
Следующим утверждением, которое тоже, по-видимому, принадлежит пифагорейской школе, является то, что наиболее адекватным языком, на котором можно обсуждать законы природы, является язык математики. Многие высказывания о природе, выразить которые на обыкновенном языке чрезвычайно сложно, становятся совершенно ясными и прозрачными, будучи сформулированы математически. Наверное, читатель слышал, что Пифагор заметил сходство между законами, управляющими движением планет, и законами музыки. Для человека, математически мыслящего, это сходство очевидно, он как бы слышит это, отсюда и выражение «музыка сфер». Гармония небесного свода подобна гармонии музыкальной. Так же как для восприятия последней у человека должен быть «слух» (что есть не только, да и не столько уши), так и для восприятия законов природы нужен некий внутренний орган, «умный слух».
Нетривиальность ситуации в том, что математика является «абстрактной» наукой. Когда в разговорной речи употребляют термин «абстрактный», то имеют в виду что-то, не имеющее отношения к реальной жизни. И конечно же, с математикой это в 90 % случаев так. То есть можно заниматься ею самой по себе, совершенно не обращая внимания на происходящее вокруг и не имея в виду, что результаты твоих исследований кому-нибудь, кроме твоих коллег, пригодятся. У математики есть свои внутренние проблемы, она движима своими внутренними импульсами. И вдруг!.. И вдруг результаты этих кабинетных изысканий оказываются совершенно необходимыми при изучении природы, того мира, от которого математик отвлекся и затворился. Меня лично это всегда глубоко потрясало, и без преувеличения скажу, что мой непреходящий интерес к физике основан в большой мере на этом.
Примеров того, как абстрактные идеи переставали быть абстрактными и становились в высшей степени конкретными, можно приводить бесконечно. Ну, возьмем хотя бы историю самого понятия числа. Начиналась она как раз с другого конца, то есть теория шла за практикой. Сначала думали, что есть только целые числа и дроби, потом обнаружили, что есть и иррациональные числа, такие как квадратный корень из двух или отношение длины окружности к ее диаметру (число «пи»). Все это пришло из непосредственных наблюдений; нужно было соотнести длину диагонали квадрата с его стороной или длину окружности с ее диаметром. Пифагорейский мир от этих открытий чуть не рухнул: человека, открывшего иррациональные числа, говорят, утопили. Но вот история появления мнимых чисел несколько иная (напомню, что мнимым числом является произведение любого «обычного» числа и квадратного корня из минус единицы; последний в математике обозначается символом i). Мнимые числа возникли в математике (кажется, в XVI веке) как промежуточная ступень при решении алгебраических уравнений, то есть из нужд самой математики. Долгое время казалось, что их использование есть просто вопрос удобства и ничего глубокого за ними не стоит. Действительно, такими числами для простого счета пользоваться нельзя; не может же быть i яблок или расстояние от одного города до другого не может равняться i километрам. Однако оказалось, что мнимые числа очень даже нужны для физики, не просто нужны, а так нужны, что обойтись она без них просто не может.
Чтобы обсуждение не выглядело совершенно отвлеченно, приведу пример применения комплексных чисел. Вот, скажем, нам надо посчитать площадь под кривой, заданной уравнением у = 1/(х2 + 1), часть которой изображена на рисунке (предполагается, что кривая простирается от минус до плюс бесконечности, но этого, понятно, не нарисуешь).
Математически эта задача эквивалентна вычислению интеграла:
Все числа и функции здесь действительные, что очевидно хотя бы из того, что площадь под кривой (закрашена на рисунке серым цветом) действительна. Однако оказывается, что интеграл очень просто вычисляется, если переопределить его как интеграл от комплексной функции. Он равен π = 3,14159… Разумеется, я привел самый простой пример; в данном случае интеграл можно посчитать и без комплексных чисел, но есть множество примеров, когда этого сделать нельзя.
На мнимых числах расширение понятия числа не остановилось. В начале XIX века были введены кватернионы, перешедшие в физику сто лет спустя. В конце XIX века появились так называемые Грассмановы числа, названные так по имени открывшего их немецкого математика Германа Грассмана. Представьте себе объекты, которые можно перемножать (но не делить друг на друга) и складывать, а также интегрировать. Отличие этих объектов от обычных чисел состоит в том, что произведение двух Грассмановых чисел ab меняет знак, когда сомножители меняются местами: ba = — ab. Соответственно, произведение любого Грассманова числа на себя равно нулю. Звучит как игра абстрактного ума, не правда ли? Оказалось (через сто лет), что квантовая теория поля без таких чисел не может обойтись.
