Успенский пишет о Колмогорове [i]

Борис Кушнер (Питтсбург)

Нет памяти о прежнем:
да и о том, что будет,
не останется памяти у
тех, которые будут после.

Екклесиаст, 1:11

1. Недавняя [ii] статья В.А. Успенского [1] о работах Колмогорова по математической логике представляется мне значительным событием. А.Н. Колмогоров, несомненно, один из самых выдающихся математиков нашего столетия, оставил огромное духовное наследие. Для того, чтобы сколько-нибудь подробно представить его вклад в самые различные области чистой и прикладной математики понадобились бы усилия большого коллектива авторов. Такой коллектив можно было бы образовать из учеников Колмогорова, ибо в любой математической дисциплине, к которой он обращался, хотя бы ненадолго, хотя бы эпизодически, он оставил свой след и свою школу. Не представляет собою исключения и математическая логика. Хотя работы А.Н. в этой области относительно немногочисленны, они отмечены печатью его гения, и время всё более и более подтверждает непреходящее их значение. Вместе с тем, как я убедился на собственном опыте, по крайней мере, ранние логические работы Колмогорова всё ещё мало известны на Западе.

Вряд ли возможно найти лучшего автора для статьи под названием "Колмогоров и математическая Логика", чем Владимир Андреевич Успенский. Один из ближайших учеников и сотрудников Колмогорова, великолепный математик, один из создателей современной теории нумераций, автор первой советской монографии о рекурсивных функциях, автор ряда других книг, человек, высоко одарённый гуманитарно, Успенский обладает самой высокой профессиональной и персональной квалификацией для написания подобной работы. И если мне чего-то недостаёт в созданном В.А. Успенским великолепном обзоре, то именно личных его воспоминаний, о богатстве которых я могу только догадываться. Разумеется, вряд ли такого рода воспоминания могли найти место в строгом формате статьи для the Journal of Symbolic Logic и, тем не менее, жаль… В течение многих лет В.А. был в центре математической жизни необычайной интенсивности, и я убеждён, что ему под силу подарить историкам математики живые образы таких учёных, как А.Н. Колмогоров, П.С. Александров, П.С. Новиков ... Если настоящие строки побудят В.А. взяться за эту нелегкую задачу, я буду чувствовать, что трудился не зря [iii].

2. Я впервые увидел Успенского в 60 или 61 году, когда я был студентом механико-математического факультета МГУ. Это действительно были "золотые годы" советской математики. Проходя по коридору факультета (мех-мат занимал с 12 по 16 этаж Главного Здания МГУ), молодой человек, вроде меня, мог в течение минуты встретить А.Н. Колмогорова, П.С. Александрова, А.А. Маркова [iv], И.Г. Петровского, С.Л. Соболева, А.Н. Тихонова, Л.А. Люстерника, Д.Е. Меньшова, И.М. Гельфанда, А.Г. Куроша...

В 1959 году, когда я поступил на мех-мат, ещё не улеглось возбуждение, вызванное великолепным достижением студента Колмогорова В.И. Арнольда, решившего одну из проблем Гильберта. Нам предстояло вскоре услышать и о таких именах, как А.А. Кириллов, Я.Г. Синай, Ю.И. Манин, С.П. Новиков...

Сама атмосфера мех-мата была электризующе духовной, сочетание живых, доступных классиков и бурлящей (порой через край) энергии молодёжи было уникальным, во всяком случае, я никогда ничего подобного более не встречал. Сейчас мне кажется, что это был отблеск давно распавшейся Лузитании, о которой так интересно пишет один из её участников Л.А. Люстерник [2-4]. Также, как и тогда, процветал студенческий фольклор, по рукам ходили длинные поэмы о мех-мате, написанные непременным размером Евгения Онегина, на вечеринках исполнялась трагическая песня о студенте, умершем под невыносимым грузом экзаменов. Мелодия и сюжетные идеи были заимствованы из популярной фольклорной песни "Раскинулось море широко" (повидимому, восходящей к русско-японской войне; у многих людей старшего поколения песня эта ассоциировалась с Л. Утёсовым). О времени создания студенческого шедевра судить трудно - мы пели примерно так: "Анализ нельзя на арапа сдавать,/ Тумаркин тобой недоволен.../ Изволь теорему Коши доказать,/ иль будешь с мех-мата уволен". Однако позже мне приходилось слышать эту фразу с Ефимовым вместо Тумаркина. Видимо многие деканы мех-мата побывали в этой песне. Заканчивалась она весьма выразительной строкой, использованной Г.Е. Шиловым в качестве эпиграфа к его популярной книжке о графиках: "А синуса график волна за волной по оси абсцисс убегает..." Это было волнующее время Хрущёвской оттепели, выхода человека в космос... В день, когда запустили в Космос Гагарина, меня пригласил к себе профессор Г.Е. Шилов. Он только что сочинил мелодию песни о Гагарине, недоставало стихов. В тот же вечер песня была исполнена в праздничном концерте. Конечно, это было довольно наивное сочинение, но вряд ли уступавшее многочисленной профессиональной продукции, произведённой в те дни.

Во время любой оттепели остаются опасные, нерастаявшие места. Можно поскользнуться. Один наш однокурсник (было это на третьем курсе, в 1961 г.) разговорился в общежитии, другой однокурсник на него немедленно донёс. Последовал громкий скандал с многочисленными комсомольскими собраниями. "Преступник" был, в конечном счёте, изгнан из комсомола, а затем из Университета [v]. Из этих собраний особенно запомнился следующий эпизод: молодой комсомольский вожак сообщил большой аудитории, что его отец был в своё время репрессирован. "Ну и что?!" - горячо обратился он к своим сокурсникам. Мы молчали... Нет, не зря известная библейская заповедь об отце и матери была провозглашена на Синае, не так она очевидна, как многим кажется. Призрак Павлика Морозова продолжал бродить по стране, а хватка коммунистической машины не ослабевала. Много лет спустя, один мой старший коллега, вспоминая это время, сказал: "я вступил тогда в партию, чтобы сделать её лучше". Человеческая наивность воистину беспредельна...

Тем не менее, неясные, наивные надежды витали в воздухе, наверное, как и в дни Лузитании. Так же, как и тогда, математика была окружена романтическим ореолом, а об её творцах существовал значительный фольклор. Место Жуковского в персонификации хрестоматийного образа рассеянного, не от мира сего математика занял Дмитрий Евгеньевич Меньшов, выдающийся представитель Лузитании. Перескажу только две из многих легенд.

Однажды Д.Е. прогуливался за городом. Глубоко погрузившись в свои мысли, он каким-то образом миновал часовых, оказался в центре запретной зоны, был задержан и препровождён в Комендатуру. Чтобы понять происшедшую там сцену, необходимо знать, что Д.Е. был весьма высокого роста, очень худой, с короткой, но всклокоченной бородой. Одежде своей он, выражаясь мягко, не уделял большого внимания. Кроме того, Д.Е. обладал необычной хрипловатой и несколько отрывистой манерой речи.

- Ты кто такой?

- Я - математик. - Смех.

- Может быть, ты ещё и профессор?

- Да, я профессор Московского Университета. - Громкий смех.

- Может быть, ты ещё и академик?

- Нет, я член-корреспондент.- Служивая публика рыдает от смеха...

К счастью, комендант, в конце концов, позвонил в Университет...

