Математика, Философия и Йога

Лекция 2

Что такое раджа-йога [1]? Это особая форма йоги, сходная с хатха-йогой [2], но не тождественная ей. Раджа-йога имеет дело главным образом с определенными психическими процессами и отчасти – с процессами физическими. По характеру ее правильнее считать неким средством, а не одной из основополагающих Тримарг, к которым относятся пути знания, любви и действия, то есть воли.

Существует ли такое явление, как интегральная йога? Думаю, да. Конечно, это понятие прежде всего связано с именем Шри Ауробиндо [3]. Основная мысль заключается в том, что достижение цели только одним путем может оказаться не достаточным, не очень полным, и потому лучше идти по тройному пути, Тримарге, – одновременно либо последовательно. Мне не известно, насколько действенна интегральная йога, но в самой идее, несомненно, нет ничего плохого.

Можно ли причислить Шри Ауробиндо к тем, кого называют Просветленными? Что ж, я склонен считать его одним из таких людей. Я не берусь оценивать его величие, равно как и величие любого другого Озаренного, ведь если вершины гор скрываются за облаками, нет смысла пытаться угадать их точную высоту. Обычно, когда человек утверждает, что такой-то и такой-то – величайший из всех (разумеется, этот такой-то неизменно оказывается самым близким для говорящего), в этих словах отражается эго: «Мой Господь, мой учитель, мой гуру». Когда подчеркивается «мой», а затем следует «самый великий», значит, мы имеем дело с утонченной формой эгоизма. Не пытайтесь оценивать величие тех, кто вышел за пределы земного поля зрения. Достаточно сказать, что любой из них способен озарить нам Путь.

Еще один вопрос: «Что не относится ни к А, ни к не-А?» Самый простой ответ: «Полнота Просветления». Такое отрицание того, что искомое неизбежно окажется либо в А, либо в не-А, означает, что двойственное сознание не способно его постичь, что предмет поиска выходит за рамки подобных ограничений. Наши рассуждения о наблюдаемой вселенной достоверны только в пределах двойственного сознания. В этом-то и сложность. Вы можете сказать: «Я не могу представить себе иное сознание, нечто другое». Да, совершенно верно. Разве ограниченное, двойственное сознание способно вообразить отсутствие двойственности? Дорога к нему проходит через Осознание, а после Осознания вы поймете. До Осознания вы еще ничего не понимаете. Не стоит даже пытаться определять ТО, что находится за любыми границами. Определения применимы только в мире двойственного сознания, но наши концепции не пригодны для ТОГО, что кроется за любыми пределами, и только при искусном обращении они могут дать легкий намек на ТО.

Следующий вопрос: «Неужели материя не является изменчивой?» Этот вопрос вызывает множество встречных вопросов и приводит к трудному положению. Что вы понимаете под словом «материя»? Вы имеете в виду распространенную гипотезу о слиянии в единое целое всех впечатлений, возникающих благодаря органам чувств? Быть может, вы гипостатируете [4] то, что познаете посредством ощущений – осязания, зрения, слуха, давления, кинестетического напряжения? Нам известно только это. Возможно, вы гипостатируете нечто существующее во внешнем мире независимо от сознания в любом смысле этого слова, то есть нечто лишенное сознания? Если так, то как вы об этом узнали? Нам доступны только ощущения, ничего более.

Я еще не пользовался словом «материя». Я упомянул о двух функциях, органах или свойствах познания, а именно о чувственном восприятии и умозрительном постижении. Мы знакомы только с их деятельностью. Это нам известно, но разве эти способности могут принести сведения о чем-то таком, что пребывает вне любого сознания? Мы привыкли считать, что так оно и есть, но это беспечность мышления. Если вы прочтете буддийские сутры, то заметите, что они очень точно рассказывают об этом. Будда говорил… во всяком случае, утверждается, что он говорил так: «Качества – вот все, что у нас есть». Под «качествами» он понимал практические ощущения. Больше ничего нет. Говоря о некотором веществе, которое не воспринимается само по себе, но только обладает какими-то качествами, вы недостаточно точны. Этого вы не знаете. Такая привычка легкомысленна. Этот вопрос мог бы увести нас на очень зыбкую почву, и я намерен поговорить об этом позже, после определенной подготовки, так как здесь вы сталкиваетесь с проблемой, которая долгие годы занимала философов.

