Борис Кушнер: Успенский пишет о Колмогорове

А.В. имел свои милые слабости. Однажды он делал длинную серию докладов (об интуиционистских аналогах штриха Шеффера) на семинаре Маркова и Нагорного в Вычислительном Центре АН СССР. Заседания начинались формально ровно в 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].