Другая легенда. Как-то во время войны Д.Е. читал лекцию студентам, кажется, в Ташкенте. Помещений не хватало, погода была жаркая. Соответственно студенты сидели во дворе, на свежем воздухе, а Д.Е. обращался к ним с небольшого балкончика. Как обычно, Д.Е. воодушевился и начал жестикулировать. Как реагировали на его вдохновение закалённые студенты, неизвестно, но проходившие по улице мусульмане стали опускаться на колени, считая, что приехал почтенный высокоучёный мулла и читает проповедь...

На школьных математических кружках в те годы всё ещё рассказывали о драматическом прорыве в бесконечность, совершённом Кантором. Боюсь, что сейчас молодым людям преподносят что-нибудь более полезное и преходящее: вроде Пролога или Юникса.

Даже неизменный и порою небезопасный старик-ферматист с потёртым футляром от скрипки и стопкой витиевато исписанных листов - очередным доказательством Теоремы Ферма, предлагаемым для немедленного, на месте прочтения всем любопытствующим, - казался неотъемлемым элементом этого необычайного мира [vi].

Павел Сергеевич Александров, уже в моё время носивший очки с огромными выпуклыми линзами, всегда был окружён толпой последователей. Из-за близорукости он порою путал своих учеников с "посторонними" студентами. Так один мой сокурсник был приятно ошеломлён, когда П.С. протянул ему руку в лифте и без долгих предисловий спросил: "Здравствуйте, как поживаете?" В конце недолгого пути на 13 этаж мой друг признался всё-таки, что он первокурсник. "А я, было, возвёл Вас в аспирантское достоинство" - засмеялся П.С.

Даже в то время память о П.С. Урысоне, трагически погибшем во Франции в 1924 г. (он утонул, купаясь в море), была свежа, как будто беда случилась совсем недавно. Плавание составляло неизменный элемент знаменитых "топологических прогулок" (выездов Александрова с учениками за город), а однажды Александров едва не погиб, купаясь в Днестре, из-за неосторожности водителя катера. Дружба двух "П.С." была окутана романтическим ореолом, а ученики Александрова любили рассказывать трогательную историю о том, как однажды П.С. Александров подарил П.С. Урысону оттиск с дарственной надписью "ПСУ от ПСА".

П.С. Александров, один из отцов современной топологии был человеком необычайным. Он, например, мог без малейших затруднений произнести длинную цитату из "Фауста" (в оригинале, конечно) во время заседания Учёного Совета (несомненно, заседания эти довольно часто давали повод вспомнить и о Фаусте и о Мефистофеле). Однажды, в середине 60-х годов я был на публичной лекции П.С. о геометрии, каковую он, разумеется, трактовал во французском духе, то есть очень широко. Большая аудитория на первом этаже Главного Здания МГУ была заполнена математиками и прочей университетской публикой. Лекция развивалась блестяще, но в середине её послышался шум в дверях, и после секундного замешательства в зал ворвалась целая армия фото-, теле- и кино-корреспондентов. За ними в окружении группы людей неопределённой профессии и в штатском появился Ректор Университета И.Г. Петровский с Президентом Франции Де Голлем, наносившим в те дни официальный визит в Москву. И Петровский и Де Голль сделали в сторону П.С. жест, смысл которого на всех языках был: "Ради Бога, извините, и не обращайте на нас внимания..." П.С. мгновенно перешёл на французский язык и продолжил вдохновенный рассказ о теории размерности. Гости внимательно слушали из своего первого ряда. Но минут через десять Петровский извинился, прервал лекцию, и П.С. уступил кафедру Де Голлю. Президент в свою очередь извинился и обратился к собравшимся с небольшой речью, в которой он выразил сожаление, что из-за недостатка времени лишен возможности дослушать великолепную лекцию академика Александрова, что он крайне признателен и лектору и Ректору за эту возможность говорить в стенах столь прославленного заведения и т.д. Затем Де Голль и Ректор направились к выходу, а за ними и вся толпа исчезла также быстро, как и явилась. Я, признаться, в этот момент подумал, что, видимо, политика и политики всё же меняются со временем: Наполеон наверняка дослушал бы такую лекцию до конца [vii] .

По-видимому, П.С. мог быть и довольно колючим. На одном из этажей мех-мата висела большая картина, выполненная в лучших традициях социалистического реализма. Картина изображала встречу "Всероссийского старосты" М.И. Калинина с преподавателями мех-мата в тридцатых годах. Вся сцена дышала благолепием, вокруг головы Калинина почти различался нимб. В одном из первых рядов узнавался молодой Александров, видимо задававший лидеру партии и правительства какой-то вопрос. Старожилы любили вспоминать этот вопрос. Дело в том, что туалетов в старом здании мех-мата на Моховой не хватало, и были они в плачевном состоянии. (Об этом, кстати, пишет и Люстерник [3]). Вот Павел Сергеевич и спросил Калинина, не мог бы тот содействовать устройству дополнительного туалета для преподавателей. Калинин, с удовольствием отвечавший на общие вопросы о постановке высшего образования в СССР, о роли науки в коммунистическом воспитании и т.д., рассердился и посоветовал П.С. обратиться к завхозу.

Большим успехом пользовались музыкальные вечера, которые П.С. регулярно устраивал в студенческих общежитиях. Из его огромной коллекции извлекались редкие диски; прослушивания обыкновенно предварялись небольшой его речью. Должен сказать, что я никогда не встречал человека с таким потрясающим красноречием [viii]. Речь П.С. была великолепно организована, она текла плавно, красиво, без малейших затруднений. Сюжеты, образы, ассоциации рождались сами собой. Однажды на моих глазах П.С. абсолютно плавно, я бы сказал аналитически, перешел от Брамса [ix] к аморальности бактериологического оружия, а затем столь же плавно возвратился к Брамсу. Мне довелось также несколько раз присутствовать при публичных выступлениях П.С., основанных на его персональных воспоминаниях. Эти его рассказы производили впечатление чуда: на глазах оживали такие имена, как Гильберт, Хаусдорф, Брауэр, Нётер... Не могу удержаться, чтобы не попытаться воспроизвести здесь один из живых рассказов П.С. Речь шла о семестре, проведённом им в Гёттингене, если я не ошибаюсь, в середине 20-х годов. П.С. читал лекции по юной тогда теретико-множественной топологии, параллельно другой математический курс читался Н.Винером, также гостившим в Гёттингене. П.С. был необычайным лектором, Винер же, будучи выдающимся математиком, видимо не был самым лучшим педагогом. Во всяком случае, студенты перемещались от него к П.С., пока у Винера почти никого не осталось. Отношения между молодыми математиками натянулись, так как Винер, видимо, приписывал происходившее проискам П.С. и даже жаловался в Министерство Просвещения. По традиции, все гостившие в Гёттингене учёные наносили визиты местным профессорам. Когда подошла очередь Э. Нётер, Винер попросил её назначить время визита. "Ну, приходите, скажем, завтра часов в семь" ответила Нётер, не особенно интересовавшаяся формальностями. На следующее утро, ровно в 7 утра П.С. (а он жил в доме Нётер) был разбужен настойчивым стуком в дверь. Полагая, что произошло какое-то недоразумение с молочницей, менявшей по утрам пустую бутылку за дверью на бутылку с молоком, П.С., как был, в трусах, прошёл к двери, отпер её, приоткрыл и выглянул наружу... В этот момент рассказа на лице П.С. появился ужас, совершенно не утративший своей свежести за прошедшие полвека. "Вообразите! За дверью стоял Винер во фраке!"

