Диалектические основы математики - Алексей Федорович Лосев
«Диалектические основы математики» – тяжелое, громоздкое здание. Это какое-то перегруженное, могучее барокко. Эту крепость нельзя взять нашармака, мимоходом. Тут придется потрудиться читателям Лосева, и в особенности математикам, хотя для последних найдутся еще и свои специфические трудности. Прежде всего, автор довольно часто нападает на математиков, доказывает, что они не умеют мыслить, и разносит их за схоластику, формализм и т.д. Математики должны ему это простить. Ведь всем же известно, что в литературе нет и намека на такое произведение, которое создал тут автор. Все до сих пор философствовавшие в математике ограничивались только самым общим, самым отвлеченным подходом. Возьмите Канта, Гегеля; возьмите Конта, Вундта, Зигварта, Гуссерля, Когена, Наторпа, Кассирера. Все это рассуждения, главным образом, только о числе вообще, о пространстве вообще, о счете вообще и т.д. Если мы обратимся к философствующим математикам, то до сих пор мы находим здесь только эскизы, только проекты, только манифесты. Правда, часто это – прекрасные эскизы и весьма ценные проекты. Писать так глубоко и изящно по математике, как писал А. Пуанкаре, так утонченно скептично и прорицательно-художественно, как это может делать только гениальный француз, мудрый и порхающий одновременно, – так писать Лосев не может. Лосев – это тяжелый паровоз, который пыхтит, и шипит, и тащит сотню тяжело нагруженных вагонов. Лосеву как не математику недоступна проницательность Вейля, широта Гильберта, изворотливость Броуэра[4]. Больше того, он запинается в интеграциях и забывает ставить C при неопределенном интегрировании; он не сразу скажет о различии циклических точек с бесконечно удаленными, путается в рядах Фурье и не имеет навыка в интегрировании дифференциальных уравнений. Но тут-то и должна быть проявлена справедливость.
Уже зрелым философом Лосев не стеснялся засаживаться за университетские учебники и бегать за математиками с просьбой разъяснить те или другие вопросы. Пусть же и математики не постесняются затратить время на изучение его философии и пусть на время расстанутся со своей горделивой уверенностью в непререкаемости своей науки. Самая большая трудность для математиков будет заключаться в том, чтобы признать право кого бы то ни было из непрофессионалов-математиков говорить об этой науке. Тем не менее профессионалы-математики достаточно скандалятся в своих суждениях о философии математики. Я должна сказать, – кажется, в обиду для математиков, – что философские методы Гильберта для Лосева слишком наивны, чтобы он на них учился. Я не нахожу нужным скрывать также и то, что, например, борьба так называемых интуиционистов и так называемых формалистов часто вызывала у Лосева только снисходительную улыбку, – до того эти методы мысли кажутся ему детскими и наивными. Еще не скоро наступит то время, когда все признают, что философия тоже есть некая научная профессия и что никакому гениальному математику (не говоря уже о рядовых) совершенно не дано право философствовать о своей науке только на том основании, что он математик. Лобачевский писал какую-то эмпирическую наивную чушь о своем новом гениальном пространстве. Г. Кантор думал, что его теория множеств обосновывает католическую схоластику. Пуанкаре думает, что если бы не было твердых тел, то не было бы и геометрии. Он же «не знает», что такое мощность континуума. Н.Н. Лузину, хотя он и стал академиком, после 30-летней математической работы все еще «трудно судить об истинности взглядов Гильберта», почтенному академику до сих пор еще не ясно, «реальный» или «формальный» предмет у математики. После всего этого брезговать философами едва ли целесообразно. Уже давно чувствуется в науке потребность продумать математику всю целиком с точки зрения одного философского метода, потому что только применение последнего на цельном материале и может дать для него настоящую проверку и критику. Покамест метод применен только на отдельных проблемах и еще не видно, какой результат получился бы от соответствующего построения всей науки, до тех пор невозможно судить о подлинной ценности метода. Последний может быть хорош в одних случаях и совершенно не годиться в других.
Метод Лосева – строго диалектический. Что этот метод для него органичен и что он играет на нем так, как виртуоз-пианист на своем инструменте, это признают даже его враги. Не только С.Л. Франк признал, что
«со времени „Феноменологии духа“ Гегеля почти не появлялось трудов с такой глубокой диалектикой, как „Философия имени“ Лосева»[5],
но и А. Деборин согласен, что это действительно диалектика, хотя и не материалистическая[6]. И вот этот метод применен для конструирования математики в целом. Только теперь, после работы Лосева, возникает вопрос о том, что такое диалектика в математике и как она реально возможна. Вместо рекламы и декларации, вместо ничего не говорящих манифестов Лосев бросается прямо в математическое море; и теперь можно уже реально судить, плавает ли диалектик в этом море и как плавает.
Суждения об этом плавании могут быть разные. Однако даже при самом отрицательном суждении все же надо сказать, что большего никто не смог сделать. Сделайте же хорошо, если Лосев сделал плохо.
Если позволено мне высказывать свои мнения, то я отнюдь не считаю эту работу безукоризненной. Ряд проблем получил у Лосева не то чтобы неправильную, а какую-то внутренно не законченную разработку. Так, например, учение о мнимых величинах и соответственно теория функций комплексного переменного, хотя, вообще говоря, это любимая тема Лосева и он потратил на нее массу времени и усилий, разработаны у него, на мой вкус, недостаточно. Правда, здесь были затрачены колоссальные усилия, чтобы добиться философской ясности, но, вероятно, просто еще не пришло время, чтобы об этом можно было говорить философски ясно и просто. В конце концов то, что дает тут Лосев, почти не выходит из пределов обычного гауссовского представления мнимостей.
Далее, мне кажется, тяжеловато разработана теория детерминантов и матриц. Тут