По правде говоря, хорошо осведомленный современный ученый никогда не делает метафизических допущений о природе материи. Я имею в виду по-настоящему разумного ученого, а не простого клерка от науки, решающего задачи. Я говорю о людях уровня Эйнштейна [5] или, скажем, Ванневера Буша*. Они понимают, что имеют дело с неким набором определений, пригодным по большей части только для математических формулировок. Опираясь на свои эксперименты, они выдвигают определенные гипотезы, благодаря которым эти опыты складываются в целостную концепцию. Подобные гипотезы оказываются хорошими, если приводят к таким дальнейшим экспериментам или наблюдениям, которые согласуются с гипотетическими предсказаниями и тем самым их подкрепляют. Эти гипотезы терпят крах, если не подтверждаются на практике. Один мой знакомый, физик-теоретик, высказал нечто очевидное для каждого математика: любое явление допускает потенциально бесконечное многообразие возможных объяснений. Я попробую вновь использовать математическую аналогию, чтобы прояснить эту мысль.

рис.5

Одним из простейших и прекраснейших примеров в истории науки может служить то, как Кеплер [6] выявил закон движения планет благодаря наблюдениям Тихо Браге [7], то есть определил, что орбиты обращающихся вокруг Солнца планет имеют почти эллиптическую форму.

Рис.6

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

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

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

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

Кроме того, ученые навязывают гипотезам определенные произвольные правила, которые не объясняются требованиями чистой логики; в частности, гипотезы должны носить такой характер, чтобы они допускали дальнейшую проверку – эксперименты или наблюдения. Это называют требованием операционности. Но можем ли мы быть уверены в том, что природа окончательной истины позволит подвергнуть ее проверке с помощью методов двойственного сознания? Наука предлагает только прагматическую проверку истинности, а не проверку истины как таковой.

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

Эйнштейн прекрасно сознавал это и говорил об этом. Одним из тех, кем он больше всего восхищался, был сэр Исаак Ньютон [9], чей философский взгляд на природу мироздания Эйнштейн же и опроверг. Он оказался на шаг впереди Ньютона, так как тот еще верил в метафизическое существование и ввел его в свои гипотезы. Он пользовался концепцией абсолютного времени, равномерно пронизывающего пространство, но при внимательном рассмотрении выяснилось, что эта идея не имеет практического смысла. Многие законы Ньютона справедливы. Они по-прежнему выполняются для большинства повседневных явлений, в мелких масштабах, но уже не действительны – нам известно, что они просто не выполняются, – когда мы имеем дело со скоростями, близкими к скорости света, или с огромными, космическими масштабами, – с такими измерениями, которые были просто невозможны в эпоху Ньютона. Итак, Эйнштейн говорил, что законы Ньютона были первым приближением к истине, а то, что сделал он, Эйнштейн, с точки зрения огромного опыта науки является лишь вторым приближением, после чего могут вновь возникнуть очередные изменения. Он прекрасно понимал, что эти открытия были только первыми приближениями в бесконечной последовательности шагов, ведущих к истине. Вот пример скромности подлинно великого научного ума, осознающего ограниченность собственных методов.

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

Именно об этом я говорил вчера вечером. Я не упоминал о материи, когда рассказывал о пространстве ниже начерченной линии, когда отождествлял ее с дискретным сознанием, то есть с многообразием отдельных элементов, каждый из которых связан с соседними, как обычные целые числа. Затем я воспользовался идеей непрерывного пространства, чтобы описать то, что находится выше этой черты, за пределами двойственного сознания. При этом я построил лишь приближение к истине, поскольку в конечном счете это непрерывное пространство также дискретно, оно тоже отмечено ограниченностью нашего процесса познания.

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