Однажды я выступал на защите кандидатской диссертации в качестве оппонента. Речь шла о теореме Жордана для конструктивной плоскости. Я упомянул, среди прочего, и давнюю работу Брауэра, рассматривавшую аналогичную проблему с интуиционистской точки зрения. Работу эту было нелегко читать. При упоминании о Брауэре П.С. оживился, стал задавать мне вопросы. Видно было, что само имя Брауэра связано для него с самыми живыми воспоминаниями. "Да, Брауэр был великий геометр, его геометрическая интуиция была необычайной. Видимо, поэтому работы его трудно читать" - заключил П.С. этот врезавшийся мне в память разговор.

Последний раз я слышал публичное выступление П.С. в середине 70-х годов опять-таки на кандидатской защите. Представленная работа относилась к математической лингвистике и подводила итоги многолетних исследований автора, видного специалиста в этой дисциплине. К тому времени в советской математике отчётливо сформировалось то, что А.А. Марков однажды в беседе со мной назвал "царством тьмы". В этом царстве были представлены самые разные личности, течения, человеческие слабости. Частично это был обычный конфликт поколений, частично бесталанные личности, использующие комсомольские и партийные каналы в карьерных целях [x], частично талантливые и очень талантливые люди, также не брезговавшие упомянутыми каналами, частично националисты и т.д. В данном случае национальность диссертанта была безупречной (как и диссертация), зато работа была выполнена на кафедре математической логики, возглавлявшейся А.А. Марковым, и, сверх того, в деле имелся положительный отзыв А.Н. Колмогорова. Последнее обстоятельство, видимо, играло роль красной тряпки для упомянутой выше публики. Уже в те годы наметилась тенденция, усилившаяся позже, пренебрежительно относиться к отзывам, предложениям и т.д., подписанным Колмогоровым. Не рискуя прямо атаковать стареющего гиганта, многочисленные моськи вдоволь лаяли за спиной. Будет ли им когда-нибудь стыдно? Хочется надеяться...

И в этот раз диссертация была атакована двумя представителями темного царства, хорошо известными в Московском Университете[xi]. За нападавшими стояла молчаливая и хорошо управляемая группа членов Учёного Совета. Совершенно неожиданно для меня в поддержку диссертации выступил известный геометр, один из представителей старшего поколения П.К. Рашевский. Тема диссертации была крайне далека от его интересов, но молчать перед лицом явного разбоя он не мог.

Надо сказать, что один из нападавших, скажем X, демагогически требовал, чтобы диссертант объяснил ему сложные построения в формальных грамматиках за минуту, "на пальцах". П.С. Александров взял слово. У меня упало сердце, когда я увидел его сгорбленную небольшую фигуру, печальные глаза за огромными стёклами очков. Речь не была длинной.

- Мне довелось знать Брауэра - сказал П.С. - и я могу утверждать, что если бы X потребовал от него показать "на пальцах", почему, скажем, трёхмерное образование не может быть топологически отображено на двухмерное, Брауэр, великий Брауэр отказался бы отвечать на такой вопрос X.

Сопоставление имён Брауэра и X прозвучало убийственно!

Не могу не вспомнить здесь слова, сказанные Александровым у гроба одного из его коллег: "Когда я умру, и вы будете меня хоронить, прошу, не говорите, что я был "принципиальным", "принципиальность" - суррогат живых человеческих чувств..." И когда день пришел, на панихиде Александрова этих слов не говорили. Было море цветов, музыки, боли, несколько поколений учеников, коллег, друзей... Был Колмогоров, которого подвели, поддерживая, к гробу Синай и Арнольд, и который пытался, победив болезнь, поразившую речь его, сказать последнее "прости" другу своей жизни, великому человеку и великому учёному...

3. В.А. Успенский производил и производит сильное впечатление своей артистической манерой чтения лекций и всем своеобразием своей личности. В 1966 или 1967 году в Московском Университете были организованы курсы для учителей математики средних школ. Большое количество учителей со всей страны приехало в Москву. Успенский прочёл несколько лекций по математической логике, а аспиранты кафедры вели вслед за ним семинарские занятия. На первой же лекции В.А. совершенно ошеломил свою своеобразную аудиторию. Я видел изумлённое восхищение на многих лицах: "Неужели о математике можно говорить так интересно?!". Объясняя, почему импликацию с ложной посылкой целесообразно считать истинной (что, по меньшей мере, неочевидно), В.А. приводил примерно такое рассуждение.

- Представьте себе, что я сказал: "провалиться мне на этом месте, если я вру!" Это значит "если я вру, то я провалюсь". Импликация. Убедительная сила подобных высказываний состоит в том, что они предполагаются истинными. Но ведь посылка-то ложна! Смотрите - В.А. осторожно (дело было на 16 этаже!) попробовал пол ногою - я же не проваливаюсь!

На следующий день я не без содрогания, остро чувствуя свои 25 лет, вошёл в класс, заполненный учителями, в том числе и хрестоматийными убелёнными сединами учительницами. Тут уж мне действительно хотелось сквозь пол провалиться. Аудитория, однако, оказалась крайне доброжелательной. В один момент, когда в задних рядах было особенно шумно (слушатели были заметно возбуждены предстоящей экскурсией по Москве) я остановился и укоризненно посмотрел в аудиторию. Стало тихо, а потом мы все и я, молодой аспирант, и закалённые в сражениях с второгодниками воины педагогического фронта дружно засмеялись. Я пытался рассказать что-то из алгебры логики, но слушатели упорно возвращались к одной и той же теме: Успенский. Сколько ему лет, как долго он занимается математикой... Кто-то даже спросил, женат ли он. Пришлось прочесть маленькую лекцию о Владимире Андреевиче, что я сделал не без удовольствия.

В начале 60-х годов я начал посещать семинар В.А.Успенского по вычислимым функциям. Помню, как на одном из первых же заседаний, В.А., будучи не в состоянии ответить на какой-то вопрос из аудитории, прямо заявил: "Я знаю, что этот семинар рискует потерять всех своих участников из-за тупости руководителя, но я всё-таки не знаю, что Вам ответить!" После каждого заседания слушателям предлагались задачи, и каждый раз в начале семинара задавался всё тот же ритуальный вопрос: "Кто решил задачи?" При этих словах мы дружно поворачивались в дальний правый угол комнаты, куда смотрел и В.А.. А там высоко тянул руку, широко улыбаясь, человек богатырского сложения.

- Ну, конечно ты, Саша! - заявлял Успенский, - Ну а кто ещё? Неужели никто?!

"Сашей" был выдающийся математик Александр Владимирович Кузнецов, одна из самых ярких и всеми любимых личностей среди советских математических логиков. Самородок, не имевший даже формального среднего образования, А.В. Кузнецов занимался широким кругом проблем математической логики, всегда был окружён молодёжью и оставил после своей безвременной смерти в 1984 году [xii] своеобразную и значительную школу. Доброжелательный, спокойный, с удивительной плавной, распевной манерой речи, он иногда вдруг вспыхивал, подчас в очень неподходящих ситуациях. Я помню, что уже после переезда А.В. в Кишинёв, в один из его наездов в Москву у него случился острый, чтобы не сказать больше, конфликт с офицером милиции, изводившим его придирками из-за прописки. В приступе гнева А.В. сорвал с милиционера погоны. Пострадавший позже особенно возмущался из-за того, что он буквально накануне получил из пошивки совершенно новое обмундирование. Последовало формальное разбирательство и всё могло бы кончиться крайне плачевно, если бы не энергичное вмешательство Маркова и Колмогорова.

