Страница 5 из 8
В 1974 году А.Г. Драгалина[xv] и меня попросили написать статью об интуиционизме для третьего издания Большой Советской Энциклопедии. Статья ([11]) была направлена на отзыв Колмогорову. Когда я увидел рукопись с колмогоровскими замечаниями, я ещё раз поразился свежести его восприятия математической и философской области, которую он оставил столько лет назад...
Небезынтересен вопрос, почему молодой студент вообще заинтересовался такими окраинными вопросами, по видимости далёкими от интересов окружавшей его математической среды. Конечно, нельзя исключать огромного влияния Д. Гильберта и острой дискуссии по основаниям математики, развернувшейся между ним и лидером интуиционистов Брауэром. Но и сделанное выше замечание о математической среде, окружавшей молодого Колмогорова тоже глубоко неверно! В силу совпадения ряда разнородных причин проблемы оснований математики и, в частности, интуиционистской математики часто и горячо дискутировались в Москве в 20-е годы (ср. цитировавшиеся выше воспоминания Юшкевича [8]). Публичные сообщения об интуиционизме делал А.Я. Хинчин, им была опубликована в 1926 году статья об интуиционизме, отголоски этого интереса можно различить и в некоторых его книгах. Наконец, следует сказать, что основатель Лузитании, учитель Колмогорова, Александрова и многих других выдающихся математиков Н.Н. Лузин был не только выдающимся практическим математиком, но и глубоким математическим мыслителем. Достаточно упомянуть его участие в начале века в знаменитой переписке-дискуссии по основаниям теории множеств и, в особенности аксиомы выбора, между ведущими французскими математиками (см. [12]). Достойно восхищения и пророческое предсказание Лузиным позднейших результатов о независимости в теории множеств. Неудивительно, что ученики Лузина ощущали математику не как технические манипуляции с формулами и головоломками, а как живой организм, само функционирование которого представляло волнующую загадку. На этот фон парадоксальным образом наложился и марксистский энтузиазм, характерный для ранних послереволюционных лет. Мне трудно судить до какой степени этот энтузиазм уже в те годы был отравлен низким карьеризмом, демагогией и полной догматизацией философии, которые мне довелось наблюдать в моей молодости. Трудно, однако, избавиться от впечатления, что многие горячие головы в то время вполне искренне полагали, лучше сказать верили, что в философии Маркса найден своего рода «философский камень», окончательный научный ответ на все вопросы Бытия. Возможно, чтение работ В.И. Ленина проливает определённый свет на этот интересный психологический феномен. Неиссякаемая, просто религиозная убеждённость в обладании окончательной, единственно верной методологией, позволяющей понять и объяснить всё и вся, приводит к тому, что этот человек, наделённый, среди прочего, исключительно острым критическим умом, без тени сомнения и юмора вторгается в области знания, в которых он абсолютно некомпетентен, поучает Пуанкаре, Маха, Эйнштейна и т.д. Из этого же настроения рождаются и знаменитые ленинские афоризмы, вроде «электрон также неисчерпаем, как и атом», «учение Маркса всесильно потому, что оно верно» и т.д. и т.п., буквально вколоченные (среди прочих куда менее безобидных догм) большевистской пропагандой в сознание (и в подсознание!) подданных бывшей советской Империи[xvi]. Пожалуй, одной из вершин этой смехотворной агрессивной некомпетентности является знаменитое ленинское заявление: «...ДАЖЕ в математике нужна фантазия, ДАЖЕ для того чтобы открыть дифференциальное исчисление нужна была фантазия»[xvii]. (Эти бессмертные «даже» выделены мною). Позднее, в случае, скажем, Сталина эта первоначальная убеждённость в обладании абсолютной истиной, конечно, померкла перед обладанием абсолютной властью и ощущением полной безнаказанности. И всё же кое-что от этой убеждённости оставалось, например, в знаменитых изысканиях вождя всех народов по языкознанию. Той же породы, видимо, было и настроение, в котором незабвенный А.И. Жданов учил (кажется, даже за роялем) Шостаковича, Прокофьева и Хачатуряна как сочинять хорошую мелодичную музыку...
Неудивительно, что в 20-е годы велик был соблазн применить волшебное Марксово лекарство к лечению математики. Дискуссии по основаниям математики поощрялись и, наряду с тоннами словесного мусора, несомненно, много интересных соображений было высказано в те далёкие, холодные и голодные годы. В своих воспоминаниях о Колмогорове Юшкевич упоминает одну из таких дискуссий и впечатление, произведённое на него безыскусным по форме выступлением Колмогорова, в особенности замечанием о том, что интуиционистская математика только по форме уже классической. Думаю, что это замечание лет на 50 опередило своё время. Во всяком случае, я слышал подобные высказывания только в начале восьмидесятых годов, и делались они на основании огромного технического опыта, накопленного несколькими поколениями исследователей.
Столь же оригинальна и вторая предвоенная логическая статья Колмогорова [10]. Опубликованная семью годами позже, чем [9], на немецком языке, работа посвящена истолкованию интуиционистской логики. Если с семантикой классической логики дело обстояло более или менее благополучно, то вокруг содержания интуиционисткой логики велось немало дискуссий. Говоря очень упрощённо, классическая теоретико-множественная концепция математики, восходящая к Кантору, предполагает некий платонистский, идеальный, завершённый мир, в котором математические объекты существуют независимо от нашего творческого сознания в таком же смысле, как существуют звёзды на небе. Завершённая, актуальная бесконечность является вполне гармоничной идеей для такого мира (в самом деле, например, натуральный ряд в этом завершённом мире тоже должен быть завершённым, актуально бесконечным, иначе придётся допустить существование наибольшего натурального числа, что по меньшей мере странно). Математические утверждения выражают состояния вещей в этом мире и потому они также независимо от нашего сознания, состояния знаний и т.д. либо истинны, либо ложны. Не только абсолютизация экзистенциального статуса математических объектов, но и абсолютизация самого познания доведена в этой концепции до конца. Математические теоремы не столько изобретаются, сколько открываются математиками примерно так же, как открывались мореплавателями новые острова. Ясно, что закон исключённого третьего вполне естественен в этом «чёрно-белом» мире и что классическая логика является, таким образом, логикой теоретических истин, то есть логикой идеализированного математического бытия.
В контрасте с этой концепцией, интуиционистский математический мир принципиально незавершён, он развивается в результате творческой активности субъекта. Образно говоря, акт Творения математического мира передан от Бога к человеку, точнее к идеализированному человеческому существу, живущему и творящему во времени. От активности и умений такого творческого субъекта и зависит характер соответствующего математического мира. Что же в таком случае выражает интуиционистская логика, эта своего рода конституция интуиционистской математики? Предложенная Колмогоровым концепция исходит из того, что объектами интуиционистской математики, а, следовательно, и логики являются не абсолютные истины (как в традиционном случае), а задачи (проблемы). Логические операторы формируют новые проблемы из уже поставленных, а сами формулы интуиционистской логики выражают умение решить те или иные составные задачи. Таким образом, интуиционистская логика оказывается логикой умений. Закон исключённого третьего теряет при таком подходе свой универсальный характер. Принятие его означало бы постулирование умения решить в каждый момент времени любую задачу, что вряд ли убедительно. Интересной стороной интерпретации Колмогорова является её нейтральность: интуиционистская логика может теперь быть объяснена исследователю, не понимающему сложной философии интуиционизма или просто не заинтересованному в ней. Интуиционистская логика в какой-то мере теряет свой «религиозный», эзотерический характер и становится заманчивым объектом исследования для «обыкновенного» математика. Мне кажется, что значительный прогресс в изучении интуиционистской логики, достигнутый в послевоенные годы (и открывший, помимо прочего, дорогу к практическим её применениям в информатике), в большой степени обязан этому новому подходу, восходящему к Колмогорову.
[15]
Замечательный математик, Альберт Григорьевич Драгалин (10 апреля 1941 г. – 18 декабря 1998г.) один из самых ярких участников школы А.А. Маркова. Его безвременная смерть была большим пострясением для всех нас. Воспоминания о Драгалине выдающегося голландского математика A. Troelstra можно найти на http://staff.science.uva.nl/~a
[11]
А.Г. Драгалин, Б.А. Кушнер. Математический Интуиционизм. Большая Советская Энциклопедия, т.15, 488, 1974.
[8]
Юшкевич А.П. Встречи с А.Н. Колмогоровым. Препринт. 1990.
[12]
Borel E. Lecons sur theorie des fonctions, 3rd ed., Gauthier-Villars, Paris, 1928.
[16]
Соответственно я цитирую В.И. Ленина по памяти. Такое «цитирование» представляется в данном контексте вполне органичным.
[17]
Великому математику двадцатого века Давиду Гильберту принадлжежит высказывание в известном смысле противоположное ленинскому. Про одного из своих учеников Гильберт заметил, что тот стал поэтом, поскольку для математики у него не хватало фантазии (прим. 2004 г.).
[10]
Колмогоров А.Н. Zur Deutung der intuitionistischen Logic. Mathematische Zeitschrift, v. 35, 58–65, 1932.
[9]
Колмогоров А.Н. О принципе «tertiumnondatur», Математический Сборник, т.32, 646–667, 1924/1925.