Математики так и не смирились с мыслью о существовании чего-то бесконечно малого, ускользающего от любых измерений; эта идея никогда их не удовлетворяла. Говорят, что Вейерштрасс [10] полностью отказался от бесконечно малых. Он считается одним из величайших мыслителей в математическом анализе; этот человек интересен уже тем, что писал как поэт. Ему приписывают такие слова: «Математик, в котором нет ни капли поэта, – не настоящий математик». Возможно, эта фраза поможет вам получить определенное представление об этом человеке. Он, так сказать, избавился от бесконечно малых, но дорогой ценой. Расплатой стал отказ от существования такого явления, как движение; он пришел к тому, что есть только тела, неподвижно покоящиеся в определенных точках пространства в каждый отдельный момент времени. Такое представление работает. Опираясь на него, можно построить дифференциальное исчисление. Лично я не знаком с его выкладками. В мое время они не входили в курс дифференциального исчисления. Наука пошла по пути Лейбница, и теперь вы имеете полное право считать бесконечно малые элементы чем-то совершенно реальным.

Избавиться от бесконечно малых можно, но при этом придется отбросить представление о существовании самого движения: останутся только тела, занимающие в различные мгновения определенные положения в пространстве. Интуиция заставляет задать вопрос: «Каким образом можно оказаться в ином положении, не перемещаясь в него?» Выяснилось, что такое интуитивное недоумение не так уж обосновано. Достаточно предположить, что то явление, которое называют движением, сводится к неподвижному положению материи (или тела) в разных точках пространства в определенные моменты времени. Это можно назвать кинематографическим подходом к действительности, в рамках которого идея движения превращается просто в иллюзию, майю. Я не отстаиваю эту точку зрения, я просто описываю ее. Сейчас я занимаю некую промежуточную позицию. Нам известно, что последовательность неподвижных картинок способна вызвать иллюзию движения. Мы сталкиваемся с этим всякий раз, когда приходим в кинотеатр. Каждый образ, возникающий на экране, совершенно статичен, просто кадры сменяются очень быстро, и в результате возникает впечатление потока, движения, хотя на самом деле никакого движения нет.

Был один греческий философ по имени Парменид, и он уже в давние времена утверждал, что движения не существует. Его противником был Гераклит [12] – тот самый, который сказал, что в мире царит такое движение, что в одну реку нельзя войти дважды – впрочем, это невозможно сделать даже один раз. Зенон [13], ученик Парменида, развил его лучшие парадоксы с единственной целью: продемонстрировать, что, допуская существование движения, можно оказаться в очень сложном положении. Он описал знаменитый парадокс состязания Ахилла и черепахи в беге, где животное получает определенную фору в расстоянии (см. рис. 7).

Рис.7

Зенон утверждает, что Ахилл никогда не догонит ее, как бы он быстро ни бежал и как бы медленно ни ползла черепаха. Предположим, Ахилл начинает бег с точки А, а черепаха – с точки В. Чтобы догнать ее, Ахиллу необходимо достичь точки В, но тем временем черепаха уже доползет до точки С. Это значит, что теперь Ахиллу придется добежать до точки С, но к этому времени черепаха уже окажется в точке D. Это будет продолжаться бесконечно, а Ахиллу потребуется бессчетное число шагов. Совершить бесконечное количество движений за конечное время невозможно. Таким образом, движения нет.

Это может показаться смешным, но логики и математики сражались с этой задачей более двух тысячелетий и до сих пор не нашли вполне удовлетворительного решения. В нашем мыслительном процессе определенно существуют какие-то серьезные изъяны. Бертран Рассел [14] считал, что решение кроется в том, что за конечное время все-таки можно совершить бесконечное число шагов, так как сумма бессчетного количества элементов не обязательно бесконечна, она может быть и конечной. Не исключено, что решение существует, но если так, то нам все же придется ждать до тех пор, пока кто-нибудь его найдет. Так что не смейтесь над Зеноном. Он изложил свой парадокс в виде шутки, но сама задача оказалась серьезным испытанием для мышления.

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