А.В. имел свои милые слабости. Однажды он делал длинную серию докладов (об интуиционистских аналогах штриха Шеффера) на семинаре Маркова и Нагорного в Вычислительном Центре АН СССР. Заседания начинались формально ровно в 11 утра, но А.В. неизменно и с точностью часового механизма появлялся в 11.40. Когда это случилось первый раз, А.В. пространно извинялся и говорил, что ему помешало ... Солнце! Действительно, великолепное, чистое, зимнее московское Солнце рвалось в окно, А.В. щурился с удовольствием... И вправду, до штриха ли Шеффера в такой день? Каждый следующий раз, когда А.В. открывал рот, чтобы приступить к извинениям за очередное сорокаминутное опоздание, Марков опережал его: "Это было Солнце!" торжественно заявлял он. Все смеялись. Удивительная, солнечная атмосфера была на этих докладах А.В. Кузнецова! Говорил и писал А.В. плавно, часто возвращался к уже сказанному, почти половина времени уходила на напоминание изложенного на предыдущем семинаре. Никто не возражал: все были покорены гармоничностью и глубиной его результатов, цельностью его стиля и личности. Это было, как с хорошей книгой, читаешь её, читаешь и не по себе становится, что меньше и меньше остаётся страниц и всё ближе расставание с её миром... Оставалась правда загадка "кванта опоздания", таинственных сорока минут, повторявшихся с настойчивостью Закона Природы. Проблему решил Н.М. Нагорный. "Всё очень просто. От дома А.В. до Вычислительного Центра ровно 40 минут пешком. Семинар начинается в 11, следовательно, ровно в 11 А.В. выходит из дому!"

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

- А здесь я буду рассуждать конструктивно! -

- Как же так? Вы же классик! - не без ехидства заметил Марков.

- Ну, знаете, с волками жить, по-волчьи выть! - мгновенно и к всеобщему удовольствию нашёлся А.В.

Добродушие А.В. иногда принималось за наивность. Напрасно. Он был человеком огромного, острого ума, артистической личностью. На Первой Всесоюзной Конференции (Симпозиуме) по Математической Логике в Алма-Ате в июне 1969 года часовой обзорный доклад был сделан одним из лидеров молодой тогда советской школы в математической кибернетике (позже вошёл в употребление термин "дискретная математика"). Лидер этот, без сомнения человек незаурядный, со сложной судьбой, к сожалению, всё больше и больше увлекался внематематическими манёврами, борьбою за власть... Впоследствии его школа почти в полном составе дружно влилась в "царство тьмы". Доклад показался мне несколько странным. Речь шла, если я не ошибаюсь, об оценке числа предполных классов в многозначных логиках. В центре изложения была давняя кандидатская диссертация докладчика, а также впечатляюшие результаты Розенберга (I. Rosenberg), анонсированные в Докладах Французской Академии Наук. После этой публикации ряд результатов Розенберга был, как выражался докладчик, "независимо" доказан в его школе. Следует сказать, что А.В. Кузнецов был одним из пионеров теории многозначных логик, открывшим фундаментальную теорему о конечности числа предполных классов в конечно-значных логиках. Отдавая должное Кузнецову, докладчик, однако, справедливо заметил, что Кузнецов не указал явного перечня предполных классов для трехзначной логики. Такое описание было найдено докладчиком. На следующий день конференция закрывалась. Было много формальных и неформальных выступлений. Пришёл черёд А.В. Он вышел к кафедре, поглядел в большой амфитеатр аудитории. Южное Алма-Атинское Солнце пробиралось через далёкие, узкие окна у самого потолка и играло на его лице. А.В. с явным удовольствием щурился. У него и в самом деле были особые, персональные отношения с Солнцем! А.В. начал говорить в своей обычной, добродушной, несколько убаюкиваюшей манере, продолжая улыбаться Солнцу.

- Конференция была интересной, очень интересной. Большой успех. Очень интересно. Я услышал много замечательных докладов. Но самый понятный доклад сделал вчера Х. Давно я не слышал такого понятного доклада. Да, конечно, я не посчитал предполных классов в трёхзначной логике. Софья Александровна [xiii] говорила мне тогда: "Саша, посчитай классы!" А я не посчитал! - здесь А.В. с полным удовольствием зажмурился и погрузил лицо своё в тёплый солнечный свет... - Я...поленился!

Задевать А.В., как видно, было небезопасно.

4. Когда в 1961 или в 1962 году, будучи студентом мех-мата, я выбрал специализацию по кафедре математической логике (ср.[5]),интерес к философии и основаниям математики был одним из мотивов. Тогда же я сделал доклад об интуиционистской математике на семинаре по истории математики, а несколько позже на семинаре по математической логике и конструктивной математике (под руководством А.А. Маркова и Н.М. Нагорного). Основным источником моей эрудиции в то время были две небольшие книжки Вейля и Гейтинга [6-7], переведённые ещё до войны известным историком математики А.П. Юшкевичем. Из интересных воспоминаний Юшкевича о Колмогорове [8] можно узнать, что Колмогоров был инициатором этих великолепно выполненных переводов (в то время я ещё пребывал в блаженном неведении трудностей, с которыми сталкивается переводчик подобных работ, особенно в случае автора со столь ярким литературным талантом, как Г. Вейль). Тогда же я прочёл и две ранние работы (1925 и 1932 года, [9-10]) Колмогорова, посвящённые интуиционистской логике. Содержание этих работ детально охарактеризовано в обзорной статье Успенского [1]. Трудно удержаться от изумления, думая о работе 1925 года. Написанная 22-летним студентом, работа эта отличается огромной зрелостью и намного лет опережает современный юному автору уровень науки. В работе ясно чувствуется творческий почерк колмогоровского таланта: постановка проблем, глубоко мотивированных философски, огромная мощь в разработке необходимого концептуального и технического аппарата, в преодолении конкретных математическиз трудностей. Достаточно сказать, что в этой студенческой публикации впервые предпринято математическое изучение интуиционистской логики, сформулированы аксиоматические системы для этой логики, предвосхищающие гораздо более позднюю аксиоматизацию интуиционистской математики, выполненную А. Гейтингом. Здесь же по существу (с точностью до технических деталей) впервые построено так называемое минимальное исчисление, переоткрытое в 1937 году Иохансоном (которому принадлежит и сам термин). Ещё более важной представляется мне изобретённая Колмогоровым идея погружения классической математики в интуиционистскую, в результате чего становится возможным доказательство непротиворечивости классической математики относительно интуиционистской. С этой целью предложена и первая из известных ныне погружаюших операций, основанная на глубоком проникновении в природу математического оперирования с отрицанием. Сама идея о том, что интуиционистская математика только по видимости уже классической могла быть высказана в то время только пророком. Только в 1933 году эти идеи были переоткрыты К. Гёделем. Вся описанная только что проблематика подсказана глубокими философскими проблемами, связанными с законом исключённого третьего. После критики Брауэра сомнительность этого логического принципа в применении к бесконечным совокупностям ощущалась рядом математических мыслителей, в частности Д. Гильбертом и Г. Вейлем. Не чужды были эти сомнения и Колмогорову. Во всяком случае, 22-летний студент (в отличие от многих своих старших коллег) ясно ощущал вызов, заключённый в вопросе: почему сомнительность или даже незаконность неограниченного употребления принципа исключённого третьего так долго оставалась незамеченной и почему такое неограниченное употребление не приводит к противоречиям [xiv].

А.А. Марков и Б.А. Кушнер, Москва, 1979 год

