plus Лосев(о неединственности натурального ряда чисел)
Известный факт, что число (в широком смысле) занимало фундаментальное место в мировоззрении А.Ф. Лосева, вполне объясняет тот стойкий интерес, с которым он относился к творчеству Георга Кантора, создателя математической теории множеств и реформатора оснований самой математики. Искреннее восхищение достижениями последнего мы можем найти в самых поздних высказываниях Лосева, в пору, когда сам он уже оставил активную деятельность на поприще методологии математики во исполнение долга перед историей античной философии, в пору, когда сама теория множеств предстает классически ясным антиком среди величайших достижений мысли. По-иному отмечены первые десятилетия нашего века, когда Лосев только еще подступал к диалектическому пониманию «очисленности» бытия, а русская культурная общественность начинала осваивать новомодные идеи из области точных наук, и в первую очередь из теории относительности А. Эйнштейна и теории упомянутого немецкого математика 1. Революция 1917 года перечеркнула затем многие начинания, но она же прихотливым образом пощадила это интеллектуальное поветрие и даже особым образом совместила его с новой социальной базой. Наверное, потому среди первых (около 1921 года) литературных опытов Андрея Платонова мы находим «популярные» разъяснения о пролетарской сути движения со скоростью света и энергичное обещание скоро («в один из близких дней») поведать столь же актуальную оценку… да, именно учения Кантора 2. Несколько лет спустя и вдалеке от воронежского паровозного депо, а именно в Москве и усилиями 30-летнего Алексея Лосева готовился коллективный сборник философских исследований «на темы математические, астрономические и механические». Здесь планировалась публикация, среди прочего, статьи Валериана Муравьева «об ипостасийном построении учения о множествах» и работы самого составителя о математических учениях Плотина и Ямвлиха 3. Увы, «философский пароход» 1922 года уже отошел тогда от берегов России, затея «свободного от социологии» обсуждения проблем числа была обречена на провал, а потенциальных авторов сборника дожидалась «трудовая перековка» в сталинской лагерной кузнице. Сейчас остается лишь печалиться по этой невоплотившейся мечте соединения под одной обложкой теорий числа, отделенных временным зиянием в две, без малого, тысячи лет. Можно и порадоваться, что жизнь не всегда обделяла Лосева единомышленниками. К упомянутому В.Н. Муравьеву – ему грезилось торжество «всеобщей производительной математики», с каковым «законы множества станут, вообще, законами природы» 4, – следует обязательно добавить имя П.А. Флоренского. Он также планировался участником в предприятии 1924 года. С канторовской теорией множеств, с ее судьбой на отечественной почве П.А. Флоренский связан уже тем, что ему принадлежало первое на русском языке изложение новых математических идей для широкой публики (имеется в виду статья «О символах бесконечности» в журнале «Новый путь» за 1904 год). И для него, как и для двух других интерпретаторов, был характерен высокий, если не пифагорейский, то уж точно – платонический градус интеллектуальной напряженности взгляда на теорию множеств.
Да, именно таким будет суммарный вывод, если его делать по совокупности многочисленных упоминаний Кантора и его научных результатов в работах «раннего» Лосева: в теории множеств приветствуется прочтение числа глазами Платона. Утверждение это верно уже по букве, ибо для своего учения о трансфинитах Кантор применял как синоним обозначение «теория идеальных чисел» и напрямую определял «множество» как «нечто, родственное платоновскому ειδος и ιδεα». Верно оно и по духу, коли математические достижения Кантора оказываются глубже его историко-философских сопоставлений. Так, совершенно ошибочно ставя на одну доску (по взглядам на число) Платона и Аристотеля, сам он противопоставлял число, отнесенное, «согласно его истинному происхождению», к множеству как единосвязному целому, с числом как простым знаком «для единичных вещей, отсчитываемых при субъективном процессе счета» 5, и в противопоставлении этом явно отвергал аристотелевскую теорию абстракции в пользу «ипостасийности» (по Платону) числа. Другой пример: не ведая о глубочайше проработанной символико-числовой диалектике у античных неоплатоников, Кантор своими набросками теории «порядковых типов», похоже, дал некий формальный аналог для мифологических иерархий («чинов») актуально бесконечных богов-чисел в смысле Прокла. Разумеется, такое (задним числом – поздним умом) сопряжение канторовского и платонического подходов к «аритмологии» мы теперь без особой опаски можем делать только после мощного посредничества Лосева.
Как нам представляется, платонизм теории множеств, вместе с необходимыми неоплатоническими модификациями, допустимо обрисовывать по следующим пересекающимся и зависимым направлениям: ипостасийный характер числа как универсальной характеристики упорядоченности произвольного множества; реальность актуальной (завершенной) бесконечности в противовес бесконечности потенциальной (незавершенной или, вернее, незавершаемой); иерархичность актуальных бесконечностей различных типов; диалектическое прочтение отношений «элемента» и «системы», «части» и «целого». Соответствующие темы так или иначе намечены или развиты в ряде лосевских работ 1920-х годов, особо же выделяются здесь «Античный космос и современная наука», «Музыка как предмет логики», «Философия имени». Есть также данные, что в архиве Лосева среди бумаг 1930 – 40-х годов прослеживается дальнейшая разработка тем «диалектики математики». Впредь до момента, когда подводная часть лосевского айсберга станет обозримой благодаря подвигам отечественного книгопечатания, было бы наивно претендовать на полную обрисовку (и уж тем более полное развертывание) намеченных здесь сюжетов. Поэтому мы остановимся далее на некоторой детализации только одной темы – темы актуально бесконечного.
Начать лучше с картинки. Вполне законченный и скорее отталкивающий – а потому и отправляющий к идеям Кантора – образ потенциальной бесконечности дан в 17-м эпизоде «Улисса» Д. Джойса, где читатель вместе с Леопольдом Блумом размышляет о
«существовании числа, вычисленного с относительной степенью точности до такой величины и со столькими знаками <…> что, по получении результата, потребовалось бы 33 тома мелкой печати, по 1000 страниц в каждом, несметное множество дестей и стоп индийской бумаги, чтобы там поместилась вся эта сага цифр <…>, причем ядро туманности каждого знака в каждом ряду таит потенциальную возможность возведения в любую степень любой из его степеней, до наивысшего кинетического развития» 6.
Кантор выступил против этого, даже в карикатурном виде подавляюще-внушительного «наивысшего кинетического развития», по собственному признанию, почти вопреки своим убеждениям и вместе с тем сознательно порывая с господствующей догмой. Фактически в одиночку он не просто ввел «сверхконечное» в математику, но и свершил значительный поступок во имя исторической истины. Своим, если так можно выразиться, независимым экспериментом он подтвердил основательность старинного течения мысли – неоплатонической диалектики числа, для которой понятие актуальной бесконечности носило фундаментальный характер. Конечно же, мимо столь примечательной фигуры Лосев пройти не мог: «случай Кантора» буквально добавлял еще одну важную главу в «Античном космосе и современной науке».
Сделаем одно уточнение, которое позволит уяснить, в чем именно Лосев был солидарен с Кантором и в каком отношении продвинулся дальше 7 него. Дело в том, что создатель теории множеств утверждал в науке только один сорт актуальной бесконечности, а именно «актуально бесконечное большое» – то, что следует за всеми сколь угодно большими конечными числами, то, что трансфинитно, сверхконечно при движении в сторону нарастания абсолютной величины числа. Мы же будем далее иметь в виду весь (условно-гипотетический) спектр актуально бесконечных, а именно «актуально бесконечное большое», «актуально бесконечное малое» и «актуально бесконечное среднее» (если не допускать в последнем случае оксюморон «актуально бесконечное конечное»; впрочем, блоковский «жар холодных числ» – той же природы). Первому элементу из данного списка, как было сказано, Кантор отдал предпочтение 8. Он же неоднократно высказывался и относительно «актуально бесконечного малого» 9, поначалу осторожно, но всегда в отрицательном смысле. Причина этого неприятия носила, возможно, больше психологический характер: ум исследователя, целиком отряженный на борьбу за отстаивание «своей» актуальной бесконечности, просто не умещал другую не менее увесистую ношу. Во всяком случае, известный канторов набросок 10 доказательства несуществования «актуально бесконечного малого» строился именно на идее несовместимости в числовой области двух типов бесконечности. Многие «не поверили» Кантору, и одним из таковых оказался как раз Флоренский, толковавший на страницах своих «Мнимостей в геометрии» о физическом смысле «актуально бесконечно-малой» толщины обычной геометрической плоскости 11. В 1960 – 70-х годах математики, кажется, окончательно освоили эту окраину спектра актуальной бесконечности, создав так называемый нестандартный, или неархимедов анализ. В нем на основе признания «актуально-малого» возникла целая вселенная числовых объектов со своими бесконечно удаленными друг от друга «мирами» и «галактиками» (приведены термины, наполненные строгим математическим смыслом 12). Кстати, глядя на эту новую «арифметическую вселенную», с невольным восхищением и по-новому обнаруживаешь те самые джойсовские «ядра туманности каждого знака». Напомним, что Леопольд Блум припоминал свои экскурсы в математику, озирая бездонное звездное небо. Сколь же прихотливо, надо признать, современная культура сплетена с «Улиссом»!
Переходим к «актуально бесконечному среднему». О нем молчат не только современная математика и философия математики, молчит не только Кантор, этот тип бесконечности не существует для позитивистской