Сделав шаг от двери к кафедре, я забывал обо всем и начинал без всякой подготовки говорить на совершенно другую тему – это значит, что я мог говорить целый час, а план рассказа возникал во время самой лекции. Предсказуемо лишь то, что подобное может случиться. Нельзя сказать: «Я скажу то-то и то-то». Когда это происходит, возникает некое явление. Под словом «явление» я подразумеваю те особенности, которые могут быть распознаны, обнаружены – во всяком случае, некоторыми людьми. Сознание по ту сторону от черты, то есть за покровом, предстает перед нами в виде Полевого Сознания. Оно может ощущаться как нечто расширяющееся, как осязаемая тишина с лишенным формы содержанием. Оно способно взять верх над указаниями умозрительных построений. Когда такое происходит, оно захватывает власть твердой рукой, и человек может сделать то, на что обычно не способен. Оно может вызвать у тех, кто оказался рядом, мистические переживания – радостные состояния сознания, чувство счастья. Оно может вызвать ощущение жара – логичных пояснений этому нет, но это бывает. Ошибка исключена. Я видел, как лица становятся румяными, как они покрываются испариной, а люди начинают снимать пиджаки. Результаты бывают очень ощутимыми, а сам человек может произносить слова так, что они становятся приказаниями не только для него, но и для всех остальных.

Где источник подобных знаний? Он не один. Часть этих сведений может приходить из глубин незримой стороны самого человека. Она может быть познаниями Братства, так как это Братство представляет собой многих в одном – это не совокупность отдельных песчинок, а единое целое, которое можно описать таким образом: «я» превращается в «мы», одновременно оставаясь «я». Выше и ниже этих знаний простираются мысли, которые не принадлежат какой-либо личности – знания, не требующие познающего, нечто вроде Всеобщего Хранилища. Это та сила, которая способна менять сознание человека, переносить его ближе, приближать к отверстию вверху. Возникнув, такое состояние начинает главенствовать над всем прочим. Оно может царить некоторое время, а потом уйти. В таких случаях я вновь возвращаюсь к систематичности. Спонтанные отступления не следует считать личной прихотью говорящего, это результат совместных усилий выступающего и слушателей. Они никогда не случаются, если ты окружен неблагожелательной аудиторией или теми… ну, например, теми, кто думает: «Кем этот парень себя воображает?» Все зависит от внутренней связи. Для поисков такой связи часто требуется время, но это возможно. Эти состояния могут быть очень глубокими, почти такими же мощными, как самадхи [15] во время бодрствования.

Это крошечный проблеск чего-то Запредельного. Заглядывая в эти глубины, относительное сознание может сначала счесть их тьмой, безмолвием и пустотой. Однако при смещении на их собственный уровень, при переходе к иному способу постижения они воспринимаются как необычайно яркий свет, как полнота и вершина содержательности – как внутренняя сущность звучания. По существу, это происходит и сейчас…

Помнится, я сказал, что мы перейдем к вопросу определений. Давайте переключаться. Что такое математика вообще? Название моих лекций: «Математика, философия и йога». Такое сочетание тематик имеет свои причины. Это тот путь, которым я шел, и потому я лучше всего знаком именно с ним. Если вы обратитесь к различным справочникам, как сделал я, то найдете в них множество разнообразных определений того, что понимается под математикой. Я нашел одно из них в «Сэнчери Дикшнэри», где математика определяется как «наука о количестве» [16]. Кажется, такое представление очень широко распространено, но оно остается чрезвычайно далеким от истины. В математике есть много областей, не имеющих ничего общего с количественными отношениями – например, алгебра логики, творение великого ирландского ученого Буля, которого Рассел назвал первым чистым математиком. Алгебра логики не связана с количеством, она рассматривает классы, множества, взаимоотношения между ними и прочие подобные вопросы.

Другим примером направления, никак не связанного с вычислениями, – кстати, очень красивым направлением, – является проективная геометрия. Думаю, пример из этой области покажется вам занятным. В проективной геометрии вообще не рассматриваются метрические свойства, в ней не используются измерения. Понятие меры является основополагающим во всем, что касается количества, но проективная геометрия занимается описательными свойствами. Начертим две произвольные прямые и назовем их L и L’ (см. рис. 8).