Ответ Колмогорова на этот вызов вкратце состоит в следующем. Во-первых, употребление закона исключённого третьего вполне оправдано в случае конечных совокупностей, т.е. в области финитарных суждений. Во-вторых, имеет место гораздо более сильное обстоятельство: если бы противоречие было найдено в классической теории, свободно оперируюшей с принципом исключённого третьего, то противоречие существовало бы и в одноимённой интуиционистской теории, в которой использование этого принципа ограничено только безопасными финитными случаями. Иными словами, принцип исключённого третьего не добавляет новых противоречий. И если в первом положении чувствуется заметное влияние Гильберта, то вторая идея (погружения классической математики в интуиционистскую) представляется ошеломляюще новой. Техническим аппаратом для реализации такого погружения оказывается концепция формализации математических теорий, разработанная Гильбертом, и идея погружающей операции, открытая Колмогоровым. Помимо оправдания употребления закона исключённого третьего (важнейшего математического орудия с самых древних времён) подход Колмогорова доставляет, очевидно, и определённое обоснование нашей замечательной, но, как и всё замечательное, не вполне безопасной способности оперировать с актуальной бесконечностью. Классическая математика с её актуально бесконечными множествами погружается в математический мир, где бесконечность допускается лишь в своей гораздо более мягкой, потенциальной форме.

В 1974 году А.Г. Драгалина [xv] и меня попросили написать статью об интуиционизме для третьего издания Большой Советской Энциклопедии. Статья ([11]) была направлена на отзыв Колмогорову. Когда я увидел рукопись с колмогоровскими замечаниями, я ещё раз поразился свежести его восприятия математической и философской области, которую он оставил столько лет назад...

Небезынтересен вопрос, почему молодой студент вообще заинтересовался такими окраинными вопросами, по видимости далёкими от интересов окружавшей его математической среды. Конечно, нельзя исключать огромного влияния Д. Гильберта и острой дискуссии по основаниям математики, развернувшейся между ним и лидером интуиционистов Брауэром. Но и сделанное выше замечание о математической среде, окружавшей молодого Колмогорова тоже глубоко неверно! В силу совпадения ряда разнородных причин проблемы оснований математики и, в частности, интуиционистской математики часто и горячо дискутировались в Москве в 20-е годы (ср. цитировавшиеся выше воспоминания Юшкевича [8]). Публичные сообщения об интуиционизме делал А.Я. Хинчин, им была опубликована в 1926 году статья об интуиционизме, отголоски этого интереса можно различить и в некоторых его книгах. Наконец, следует сказать, что основатель Лузитании, учитель Колмогорова, Александрова и многих других выдающихся математиков Н.Н. Лузин был не только выдающимся практическим математиком, но и глубоким математическим мыслителем. Достаточно упомянуть его участие в начале века в знаменитой переписке-дискуссии по основаниям теории множеств и, в особенности аксиомы выбора, между ведущими французскими математиками (см. [12]). Достойно восхищения и пророческое предсказание Лузиным позднейших результатов о независимости в теории множеств. Неудивительно, что ученики Лузина ощущали математику не как технические манипуляции с формулами и головоломками, а как живой организм, само функционирование которого представляло волнующую загадку. На этот фон парадоксальным образом наложился и марксистский энтузиазм, характерный для ранних послереволюционных лет. Мне трудно судить до какой степени этот энтузиазм уже в те годы был отравлен низким карьеризмом, демагогией и полной догматизацией философии, которые мне довелось наблюдать в моей молодости. Трудно, однако, избавиться от впечатления, что многие горячие головы в то время вполне искренне полагали, лучше сказать верили, что в философии Маркса найден своего рода "философский камень", окончательный научный ответ на все вопросы Бытия. Возможно, чтение работ В.И. Ленина проливает определённый свет на этот интересный психологический феномен. Неиссякаемая, просто религиозная убеждённость в обладании окончательной, единственно верной методологией, позволяющей понять и объяснить всё и вся, приводит к тому, что этот человек, наделённый, среди прочего, исключительно острым критическим умом, без тени сомнения и юмора вторгается в области знания, в которых он абсолютно некомпетентен, поучает Пуанкаре, Маха, Эйнштейна и т.д. Из этого же настроения рождаются и знаменитые ленинские афоризмы, вроде "электрон также неисчерпаем, как и атом", "учение Маркса всесильно потому, что оно верно" и т.д. и т.п., буквально вколоченные (среди прочих куда менее безобидных догм) большевистской пропагандой в сознание (и в подсознание!) подданных бывшей советской Империи [xvi]. Пожалуй, одной из вершин этой смехотворной агрессивной некомпетентности является знаменитое ленинское заявление: "...ДАЖЕ в математике нужна фантазия, ДАЖЕ для того чтобы открыть дифференциальное исчисление нужна была фантазия" [xvii]. (Эти бессмертные "даже" выделены мною). Позднее, в случае, скажем, Сталина эта первоначальная убеждённость в обладании абсолютной истиной, конечно, померкла перед обладанием абсолютной властью и ощущением полной безнаказанности. И всё же кое-что от этой убеждённости оставалось, например, в знаменитых изысканиях вождя всех народов по языкознанию. Той же породы, видимо, было и настроение, в котором незабвенный А.И. Жданов учил (кажется, даже за роялем) Шостаковича, Прокофьева и Хачатуряна как сочинять хорошую мелодичную музыку...

Неудивительно, что в 20-е годы велик был соблазн применить волшебное Марксово лекарство к лечению математики. Дискуссии по основаниям математики поощрялись и, наряду с тоннами словесного мусора, несомненно, много интересных соображений было высказано в те далёкие, холодные и голодные годы. В своих воспоминаниях о Колмогорове Юшкевич упоминает одну из таких дискуссий и впечатление, произведённое на него безыскусным по форме выступлением Колмогорова, в особенности замечанием о том, что интуиционистская математика только по форме уже классической. Думаю, что это замечание лет на 50 опередило своё время. Во всяком случае, я слышал подобные высказывания только в начале восьмидесятых годов, и делались они на основании огромного технического опыта, накопленного несколькими поколениями исследователей.

Столь же оригинальна и вторая предвоенная логическая статья Колмогорова [10]. Опубликованная семью годами позже, чем [9], на немецком языке, работа посвящена истолкованию интуиционистской логики. Если с семантикой классической логики дело обстояло более или менее благополучно, то вокруг содержания интуиционисткой логики велось немало дискуссий. Говоря очень упрощённо, классическая теоретико-множественная концепция математики, восходящая к Кантору, предполагает некий платонистский, идеальный, завершённый мир, в котором математические объекты существуют независимо от нашего творческого сознания в таком же смысле, как существуют звёзды на небе. Завершённая, актуальная бесконечность является вполне гармоничной идеей для такого мира (в самом деле, например, натуральный ряд в этом завершённом мире тоже должен быть завершённым, актуально бесконечным, иначе придётся допустить существование наибольшего натурального числа, что по меньшей мере странно). Математические утверждения выражают состояния вещей в этом мире и потому они также независимо от нашего сознания, состояния знаний и т.д. либо истинны, либо ложны. Не только абсолютизация экзистенциального статуса математических объектов, но и абсолютизация самого познания доведена в этой концепции до конца. Математические теоремы не столько изобретаются, сколько открываются математиками примерно так же, как открывались мореплавателями новые острова. Ясно, что закон исключённого третьего вполне естественен в этом "чёрно-белом" мире и что классическая логика является, таким образом, логикой теоретических истин, то есть логикой идеализированного математического бытия.

