Математическая мифология и пангеометризм - Религия и мифология - Скачать бесплатно
МАТЕМАТИЧЕСКАЯ МИФОЛОГИЯ И ПАНГЕОМЕТРИЗМ
«Открылось мне: в законах точных числ, В
бунтующей, мыслительной стихии -
Не я, не я - благие иерархии
Высокий свой запечатлели смысл.
Звезда... Она - в непеременном блеске...
Но бегает летучий луч звезды
Алмазами по зеркалу воды
И блещущие чертит арабески».
А.Белый. Дух (1914).
Как справедливо отметил еще О.Шпенглер [37], не существует универсального
стиля математического мышления (универсальной математики), поскольку не
существует универсальной общечеловеческой культуры. В разные эпохи и у
разных народов математика отличалась настолько сильно, что перед нами, в
некотором смысле, различные культурные феномены (например, математика
античная и математика нововременная). Другой важный тезис Шпенглера состоит
в том, что существует теснейшая взаимосвязь между разнообразными сторонами
жизни данного культурного организма: античная математика глубочайшим
образом связана с античными мифологией, религией, искусством, архитектурой,
организацией общественной жизни и т.д., а нововременная математика - с
соответствующими сторонами нововременной культуры. Эти два шпенглеровских
тезиса являются основополагающими для всякой социокультурной философии
математики.
Желая проследить далее процесс дифференциации стилей, и приглядываясь к
математике определенного культурного организма, мы увидим более мелкие
разделения. Например, в случае современной европейской культуры стало уже
общепринятым противопоставлять математику «работающих математиков» (working
mathematicians) и математику математических логиков и специалистов по
основаниям. Другой пример: А.Н.Кричевец предлагает различать в рамках
современной культуры, по крайней мере, три математики - математику
профессиональных математиков, математику инженеров, и математику физиков
[14, с.387-388]. Можно, очевидно, произвести и другие разделения
современной математики. Для дальнейшего нам будет удобно несколько развить
различение А.Н.Кричевца: мы можем разделять математику через
преимущественное тяготение к определенной смежной области культуры: так у
нас будут появляться не только математика физиков или инженеров, но и
математика философов, математика художников, математика поэтов и т.д.
Особое положение при таком делении займет математика профессиональных
математиков. Она не взаимодействует напрямую с другими областями культуры:
такое взаимодействие всегда опосредовано одной из «математик»,
перечисленных нами выше. Описываемое разделение удобно изобразить в виде
следующей схемы (рис.1).
Рис.1.
Преимущественная связь с той или иной областью культуры, равно как и
установка, состоящая в избегании такой связи, накладывает определенный
отпечаток на стиль математического мышления, характерный для данной
«математики». Можно даже смотреть на подобное деление математики как на
различение стилей мышления par excellence.
Очевидно, дифференциацию стилей математического мышления можно продолжать и
далее, пока не дойдем до уникального стиля данного математика или даже
данного математического текста. Однако уже произведенного выше различения
будет вполне достаточно для наших целей.
Пока что мы проводили разделительные линии. Мы отделяли математику разных
культур и эпох, мы разделяли математику и в рамках единой эпохи и единой
культуры, в зависимости от основной области приложений. Теперь необходимо
сказать, что, конечно же, в культурном организме математика физиков не
обособлена от математики профессиональных математиков или от математики
средней школы, а сложным образом взаимодействует с ними. Да и между
культурами нет все-таки непроницаемых перегородок: так античная математика
и математика нововременная, несмотря на все свои отличия, связаны все же
цепью «социальных эстафет» (М.А.Розов). Именно наличие этой, хотя порой
весьма хрупкой связи и позволяет нам все ж таки надеяться на возможность
понимания, равно как и на оправданность разговора о едином феномене
математики (хотя более адекватным здесь было бы сравнение не с единой
жизнью, а с цепью перевоплощений, связанной единством кармы).
Итак, хотя универсальной математики не существует, это не означает
бессмысленности разговора о математике вообще. (Ниже мы будем говорить не
только об определенном стиле математического мышления, но и о понимании
математики вообще, этим стилем провоцируемом). Достаточно удобным для
разъяснения того, что мы хотим сказать, оказывается противопоставление
понятия-емкости и понятия-типа, производимое Р.Арнхеймом [2, с.34-39].
«Понятие-емкость - это сумма свойств, по которым можно узнать данный вид
сущности. Тип - это структурная основа такого вида сущности» [2, с.35]. Мы
не будем пытаться в дальнейшем привести необходимый и (в совокупности)
достаточный перечень черт, определяющих математическое мышление. Да такой
перечень и невозможно составить (здесь уместно вспомнить знаменитые
рассуждения Витгенштейна о понятии «игра»). Однако это не делает менее
интересной попытку угадать некий образ, некую структуру-гештальт, которая
давала бы нам ощущение прозрения в тайну математического.
При этом достаточно понятно, что характер подобного «прозрения» будет
зависеть от избранного угла зрения на математику (в нашем случае, взглядом
на нее с точки зрения ее связи преимущественно с такими областями культуры
как религия, философия, искусство, т.е. взглядом sub specie artis). Выбор
иного угла зрения привел бы к иной картине, но избрание одного угла зрения
и не предполагает отрицания правомерности других, а значит, мы и не имеем в
указании на наличие других возможных подходов решающего аргумента против
права создаваемой в данной работе картины на существование. Более того: мы
не просто избираем здесь определенный ракурс, но стремимся сохранять его,
пока остается возможность развивать мысль в избранном направлении. Это
сознательный метод данной работы. Ее схема приблизительно такова (рис.2).
Рис.2.
Начать естественно с выражения «математическая мифология». Для разъяснения
того, что имеется в виду, нам придется обратиться к Платону.
1. Что такое математическая мифология?
Платоновский Тимей говорит: «... не удивляйся, Сократ, что мы, рассматривая
во многих отношениях много вещей, таких, как боги и рождение Вселенной, не
достигнем в наших рассуждениях полной точности и непротиворечивости.
Напротив, мы должны радоваться, если наше рассуждение окажется не менее
правдоподобным, чем любое другое, и притом помнить, что и я, рассуждающий,
и вы, мои судьи, всего лишь люди, а потому нам приходиться довольствоваться
в таких вопросах правдоподобным мифом, не требуя большего» [21, с.433;
курсив мой].
Мифология «Тимея» насыщена математическими элементами. Это не просто миф,
но миф математический. Здесь и рассуждение о шарообразности космоса, и
разделение мировой души в соответствии с определенными арифметическими
закономерностями, и все учение о четырех стихиях, включающее знаменитые
рассуждения о правильных многогранниках. Согласно Проклу, «Платон многие
удивительные учения о богах излагает нам посредством математических форм»,
и таков же «весь способ Пифагора учить о богах» [24, с.81].
В чем же смысл математического мифа? В чем притягательность именно
математической мифологии для античного мыслителя? Ответ на эти вопросы мы
находим у того же Платона, и в первую очередь в диалоге «Государство».
Во-первых, здесь мы весьма отчетливо видим, каким образом миф работает в
динамике платоновской мысли. В конце VI книги строятся взаимосвязанные
иерархии бытия и познавательных способностей, а параллельно им развивается
соответствующая мифологическая конструкция, которая находит окончательное
завершение уже в VII книге в знаменитом мифе о пещере. По существу Платон
параллельно возводит две тесно связанные между собою конструкции -
метафизическую и мифологическую. Их взаимосвязь организуется посредством
широко применяемого Платоном принципа пропорции или аналогии (см. подробнее
у А.Ф.Лосева [16, с.250-275]).
Приведем в качестве примера лишь малый фрагмент этого построения [21, с.253-
319]. Содержащееся в VI книге учение о Благе может быть представлено
следующей пропорцией:
Числители выписанных дробей относятся к области подлинного бытия, а
знаменатели - к области чувственно воспринимаемого (зримого).
Метафизическую связь между мышлением, идеями и Благом, предлагается
понимать по аналогии с тем, как связаны между собой зрение, видимые с его
помощью вещи и, только и делающие возможным существование зрения и видимого
мира, Солнце и его свет. Наша душа, погрязшая в чувственном мире, и наш
язык, приспособленный преимущественно к выражению предметов и отношений
этого мира, позволяет нам с помощью такой пропорции представить, до
некоторой степени, и сверхчувственное отношение сверхчувственных предметов.
В этом и состоит, по всей видимости, главный смысл, как приведенного
построения, так и всего мифа о пещере, в который это построение
разрастается в VII книге.
Во-вторых, в тех же книгах «Государства» мы находим ответ не только на
вопрос о функции платоновского мифа вообще, но и о специфической
притягательности именно математического мифа. Имеется в виду знаменитое
учение о срединном положении математики, и вытекающей отсюда исключительной
роли последней в процессе восхождения души от мира чувственного к миру
подлинному. Как разъясняют нам Платон и Прокл, математические конструкции
ближе к миру подлинному, более совершенны и более устойчивы, чем текучие
образы чувственного мира, однако не полностью свободны от материальности
(hyle phantaston), что и позволяет строить на их основе миф, но миф более
правдоподобный, более адекватный реалиям подлинного мира.
Ступень математическая - промежуточная ступень лестницы, за которой следует
диалектика. Однако (чего часто не замечают!), переход на ступень диалектики
вовсе не означает у Платона отказ от всего того, что имелось на ступени
математики. При этом переходе необходимо должно происходить осознание и
осмысление тех предпосылок, которые оставались неосознанными и
неосмысленными на предыдущей ступени, но математические дисциплины
признаются «помощниками и попутчиками» (Платон) диалектического метода, его
«подспорьем и азбукой» (Алкиной).
В качестве весьма выразительного примера можно указать на последний трактат
«Эннеад» Плотина. Трактат «О благе или едином», по самой своей тематике,
особенно ярко обнаруживает двойственное отношение к математике
(обусловленное промежуточностью ее статуса) характерное для платоников.
С одной стороны, наставляя тех, кто желает философствовать о едином, Плотин
требует «созерцать единое, не присоединив ни одного чувствования и ничего
от оного не принимая в него-то, но созерцать чистейшее чистым умом и тем,
что в уме первое». «Стало быть, - продолжает Плотин, - когда приступивший к
созерцанию вот такого воображает у этой природы или величину, или фигуру,
или массу, не ум становится проводником ему в созерцании, потому что не уму
прирождено видеть таковые, а это - деятельность чувствования и мнения,
следующего за чувствованием» [22, с.219; курсив мой]. Итак, приступая к
рассмотрению единого, следует отринуть всякие образы (как собственно
чувственные, так и математические), ведь единое безвидно, чуждо всякого
образа (aneideos).
С другой стороны, читая трактат далее, мы обнаруживаем, что Плотин активно
привлекает различные образы, в особенности математические, и именно чтобы
говорить (= мыслить) о едином. Здесь возникают образы геометрической точки
и арифметической единицы. Предмет рассмотрения трактата, говорит Плотин, мы
называем «единым и нераздельным не так, как мы называем точку или единицу;
ибо те, что суть единое таким образом, - начала количества, которое бы не
существовало, не будь прежде него сущности и того, что прежде сущности
(итак, не нужно вперять сюда мысль); однако первые всегда подобны последним
в соответствиях (аналогичны - В.Ш.) по простоте и избеганию множества и
деления» [22, с.221; курсив мой].
Далее эта мысль развивается. Развитием (эманацией) образа точки оказывается
образ круга, а затем и сферы (сама же точка выступает теперь как центр).
Душа, пишет Плотин, «знает, что ее движение не прямолинейное, ну разве лишь
тогда, когда бы оно претерпело отклонение, свойственное же ей по природе
движение такое, как движение по кругу (1) не вокруг чего-то вовне, а вокруг
центра, центр же - то, от чего происходит круг, то она будет двигаться
вокруг этого, от коего происходит, и будет зависеть от этого, привлекая
себя к тому самому, к коему пристало влечься всем душам <...>. Ну а этот
как бы центр души есть ли искомое? Или следует признать нечто другое, в чем
все как бы центры совпадают? И признать, что это - «центр» по аналогии со
здешним кругом? И не оттого, что душа - круг так, как фигура, но потому,
что в ней и вокруг нее древняя природа, и потому, что она происходит от
«такового», а еще более и потому, что души отделены целиком. Ныне же, когда
часть нас удерживается телом, как если бы кто-то держал ноги в воде,
остальным же телом вздымался, мы поднявшись кверху тем-то, что не
притоплено телом, этим-то соприкасаемся в центре самих себя с как бы
центром всего так же, как центры наибольших кругов соприкасаются с центром
объемлющей сферы, и отдыхаем. Ну а если бы круги были телесными, а не
душевными, то они пространственно соприкасались бы с центром и, раз центр
расположен где-то, были бы вокруг него; но коль скоро и сами души
умопостигаемы, и «то» превыше ума, должно полагать, что соприкосновение
происходит благодаря другим силам» [22, с.223; курсив мой].
Те же геометрические образы Плотин использует и далее: «Так вот, тогда
видящий и не видит, и не различает, и не представляет себе двух, а, словно
став другим, он, и не сам, и не свой, относится туда, и, став «того», он
есть единое, как бы совместив центр с центром. И ведь здесь центры суть
единое, совпав, и - двоица, когда они порознь. Так и мы ныне называем «то»
иным. Потому-то и трудновыразимо зрелище. Ведь как кто-либо смог бы
поведать о «том» как ином, узрев там, когда он созерцал, не иное, а единое
с собой самим?» [22, с.225; курсив мой].
Что же получается? Плотин забыл о собственных увещаниях? - Нет. Более того,
он неоднократно повторяет их вперемешку с приведенными выше рассуждениями,
использующими образы единицы, точки, круга, сферы (и ее больших кругов).
Кроме того, и в самих этих рассуждениях он постоянно делает оговорки: «не
нужно вперять сюда мысль», «как бы центр», «»центр» по аналогии», «не
оттого, что душа - круг, как фигура» и многие другие. Всю же ситуацию он в
конце трактата разъясняет следующим сравнением: стремящийся к постижению
единого «совсем как некто, вошедший вовнутрь святилища и оставивший позади
изваяния в храме, которые вышедшему из святилища опять предстают первыми
после зрелища внутри и общения там не с изваянием и не с образом, а с
«самим», и которые, стало быть, оказываются последующими зрелищами. <...>
Ну а эти зрелища - подобия; и потому мудрым из прорицателей они намекают,
как тот бог зрится; мудрый же жрец, уразумевший намек, мог бы, оказавшись
там в святилище, сделать созерцание истинным» [22, с.225].
Все становится на свои места, когда мы начинаем понимать, что для Плотина
есть две математики (равно как и два отношения к чувственно
воспринимаемому). Одну из них он отвергает, тогда, как другую приемлет. Это
те самые две математики, которые столь настоятельно противопоставляет
Платон в «Государстве» [21, с.304-315] - «торгашеская» математика и
математика философская, математика сама по себе (или даже ориентированная
на технические приложения и получение мирской выгоды) и математика как
«подспорье и азбука» диалектики (как математическая диалектика или
диалектическая математика). Другими словами, как Платон, так и Плотин
отвергают математические образы как таковые и приветствуют их в качестве
элемента мифа. Подлинная математика для них - это математический миф, это
те изваяния в храме, которые окружают святилище (2) .
Еще более отчетливое выражение этих же мыслей находим у Николая Кузанского,
полагавшего, что именно математика «лучше всего помогает нам в понимании
разнообразных Божественных истин». Рассуждает он следующим образом:
«Видимое поистине есть образ невидимого», и Творца «можно увидеть по
творению как бы в зеркале и подобии». Если же «разыскание ведется все-таки
исходя из подобий, нужно, чтобы в том образе, отталкиваясь от которого мы
переносимся к неизвестному, не было по крайней мере ничего двусмысленного;
ведь путь к неизвестному может идти только через заранее и несомненно
известное. Но все чувственное пребывает в какой-то постоянной шаткости
ввиду изобилия в нем материальной возможности. Самыми надежными и самыми
для нас несомненными оказываются поэтому сущности более абстрактные, в
которых мы отвлекаемся от чувственных вещей, - сущности, которые и не
совсем лишены материальных опор, без чего их было бы нельзя вообразить, и
не совсем подвержены текучей возможности. Таковы математические предметы».
Поэтому, «если приступить к Божественному нам дано только через символы, то
всего удобнее воспользоваться математическими знаками из-за их непреходящей
достоверности» [18, с.64-66].
К математической мифологии могут быть отнесены знаменитые рассуждения
Николая Кузанского в «De docta ignorantia», использующие динамические
возможности геометрических фигур: шар бесконечного радиуса, центр которого
везде, а периферия - нигде; многоугольник, вписанный в круг, число углов
которого неограниченно увеличивается; совпадение бесконечной прямой и
окружности бесконечного радиуса и т.п.
Обратим внимание, что математические конструкции, став частью мифа,
начинают жить особой жизнью. Здесь могут возникать, да и в действительности
возникают, рассуждения, выглядящие совершенно чудовищно для человека
непривычного к подобному стилю мышления. Достаточно вспомнить уже
упомянутые рассуждения Платона о правильных многогранниках, или
многочисленные аргументы в пользу совершенства декады в «Теологуменах
арифметики», восходящие к Спевсиппу, а возможно и к Филолаю или даже ранним
пифагорейцам [38, с.417-418].
Об особенностях соответствующего взгляда на математику мы поговорим чуть
ниже, а сейчас посмотрим на некоторые более близкие и привычные для нас
способы обращения с математическими конструкциями, находящиеся, тем не
менее, в самом тесном родстве с математической мифологией.
2. Вырождение математической мифологии: математические
конструкции как парадигмальные схемы.
Начнем с нескольких примеров, заимствованных у Лейбница.
«Простота субстанции не препятствует множественности модификаций, которые
должны совместно существовать в той же самой простой субстанции и состоять
в разнообразии отношений к внешним вещам. Точно так же в центре, или точке,
как она ни проста, находится бесконечное множество углов, образованных
линиями, в ней встречающимися» [15, с.404; курсив мой] (3) .
«... случай совершенного равновесия химеричен: он никогда не встречается,
так как универсум нельзя разрезать или разделить на две совершенно равные и
схожие части. Универсум, как эллипс или другой подобный овал (имеется в
виду: в отличие от эллипса или другого подобного овала - В.Ш.), нельзя
разложить посредством проведенной через центр прямой линии на две
совпадающие части. Универсум не имеет центра, и его части бесконечно
разнообразны; следовательно, никогда не будет случая, когда все на обеих
сторонах станет одинаковым и будет производить на нас равное влияние ...»
[15, с.381; курсив мой].
«Но когда я все более сосредотачивал мысль, не давая ей блуждать в тумане
трудностей, мне пришла в голову своеобразная аналогия между истинами и
пропорциями, которая, осветив ярким светом, все удивительным образом
разъяснила. Подобно тому как во всякой пропорции меньшее число включается в
большее либо равное в равное, так и во всякой истине предикат присутствует
в субъекте; как во всякой пропорции, которая существует между однородными
(подобными) количествами (числами), может быть проведен некий анализ равных
или совпадающих и меньшее может быть отнято от большего вычитанием из
большего части, равной меньшему, и подобным же образом от вычтенного может
быть отнят остаток и так далее, беспрерывно вплоть до бесконечности; точно
так и в анализе истин на место одного термина всегда подставляется
равнозначный ему, так что предикат разлагается на те части, которые
содержатся в субъекте. Но точно так же, как в пропорциях анализ когда-то
все же исчерпывается и приходит к общей мере, которая своим повторением
полностью определяет оба термина пропорции, а анализ иногда может быть
продолжен в бесконечность, как бывает при сопоставлении рационального и
мнимого числа или стороны и диагонали квадрата, аналогично этому истины
иногда бывают доказуемыми, т.е. необходимыми, а иногда - произвольными либо
случайными, которые никаким анализом не могут быть приведены к тождеству,
т.е. как бы к общей мере. А это и является основным различием, существующим
как для пропорций, так и для истин» [15, с.316; курсив мой] (4) .
Эти три фрагмента, взятые из различных работ Лейбница, объединяет
следующее: в контекст метафизического рассуждения вводятся математические
фрагменты (мы выделяли их курсивом). При этом сам автор воспринимает их как
«своеобразные аналогии» достаточно случайно связавшиеся в его мысли с
метафизическим рассуждением. Например, еще в одном месте, Лейбниц пишет,
что он мучительно размышлял «над тем, как можно совместить свободу и
случайность с цепью причинной зависимости и провидением». «Но тут вдруг -
говорит он - блеснул мне некий невиданный и неожиданный свет, явившийся
оттуда, откуда я менее всего ожидал его, - из математических наблюдений над
природой бесконечного. Ведь для человеческого ума существует два наиболее
запутанных вопроса («два лабиринта»). Первый из них касается структуры
непрерывного, или континуума, а второй - природы свободы, и возникают они
из одного и того же бесконечного источника» [15, с.312-313; курсив мой].
Нетрудно увидеть связь между приведенными рассуждениями Лейбница и
математическими мифами Платона и Николая Кузанского. Однако нетрудно
заметить также и существенные отличия: во-первых, привлечение математики не
является теперь осознанным, оправданным и систематически проводимым
познавательным приемом; во-вторых, математические конструкции не обретают в
этих рассуждениях особой жизни, они в готовом виде заимствуются из развитых
независимо математических теорий. Здесь наблюдается как бы вырождение
математического мифа, забвение им собственных корней. Внешне все как в
математическом мифе, но исчезло измерение глубины, осталась лишь
поверхность, утратившая свой смысл и неспособная к самостоятельной жизни и
развитию.
Теперь перед нами лишь аналогия или модель, единственный смысл которой -
дать наглядное представление самим по себе мало наглядным метафизическим
рассуждениям. Вплетенная в метафизический контекст математическая
конструкция служит здесь образцом (парадигмой) для наглядного представления
метафизических отношений, предлагает для них отчетливый образ. Желая
отличить подобное приложение математики от математического мифа, мы будем
называть соответствующие математические конструкции - парадигмальными
схемами [33, с.67; 35, с.370].
Легко заметить, что между математическим мифом и использованием
математических конструкций в роли парадигмальных схем невозможно провести
отчетливой демаркационной линии. В каждом конкретном случае может возникать
сомнение - что перед нами? Если правильные многогранники в «Тимее» Платона
- скорее математический миф, чем парадигмальная схема, а геометрические и
арифметические конструкции в текстах Лейбница - vice versa, то чем является
«совершенно-круглый шар» в поэме Парменида [33, с.57-59] сказать уже
затруднительно. При этом у одного и того же автора наряду с полноценными
математическими мифами могут встречаться и вырожденные варианты - например,
уже упомянутое выше пристрастие Платона к использованию конструкций
геометрической пропорции и геометрического подобия, в качестве способов
организации иерархии.
Ситуация еще более осложняется тем, что недостаточная осознанность и
продуманность связи между ходом метафизического рассуждения и привлекаемыми
для его иллюстрации математическими аналогиями (как в случае Лейбница, лишь
смутно догадывающегося о неслучайности являющихся его мысли метафизико-
математических параллелей как следствии единства их «бесконечного
источника»), часто приводит к тем большей неосознаваемой зависимости хода
метафизического рассуждения от предстоящих мысли математических схем (как и
получилось у Лейбница), иногда вплоть до подлинной математической экспансии
[33, с.63-64]. Дело в том, что соответствующие математические конструкции
вряд ли привносятся в метафизические рассуждения лишь post hoc, когда
основной рисунок рассуждения уже сложился. Являясь на ранних стадиях
формирования мысли, соответствующие математические конструкции не остаются
пассивными. Наглядность этих конструкций, отчетливость математических
образов, делает их, можно сказать, «навязчивыми», определяя их активное
влияние на те пути, которые избирает находящаяся в стадии становления
метафизическая мысль.
Тексты Лейбница были выбраны нами в качестве примера, конечно же, не
случайно. Однако, не следует думать, что они единственны в своем роде, т.е.
в том как используется в них математика. Использование математических
конструкций в роли парадигмальных схем - широко распространенное явление,
причем не только среди философствующих математиков, таких как Лейбниц и
Г.Вейль [33, с.63-64], или мыслителей, получивших хорошее математическое
образование, таких как П.Флоренский [33; 35] (5) , но и у весьма далеких от
математики мыслителей - например, у Вл.Соловьева [28, с.3, 20], - хотя в
последнем случае набор применяемых математических конструкций по понятным
причинам значительно беднее.
Еще более распространено применение разнообразных схем и диаграмм -
диаграммы Эйлера-Венна, появившиеся в логике задолго до построений,
связавших математическую логику и топологию;
|