Рис.8

Выберем на каждой прямой по три произвольных точки. Обозначим точки на прямой L буквами А, В и С, а точки на прямой L' -А', В' и С’. Теперь соединим отрезком точки Аи В', а также пару А' и В. Отметим место пересечения этих отрезков. После этого построим отрезки, соединяющие пары точек В и С', С и В', С и А' и, наконец, С' и А. Помните, что прямые и все точки были выбраны совершенно произвольно, мы не прибегали к каким-либо измерениям. Кроме того, прямые вообще бесконечны. В проективной геометрии все прямые имеют бесконечную длину, так как операции с ними не связаны с измерениями. Длины и углы не имеют никакого значения. Эта теорема (первым ее доказал Паскаль [17], и она является частным случаем более общей теоремы о конических сечениях) заключается в том, что три полученные точки пересечения построенных отрезков лежат на одной прямой. Математику такой результат кажется очень красивым -и не потому, что его можно увидеть воочию, а по той причине, что он оказывается полной неожиданностью. Вся изюминка в том, что это справедливо для любых, самых произвольных прямых. Точки также выбираются произвольным образом – вы можете поместить их куда пожелаете. Вы просто чертите прямые L и L', проводите три соединяющих их отрезка – и обнаруживаете, что полученные точки пересечения находятся на одной прямой. Если вы ощутили это, то получили определенное представление о той красоте, которую ценят математики. Это умозрительная красота. Она заключается в том, что между элементами, которые казались независимыми, разрозненными, внезапно возникает некое единство. Подобные переживания случаются часто, но обычно осознаются только при высоком уровне сосредоточенности, способном вызывать экстатическое состояние.

Более полное и точное определение математики приводится в «Словаре философии и психологии» Болдуина. Там сказано, что «математика представляет собой науку об абстрактных отношениях» [18]. В своей статье для девятой редакции «Британской энциклопедии» Уильямсон говорит, что «любая концепция, полностью описываемая конечным набором определений, является математическим понятием» [19]. Кроме того, Рассел сказал, что чистая математика представляет собой класс всех утверждений в форме «р влечет q», где р и q являются утверждениями, содержащими один и тот же набор переменных и не включающими в себя никаких постоянных, кроме логических констант.

Вернемся к неметрическим областям математики. Помимо алгебры логики и проективной геометрии, существует топология, которую иногда называют «геометрией на резиновой плоскости». Это чрезвычайно важное направление. Топология изучает те отношения, которые остаются неизменными при любых деформациях пространства. Скажем, плоскость можно растянуть таким образом, чтобы квадрат превратился в круг, а эллипс – в любую другую фигуру. Что же останется неизменным? Связность отдельных частей. Подобные опыты приводят ко множеству занятных построений – например, к созданию односторонней поверхности -ленты Мебиуса (см. рис. 9).

ЛЕНТА МЕБИУСА

Рис.9

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

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

Мы приближаемся к тому вопросу, который выходит за рамки любых определений, – к вопросу об основополагающей сущности математики. В ней выделяют три общепризнанные школы. Одна из них известна как логицизм, и самым видным ее представителем был Рассел. Логицисты считают, что математика – это только логика. Они придерживаются представления о том, что всю ныне известную математику и любые математические направления, которые могут возникнуть в будущем, можно свести к чисто логическому процессу (такому процессу, который можно использовать для программирования технических устройств). Сделать это пока не удалось. Логицизм сталкивается со множеством трудностей, с очень серьезными парадоксами. Например, представим себе множество всех множеств, которые не являются собственными элементами. Входит ли такое множество само в себя [20]? В свое время этот вопрос, то есть задача, был направлен в адрес Пеано [21], который только что завершил двухтомный труд по математической логике. Книга уже была в типографии, но этот вопрос полностью обесценивал ее содержание. Пеано сказал: «Как трудно смириться с тем, что после долгих лет, посвященных научным исследованиям, воздвигнутая вами башня разваливается в один миг». Вы можете сами убедиться в том, что на такой вопрос нельзя ответить ни «да», ни «нет». Этот парадокс возник в рамках самого взгляда на природу математики. Я задумываюсь о том, не попытались ли логицисты сделать ее чрезмерно чистой – в том смысле, что практически отказались от интуиции и свели математику к логическому процессу, который не пользуется интуицией и не испытывает в этом потребности.