В контрасте с этой концепцией, интуиционистский математический мир принципиально незавершён, он развивается в результате творческой активности субъекта. Образно говоря, акт Творения математического мира передан от Бога к человеку, точнее к идеализированному человеческому существу, живущему и творящему во времени. От активности и умений такого творческого субъекта и зависит характер соответствующего математического мира. Что же в таком случае выражает интуиционистская логика, эта своего рода конституция интуиционистской математики? Предложенная Колмогоровым концепция исходит из того, что объектами интуиционистской математики, а, следовательно, и логики являются не абсолютные истины (как в традиционном случае), а задачи (проблемы). Логические операторы формируют новые проблемы из уже поставленных, а сами формулы интуиционистской логики выражают умение решить те или иные составные задачи. Таким образом, интуиционистская логика оказывается логикой умений. Закон исключённого третьего теряет при таком подходе свой универсальный характер. Принятие его означало бы постулирование умения решить в каждый момент времени любую задачу, что вряд ли убедительно. Интересной стороной интерпретации Колмогорова является её нейтральность: интуиционистская логика может теперь быть объяснена исследователю, не понимающему сложной философии интуиционизма или просто не заинтересованному в ней. Интуиционистская логика в какой-то мере теряет свой "религиозный", эзотерический характер и становится заманчивым объектом исследования для "обыкновенного" математика. Мне кажется, что значительный прогресс в изучении интуиционистской логики, достигнутый в послевоенные годы (и открывший, помимо прочего, дорогу к практическим её применениям в информатике), в большой степени обязан этому новому подходу, восходящему к Колмогорову.

Исследования Колмогорова по интерпретации интуиционистской логики развивались параллельно с усилиями выдающего голландского логика, ученика и последователя Брауэра А. Гейтинга. Многие идеи этих учёных оказались очень близкими. Однако в логической литературе до недавнего времени имя Колмогорова в этой связи почти не упоминалось. Мне кажется очень важным, что, восстанавливая историческую справедливость, два выдающихся представителя голландской школы, ученики Гейтинга Д. ван Дален и А. Трулстра в своей недавней великолепной двухтомной монографии [13] ввели в употребление термин "интерпретация Брауэра-Гейтинга-Колмогорова". С именем Трулстры связана и недавняя публикация писем Колмогорова Гейтингу ([14-15]). Письма эти были обнаружены Трулстрой в архивах А. Гейтинга. Профессор Трулстра, с которым я состоял в течение ряда лет в дружеской переписке, любезно прислал мне копии этих бесценных исторических документов, относящихся к началу 30-х годов. Естественно, было бы крайне интересно найти письма Гейтинга к Колмогорову в бумагах последнего. К сожалению, если я не ошибаюсь, это оказалось невозможным. Тем временем В.А. Успенский предложил опубликовать русские переводы писем Колмогорова (оригиналы написаны на немецком и французском языках) в Успехах Математических Наук, что и было сделано с любезного согласия профессора Трулстры. Корреспонденция между Колмогоровым и Гейтингом, даже доступная только частично, проливает новый свет на раннюю историю интуиционизма и на личности обоих выдающихся учёных.

Как это случилось и с работой 1925 года, новая работа Колмогорова по интуиционистской логике осталась малоизвестной. По-видимому, Клини не знал об этой работе, когда он писал свою знаменитую статью о реализуемости [16]. Семантика реализуемости, оказавшаяся столь плодотворной, перекликается с ранними идеями Колмогорова из [10].

Вообще есть какая-то тайна в судьбе этих двух работ. Несмотря на всемирную репутацию их автора, они остались практически неизвестными за пределами России. Как уже говорилось, многие результаты были переоткрыты другими исследователями. Даже и сейчас, как я мог убедиться после своего переезда в США, значение и само существование этих работ неизвестно многим первоклассным экспертам на Западе. Можно надеяться, что статья Успенского, опубликованная по-английски и в одном из самых читаемых логических журналов, поможет исправить эту достойную сожаления ситуацию [xviii].

5. Дальнейшая часть обзора Успенского посвящена трудам Колмогорова по общей теории алгоритмов и алгоритмическим основаниям теории вероятностей. Следует сказать, что В.А. Успенский принял самое живое участие в этой деятельности А.Н. Колмогорова. Широко известная ныне общая концепция алгоритма, задуманная Колмогоровым и реализованная им совместно с Успенским, по-видимому даёт наиболее общее точное описание интуитивных алгоритмов. Алгоритмы, подпадающие под эту концепцию, обычно называют алгоритмами Колмогорова-Успенского. Я специально подчёркиваю это обстоятельство, не отмеченное В.А. по понятным причинам. Определение Колмогорова-Успенского оказалось очень плодотворным, как с точки зрения приложений (теория сложности), так и с точки зрения оснований математики. Если в других классических точных определениях (машина Тьюринга, рекурсивные функции, нормальные алгорифмы Маркова и т.д.) ставилась задача воспроизвести работу любого интуитивного математического алгоритма посредством некоторого алгоритма из данного точного класса (возможность всегда достичь этой цели и провозглашалась Тезисом Чёрча, тезисом Тьюринга, принципом нормализации и т.д.), то определение Колмогорова-Успенского пытается непосредственно представить наиболее общие мыслимые математические алгоритмы. Анализ природы финитарных процессов, приводящий к упомянутому определению, представляет большой методологический интерес. Некоторые авторы полагают даже, что этот анализ доставляет легитимное доказательство Тезиса Чёрча (см. интересную работу Мендельсона [20]).

Несомненный исторический интерес представляют замечания Успенского о семинаре "Рекурсивная Арифметика", которым Колмогоров пригласил его соруководить в 1953/1954 учебном году. Историкам математики будет небесполезно проследить связь между трудами по дескриптивной теории множеств московской школы Лузина и изучением рекурсивно-перечислимых множеств в этом семинаре [xix]. (Если я не ошибаюсь, аналогичные события происходили примерно в то же время и на семинарах П.С. Новикова.) На этом же семинаре Колмогоровым были высказаны основные идеи будущей теории нумераций, впервые развитые в точной форме В.А. Успенским.

Ярко представлен Успенским и один из последних творческих подвигов А.Н. Колмогорова - создание им и очередным поколением его учеников основ алгоритмической теории информации и теории вероятностей. Эти труды А.Н. Колмогорова ведут непосредственно в сегодняшний день. Соответствующие теории ещё не обрели завершенные формы, продолжается поиск основных концепций, оттачивается интуиция. Драматические начальные шаги этого процесса, протекавшие в 60-е годы, во всей их живой полноте представлены Успенским. Я могу только дополнить его описание несколькими наблюдениями и воспоминаниями, поскольку я тоже был непосредственным свидетелем происходящего.

Мне не довелось быть непосредственным учеником Колмогорова, и мои личные встречи с ним были немногочисленны. Но каждая навсегда врезалась в память. Первая такая встреча произошла в середине 60-х годов, когда я был аспирантом на кафедре математической логики. С.А. Яновская планировала организовать заседание Математического Общества по программным методам обучения с участием ведущих математиков, педагогов и психологов. Написав записку А.Н., она попросила меня отвезти это послание на дачу в Болшево-Комаровке, вблизи Москвы, которую Колмогоров в течение многих лет разделял с П.С. Александровым. Дача эта, конечно же, была знаменита в математических кругах. Дело было зимним холодным вечером, и я нашёл не особенно приметный дом не без труда.

Колмогоров вышел ко мне в лыжном костюме, как всегда, голова его была чуть-чуть наклонена вперёд. Обращение его с любым собеседником, независимо от возраста и ранга, всегда было предельно корректным. Вот и сейчас, увидев меня первый раз, он протянул руку, пригласил сесть и погреться. Прочитав записку, А.Н. сказал, что, к сожалению, не сможет сделать доклад, о чём его просила Яновская, так как не чувствует себя экспертом в данной области. Он рекомендовал обратиться к Б.В. Гнеденко, который, если мне не изменяет память, и сделал требуемый доклад. Из самого заседания математического общества мне запомнился лишь не лишённый комизма эпизод. Один из выступавших, энтузиаст-психолог увлечённо излагал своё необычайное и, несомненно, окончательное решение проблемы обучения детей математике.

- Как, например, учить сложению? - риторически спросил он, - мало кто знает, что такое сложение! - И, посмотрев в зал, заполненный математиками, добавил

- Вы не знаете, что такое сложение!

И здесь не выдержал А.Г. Курош.

- МЫ знаем, что такое сложение! - возмущённо возразил он.

Вообще подготовка этого заседания оказалась крайне благотворной для меня. Я ближе познакомился с С.А. Яновской, с её учеником философом Б.В. Бирюковым, от которого я впервые услышал о замечательном учёном и замечательной личности академике, адмирале А.И. Берге (много лет спустя Аксель Иванович энергично вмешался, когда моя монография застряла в недрах Редакционно-Издательского Совета Издательства Наука). В те дни мне довелось провести несколько часов в доме матери Б.В. Бирюкова в одном из исчезнувших теперь Таганских переулков. Как жаль, что я тогда же не записал её рассказ, какой трагический, какой подлинный документ о жизни в коммунистическом государстве мог бы получиться! С её недавней кончиной ещё один непосредственный свидетель трагических событий, способный описать их, ушёл навсегда...

Мои дальнейшие персональные встречи с А.Н. Колмогоровым почти всегда были связаны с представлением моих работ в Доклады АН СССР. Запомнился следующий случай. Я получил представлявшиеся мне интересными результаты по некоторым довольно экзотическим системам вычислимых действительных чисел. Как обычно в таких случаях, Марков позвонил Колмогорову, и тот попросил принести ему работу для представления. А.Н. встретил меня у дверей своей квартиры в одном из крыльев главного здания МГУ, нашёл уголок на заваленном бумагами огромном письменном столе, просмотрел рукопись, написал своё представление и попросил оставить ему копию статьи. Я поблагодарил А.Н., протянул ему копию манускрипта и собрался уходить. Но А.Н. остановил меня и сделал несколько (к большой моей радости вполне положительных) замечаний о моей работе. Замечания эти не были простой любезностью, из них я с изумлением убедился, что А.Н. знал содержание моих предыдущих работ и вполне ясно представлял характер полученных мною результатов. Надо сказать, что большинство моих коллег, целиком посвятивших себя математической логике, не имели никакого представления о тематике, над которой я тогда работал.

Универсальный характер колмогоровского таланта, его способность видеть буквально всю математику (и не только её) сразу, целиком поразительны. Ещё в студенческие мои годы я слышал граничащие с легендами рассказы о лёгкости, с которой Колмогоров читает математические работы. Однажды один профессор-механик рассказал мне, как на защите его друга на доске появилась многоэтажная формула, представлявшая какую-то вероятность. Сложные вычисления по этой формуле диссертант не производил (компьютеров тогда не было), так что вероятность эта оставалась своего рода вещью в себе. Однако он услышал негромкую реплику Колмогорова, без особой настойчивости сказавшего, что обсуждаемая вероятность, скорее всего, равна 1/3 (или что-нибудь в этом роде). Замечание поразило диссертанта и он, вернувшись домой, приступил к вычислениям, занявшим значительное время и подтвердившим прогноз Колмогорова. Я помню так же, как была изумлена моя жена, вернувшись с семинара по турбулентности. Доклад академика Миллионщикова привлёк многих слушателей, пришёл и Колмогоров. Хорошо известно, что А.Н. выполнил выдаюшиеся исследования по турбулентности и даже создал свою школу в этом направлении. Однако в 70-е годы турбулентность вряд ли была в центре его интересов. Тем не менее, из нескольких сделанных им по ходу доклада замечаний было ясно, что он понимает происходящее быстрее, яснее и глубже присутствовавших, среди которых были первоклассные эксперты по данной проблеме.

Приведу и одну забавную фольклорную историю. Однажды в какой-то математической компании зашёл разговор о формализации "женской логики". Колмогоров немедленно предложил следующий принцип: "Если В следует из А, и В приятно, то А - истинно".

Публичные лекции А.Н.Колмогорова всегда выливались в большие события. В 60-е годы А.Н. прочёл несколько лекций по теории автоматов. В большой аудитории первого этажа обычно не хватало мест и многие слушатели располагались в фойе, куда лекция транслировалась по внутреннему радио. В те годы ещё были не забыты дискуссии вокруг кибернетики, которую записные марксистские философы всё-таки успели окрестить "буржуазной лженаукой". Возможно, это было одним из последних рецидивов марксистского энтузиазма, о котором я уже говорил. Демагогия является обычной и широко распространённой болезнью общественного сознания, однако в тоталитарном обществе порок этот приобретает особо злокачественный характер. Думается, было бы крайне полезно перевести на многие языки стенографический отчёт о дискуссии по биологии в 1948 году в ВАСХНИЛ ( Всесоюзная Академия Сельскохозяйственных Наук имени Ленина - Ленин, конечно, же был также и великим новатором сельского хозяйства!). Война, развязанная с благословения вождя всех народов против буржуазной теории "вейсманизма-морганизма-менделизма" (то есть против научной генетики) шарлатаном Лысенко и его подручными, завершилась разгромом советской биологической науки. Как всякая война, эта война собрала свои жертвы, жертвы в буквальном смысле слова... Некоторых героев этой войны, вроде пресловутого академика Митина, можно было видеть и на других полях сражений, видимо дарования их были универсальны. С их помощью на химической дискуссии была разоблачена буржуазная квантовая теория молекулы, кажется, водорода, зловредно, в ущерб передовой отечественной концепции Бутлерова-Марковникова, развитая капиталистическим мракобесом Полингом (если я не ошибаюсь, почти в то же самое время или несколько позже тот же учёный при немного другом прочтении его фамилии - Паулинг - фигурировал в советской пропаганде, как прогрессивный деятель, друг СССР, борец за мир и т.д.)

На одной из своих лекций А.Н. рассказывал о кругосветном плавании, совершенном им на научно-исследовательском судне Академии Наук. Среди экипажа возник спор по поводу какой-то научно-популярной передачи, принятой по радио. Мнения разделились. Спор улёгся лишь, когда в следующей передаче выступил с разъяснениями академик Х.

- Но ведь и я говорил им то же самое - изумлялся Колмогоров, - Да куда там... Свой академик, здесь, на борту вроде бы и не академик. Вот чужой, по радио - это другое дело...

Нет пророков в своём отечестве...

Многообразные интересы Колмогорова включали и проблемы преподавания. Здесь можно упомянуть созданную в Москве при активном его участии школу-интернат для математически одарённых детей, реформу преподавания математики в средней школе и многое другое. В 1972 году Колмогоров впервые прочёл обязательный курс по математической логике для студентов-математиков МГУ. О необычной атмосфере и событиях, окружавших этот курс, я уже писал в [5]. Думаю, что математическая логика обязана А.Н. и сохранением своего научного центра в Московском Университете. Когда в 1979 году скончался А.А. Марков, возникла реальная угроза поглощения кафедры математической логики уже упоминавшейся выше школой "дискретной математики", к тому времени достигшей значительного административного влияния. По-видимому так бы и случилось, если бы не вмешательство Колмогорова. Несмотря на уже расстроенное здоровье, он возглавил кафедру, и с тех пор в течение ряда лет его можно было видеть во главе исследовательского семинара, связанного с именами П.С. Новикова, А.А. Маркова, С.А. Яновской. В последние годы было видно, как тяжело ему даётся само присутствие на семинаре, и всё же он почти неизменно занимал своё место в первом ряду [xx]... Спасибо ему.

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