Сейчас я попытаюсь подвести всему этому итог. Многие из вас еще не понимают, к чему я веду, но в действительности мы говорим о силах и слабостях, ограничениях чистого мышления, – а такое чистое мышление проявляется именно в математике. Поэтому я надеюсь, что вы не пожалеете о потраченном на понимание этих примеров времени – даже те из вас, у кого нет особых познаний в математике. Кроме того, подобные рассуждения отчасти подготовят нас к некоторым возможным трудностям.

Другой школой математики является формализм, связанный, в частности, с Гильбертом [22]. В отличие от школы Рассела, формализм уделяет особое внимание не логике, а необычным формам геометрии. Когда Евклид [23] писал свои труды по геометрии, он воспользовался рядом предположений, которые назвал «аксиомами», то есть «самоочевидными истинами», чем-то таким, в правильности чего никто не сомневается. В действительности, Евклид представил их в форме постулатов, а не обычных определений (аксиом) [24]. Он начал с этих положений и вывел из них все остальное. Пятая аксиома, известная как аксиома о параллельности [25], выглядит очень сложной. В ней утверждается: если сумма двух внутренних углов по одну и ту же сторону от некой прямой, пересекающей две заданные прямые, равна сумме двух прямых углов, то исходные прямые не пересекаются (см. рис. 10). Это утверждение кажется похожим на теорему, то есть на нечто требующее доказательства, но на самом деле это аксиома. В современных учебниках вы, вероятнее всего, встретите ее в такой формулировке (см. рис. 11): через точку С, не лежащую на прямой АВ, можно провести одну и только одну прямую, параллельную прямой АВ. Так ее описывают в наши дни, а первый вариант представляет собой формулировку Евклида. Поскольку она выглядит похожей на теорему, многие математики пытались доказать ее, опираясь на остальные аксиомы, но потерпели полную неудачу.

ПЯТАЯ АКСИОМА ЕВКЛИДА

Рис.10

Рис. 11

Следующим шагом стала попытка выдвинуть иные предположения. Лобачевский и Больяй [26] независимо друг от друга допустили, что через точку С, не лежащую на заданной прямой АВ, можно провести по меньшей мере две прямые, параллельные АВ. Это означает, что и прямая CD, и прямая СЕ могут не пересечь прямую АВ -нигде, кроме, быть может, бесконечности. Просто предположим, что это правильно. Быть может, мы так не думаем, но дело не в этом. Можно ли, пользуясь этой аксиомой, построить внутренне непротиворечивую геометрию? Да. И это было сделано. В геометрии Лобачевского многие, практически все, положения Евклида, опирающиеся на аксиому о параллельности, выглядят совершенно иначе. Например, все вы знакомы с утверждением о том, что сумма углов треугольника равна двум прямым углам, но в геометрии Лобачевского эта сумма всегда превышает сто восемьдесят градусов.

Другой математик, Риман [27], примерно в те же годы допустил, что через точку С невозможно провести ни одной прямой, параллельной заданной, то есть любая из них непременно пересечет выбранную прямую АВ на конечном расстоянии от точки С. Это уточнение очень важно. В геометрии Римана движение по любой прямой в одном направлении непременно заставит вас вернуться к исходной точке с другой стороны. Быть может, это противоречит интуитивным представлениям, но в построении такой геометрии тоже нет логических ошибок. Она внутренне непротиворечива.