Если к началу 60-х годов уже были достигнуты определённые успехи в изучении сложности алгоритмических вычислений [xxi], то проблемы изучения сложности описаний тех или иных алгоритмов ещё предстояло решать. Пионерские работы А.А. Маркова 1962-1964 годов [22-23] заложили основы соответствующей теории. В частности, во многих случаях оказалось возможным найти новое количественное представление сложности неразрешимости алгоритмических проблем через так называемые оценки сложности разрешения. Поясню вкратце сказанное. Предположим, что мы хотим отыскать алгоритм, распознающий принадлежность произвольного натурального числа n данному множеству M. Как известно, во многих случаях искомый алгоритм невозможен. Вместе с тем данную проблему P можно аппроксимировать финитарными проблемами P_k - каждая такая проблема состоит в отыскании алгоритма, распознающего принадлежность к M натуральных чисел, не превосходящих k. При каждом k можно попытаться оценить сложность описания алгоритма, решающего соответствующую финитарную проблему. Ясно, что если указанная сложность неограниченно возрастает с ростом k, то начальная проблема P алгоритмически неразрешима.

Результаты и идеи Маркова получили значительное развитие в работах его учеников. И так как изучение колмогоровской сложности конструктивных объектов и сложности алгоритмов по Маркову часто приводили к сходным проблемам, в 60-е годы развилось значительное сотрудничество между школами Маркова и Колмогорова. Так же, как это когда-то случилось с Успенским, молодой математик Н.В. Петри был приглашен А.Н. Колмогоровым вести совместный семинар по сложности алгоритмов. И здесь я хочу упомянуть о проявленной А.Н. деликатности. Поскольку Петри был учеником Маркова, Колмогоров позвонил Андрею Андреевичу и спросил, не имеет ли тот возражений против этой идеи. Об этом телефонном звонке мне рассказывал Марков.

- Конечно, я ответил, что никаких возражений нет. Совсем наоборот... - добавил Марков.

Я видел, что он был очень доволен.

С другой стороны на семинарах Маркова стали появляться ученики Колмогорова нового поколения. Особенно запомнился блестящий, темпераментный и эксцентричный Л. Левин (ныне профессор Бостонского Университета). Непредсказуемость Левина порою выводила Маркова из себя [xxii], но, вне всякого сомнения, А.А. высоко ценил большой математический талант Левина и позже принимал живое участие в его судьбе. В особенности, когда в 1971 году "царство тьмы" расправилось с диссертацией Левина (защита происходила в Новосибирске). Конечно, к этому были все основания: диссертант имел возмутительную национальность, и вдобавок его руководителем был А.Н. Колмогоров!

7. Пасмурным октябрьским днём 1987 года московские математики прощались с А.Н. Колмогоровым. Деревья под охраной чугунных ворот, старых, красных кирпичных стен и милиционеров ещё желтели негромкими красками московской осени. Было тепло, тихо, только вороны кричали о чём-то своём, вечном... Далеко за рекой, на холме угадывался силуэт Университета. Когда я бросил по старому обычаю горсть земли в открытую могилу, я вдруг остро почувствовал душою то, что мой ум давно понимал: с Колмогоровым навсегда ушла целая эпоха. Я видел эту боль и на многих лицах вокруг. Потом все разбрелись по кладбищу. У каждого кто-то был здесь. Если не родственник, друг, то хотя бы Чехов и Шостакович. Я поклонился могиле П.С. Новикова и Л.В. Келдыш, постоял у доски, за которой скрыта урна с прахом С.А. Яновской, и пошёл к воротам. Уже темнело, кончался 87-й год. Впереди было расставание с Россией.

ЛИТЕРАТУРА

1. Uspensky V.A. Kolmogorov and Mathematical Logic. The Journal of Symbolic Logic, v. 57, No 2, 385-412, 1992.

2. Люстерник Л.А. Ранние годы Московской математической школы. Успехи Математических Наук, т. 22, No. 1, 137-161, 1967.

3. Люстерник Л.А. Ранние годы Московской математической школы. Там же, т. 22, No. 2, 199-239, 1967.

4. Люстерник Л.А. Ранние годы Московской математической школы. Там же, т. 22, No. 4, 199-239, 1967.

5. Кушнер Б.А. Марков и Бишоп. Вопросы Истории Естествознания и Техники, 1, 70-81, 1992.

6. Вейль Г. О философии математики. Сборник работ (пер. с немецкого) ГТТИ, 1934.

7. Гейтинг А. Обзор исследований по основаниям математики, М.-Л., ОНТИ, 1936.

8. Юшкевич А.П. Встречи с А.Н. Колмогоровым. Препринт. 1990.

9. Колмогоров А.Н. О принципе "tertium non datur", Математический Сборник, т.32, 646-667, 1924/1925.

10. Колмогоров А.Н. Zur Deutung der intuitionistischen Logic. Mathematische Zeitschrift, v. 35, 58-65, 1932.

11. А.Г. Драгалин, Б.А. Кушнер. Математический Интуиционизм. Большая Советская Энциклопедия, т.15, 488, 1974.

12. Borel E. Lecons sur theorie des fonctions, 3rd ed., Gauthier-Villars, Paris, 1928.

13. Dalen D. van, Troelstra A. S. Constructivity in Mathematics. An Introduction. Vol.1-2, North-Holland, Amsterdam-New York-Oxford-Tokyo, 1988.

14. Troelstra A.S. On the Early History of Intuitionistic Logic.In P.Petkov, Ed. Mathematical Logic, 3-17, Plenum Press, New York-London, 1990.

15. Колмогоров А.Н. Письма к Гейтингу. Успехи Математических Наук, т.43, No.6, 75-77, 1988.

16. Kleene S.C. On the interpretation of intuitionistic number theory. Journal of Symbolic Logic, v.10, 109-124, 1945.

17. Heijenort J. van.(Ed.) from Frege to Goedel: a source-book in mathematical logic, 1879-1931, Harvard University Press, Cambridge, Massachusetts, 1967.

18. Новиков П.С. On the consistency of certain logical calculus. Математический сборник, т. 12 (54), 231-261, 1943.

19. Feferman A.B. Politics, Logic, and Love. The Life of Jean van Heijenoort. Jones and Bartlett Publ., Boston-London, 1993.

20. Mendelson E. Second Thoughts about Church's Thesis and Mathematical Proofs. The Journal of Philosophy, v.87 No.5, 225-233, 1990.

21. Трахтенброт Б.А. Сложность алгоритмов и вычислений. Новосибирск 1967.

22. Марков А.А. О нормальных алгорифмах, вычисляющих булевы функции. Доклады АН СССР, т. 157б No. 2, 262-264, 1964.

23. Марков А.А. О нормальных алгорифмах, связанных с вычислением булевых функций. Известия АН СССР, сер. мат., т.31, No. 1, 161-208, 1967.

1-я редакция: январь 1993 г.

2-я редакция: март 2004 г.

Изготовление печатей. Сайт даже про изготовление печати за час. Услуга трезвый водитель, заказать в Москве! Колледж малого бизнеса Москва. Форум колледжа малого бизнеса n48. Canon Eos 700D Kit 18 135 Is - купить больничный лист задним числом. Участки у воды 180тр! Выгодно.

Физико-математическая школа им. А.Н.Колмогорова © СУНЦ МГУ