По мнению Рассела, в математике допустимы любые внутренне непротиворечивые концепции. Это значит, что геометрии Лобачевского и Римана имеют право на существование. Через полсотни лет после Римана родился Эйнштейн, который развил общую теорию относительности. Обнаружив, что его концепция мироздания соответствует Римановой геометрии, Эйнштейн сказал: «Как могло случиться, что заточенного в башне из слоновой кости математика посещают совершенно правильные мысли о строении внешней вселенной?» Это очень хороший вопрос. Такого чистого математика, как Риман, интересует прежде всего, так сказать, интеллектуальное упражнение. Это относится ко всем чистым математикам. Подобно богам, они не руководствуются исключительно чувством долга. Математик делает нечто только во имя удовольствия. Такой образ жизни ведут все вольные души, и математики показывают нам огромное число примеров такой свободы. У вольной души нет обязанностей. Она делает что-то совершенно спонтанно, однако такие непреднамеренные действия почти всегда приводят к блестящим результатам. Да, чистый математик запирается в башне из слоновой кости и мыслит только ради удовольствия. После этого кто-то из проходящих мимо берет его результаты и обнаруживает, что они предлагают власть над той или иной сферой природы. Однако это вызывает у чистого математика боль, так как милая его сердцу чистота оказывается запятнанной практическим применением.

Рассказывают, что один математик, у которого возникла совершенно непрактичная идея, воскликнул: «Слава Богу, что эта мысль не имеет никаких вообразимых сфер приложения». Разве это странно? Что почувствует художник, если напишет прекрасную картину, а потом некто отберет ее и начнет использовать для продажи «кока-колы»? Те же чувства охватывают и чистого математика. Не все мы слеплены по одному образцу. Вот простой факт: практически все математические творения были созданы чистыми математиками, запиравшимися в башнях из слоновой кости; к тому же всем нам известно, что любые попытки творить ради практической пользы делают творчество невозможным. Единственным исключением стала развитая Ньютоном теория производных, то есть дифференциального исчисления. Ньютона занимали концепции мироздания, а математика оставалась для него лишь инструментом. То же самое можно сказать и о значении математики для Винера [28], одного из главных теоретиков в области создания вычислительных машин в наши дни. Он был склонен заниматься не чистой, а прикладной математикой.

Поговорим об этом подробнее. Вот история о Рамануджане [29], величайшем восточном (индийском) математике моего времени, и об английском ученом Харди [30]. Оба были чистыми теоретиками. На одной из своих лекций Харди рассказывал о том, как нанял кэб и отправился навестить Рамануджана, когда тот гостил в Англии. Появившись, Харди сказал: «Я приехал на кэбе номер 1729 – очень скучное число». Его друг-индиец возразил: «Напротив, это очень интересное число. Это минимальное из всех чисел, которые можно двумя различными способами представить в виде суммы двух кубов». Попробуйте самостоятельно найти решения этой задачи [31].

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

Аксиома 1. Если а и b – различные элементы множества S, то существует по меньшей мере один класс L, одновременно содержащий в себе и а и b.

Аксиома 2. Если a и b – различные элементы множества S, то существует не более одного класса L, одновременно содержащего в себе и а и b.

Аксиома 3. Любые два класса L имеют по меньшей мере один общий элемент из множества S.

Аксиома 4. В множестве S существует по меньшей мере один класс L.

Аксиома 5. Любой класс L содержит по меньшей мере три элемента множества S.

Аксиома 6. Все элементы множества S не могут одновременно принадлежать одному классу L.

Аксиома 7. Ни один класс L не содержит более трех элементов множества S.

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

Внутренние железные дороги: Адаме, Браун, Смит. Муниципальные долговые обязательства: Браун, Мерфи, Эллис.

Федеральные долговые обязательства: Мерфи, Смит, Джонс. Южноамериканские ценные бумаги: Смит, Эллис, Гордон. Национальная черная металлургия: Эллис, Джонс, Адаме. Континентальные ценные бумаги: Джонс, Гордон, Браун. Акции коммунальных предприятий: Гордон, Адаме, Мерфи.

Бесплотный дух Евклида! Вот чем становится современная геометрия! Этот список полностью соответствует нашим аксиомам. В прошлом слово «геометрия» обозначало землемерные работы, но теперь это понятие потеряло прежний смысл. Сейчас формалисты утверждают, что математика – это игра с формальными сущностями; подобно шахматам, она не несет никакого содержания, и все же люди играют в нее очень серьезно.