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

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

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

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

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

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

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

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

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

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

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

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

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

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

Первая редакция настоящей работы написана в 1993 г. ( прим. 2004 г .).

В момент написания статьи я ещё не знал о существовании великолепного тома «Колмогоров в воспоминаниях», редактор-составитель А.Н. Ширяев, Москва, Наука, 1993. В этой книге можно найти и крайне интересные воспоминания В. А. Успенского («Колмогоров, каким я его помню», стр. 280 – 384. Совсем недавно Владимир Андреевич выпустил двухтомник под характерным названием «Труды по Не Математике», ОГИ, М., 2002. ( прим. 2004 г .).

Столетию со дня рождения А.А. Маркова посвящено моё эссе «Учитель», Вестник, Балтимор, №18 (329) – №21, (332), 2003 ( прим. 2004 г .).

В начале 1995 г. я получил из Москвы газету, в которой цитировалась сов. секретная Справка от 20 ноября 1961 г., адресованная ЦК КПСС и подписанная Зав. отделом науки, вузов и школ ЦК КПСС В. Кириллиным и Зам. зав. Отделом науки, школ и культуры ЦК КПСС по РСФСР Ф. Герасиным. Документ излагал памятные события «дела Лейкина» в партийной интерпретации. Не без изумления обнаружил я и свою фамилию (написанную через «и») в списке зачинщиков: «Вместе с тем Лейкин и поддерживающие его Шапиро, Буевич, Кушнир (! – Б.К.), Томм, Фирсов, Мищенко и Боримечков до собрания провели определённую работу в группах. Ведение собрания оказалось по существу в их руках» («Нас не травили разве что дустом», Куранты, №166 (933), 2 сентября 1994 г.). Собрание, о котором идёт речь, отказалось исключить Лейкина из комсомола (и, тем самым, из Университета). Конечно, было организовано сверху другое собрание, выполнившее волю партии. В то время я и не подозревал о таком высоком внимании. Очевидно, справке не был дан серьёзный ход в партийных инстанциях. Во всяком случае, я не почувствовал заметных последствий при приёме в аспирантуру, а потом на работу (кроме обычных для «лиц еврейской национальности» затруднений) ( прим. 2004 г .).

В футляре от скрипки в зимнее время хранились доказательства Теоремы Ферма. По легендам, не отрицаемым самим их героем, летом Д. плавал на речных пароходах, играл на скрипке для отдыхающей публики, зарабатывая на жизнь и на возможность размышлять над великой загадкой Ферма. По моим наблюдениям производительность труда Д. составляла 1.5-2 доказательства Теоремы Ферма за сезон. В моё время он представлял математической публике доказательства, кажется, под номером 16 (варианты доказательств отмечались добавлением букв, скажем 16 Е). Д. прекрасно знал все ведущие советские Университеты и математические учреждения и всех ведущих математиков. Его отношения с последними были непростыми, с кем-то он, по его утверждению, даже и судился. Легенда утверждала, что вскоре после учреждения фототелеграфа Д. послал в Математический Институт имени Стеклова новогоднюю фототелеграмму. На бланке можно было видеть симпатичную коллекцию ослиных голов, под каждой головой была каллиграфически выписана фамилия очередного знаменитого математика. Впрочем, сам я никогда не видел Д. в агрессивном состоянии, он обычно сидел в углу на скамье, окружённый студентами и рассказывал желающим свою работу. По окончании он просил отзыв вполне умеренного содержания: «Я, такой-то, студент такого-то курса мех-мата, ознакомился с доказательством 16 Е Великой Теремы Ферма, принадлежащим Д.; при поверхностном просмотре явных ошибок не обнаружено». Трудно сказать верил ли Д. в свои доказательства сам. Однажды он сказал при мне не без гордости: «Это доказательство я показывал Михаилу Михайловичу Постникову; Постников сообщил мне, что мои ошибки становятся всё более и более витиеватыми». Помимо теоремы Ферма, Д. в молодости работал и над perpetuummobile . Здесь он любил рассказывать о доценте, который сначала прогонял его, потом начал называть его идеи гениальными, но в этот момент, когда сотрудничество пошло на лад, доцента забрали в сумасшедший дом. Желающим также позволялось заглянуть в киносценарий «Математический Сталинград», посвящённый участи математиков (названных поимённо), отрицавших идеи Д.

Интерес Наполеона к математике вообще и к геометрии в частности общеизвестен. Ему даже приписывается изящная теорема о треугольниках (так называемая теорема Наполеона).

Из ораторов, которых я слышал, пожалуй, только И.Г. Эренбург, В.А. Успенский и Б.В. Гнеденко приближались к П.С.

Вкусы П.С. Александрова, насколько я могу судить, были несколько консервативны. Некоторые из его учеников утверждали, что для П.С. музыка на Брамсе заканчивалась.

Я припоминаю одного колоритного студента из отделения механики. Перемежая двойки и тройки, он буквально приполз к своему диплому. Зато его комсомольская энергия била через край. В 80-е годы его можно было видеть на самых высоких постах в Университетской иерархии.

Один из них, мой однокурсник, талантливый и совершенно беспринципный человек, проделавший головокружительную карьеру, включавшую азартные карточные игры, комсомольскую, партийную работу, работу в администрации Университета и вполне профессиональную математическую работу. Другой был видным специалистом в теории чисел.

А.В. Кузнецов родился 28 октября 1926 года и умер 24 июля 1984 года.

С.А. Яновская (1896 - 1966), выдаюшийся специалист в математической логике и философии математики. Один из организаторов кафедры математической логики в Московском Университете. О её роли в предвоенной математической жизни интересно вспоминает Люстерник [3]. В мои студенческие и особенно аспирантские годы Софья Александровна уже страдала тяжёлой болезнью. Тем не менее, она продолжала читать свой традиционный курс математической логики и соруководить научно-исследовательским семинаром кафедры. С.А. до самого конца сохраняла острый интерес ко всему новому в математике. В один из весенних дней 1966 года я провожал её домой. Прощаясь, она сказала, что эта весна для неё последняя, что она уже не слышит запахов этой весны... 25 октября того же года её не стало. (См. также мои воспоминания Boris A. Kushner, Sof'ja Aleksandrovna Janovskaja: a few reminiscences, Modern Logic, vol.6, no.1, 67–72, January 1996. Русский перевод публиковался в журналах Вопросы естествознания и техники, т.4, стр. 119–123, Москва, 1996 (под названием «Несколько воспоминаний о Софье Александровне Яновской») и Вестник №14 (273), Baltimore, July 3, 44-46, 2001 (под названием «Мои воспоминания о Софье Александровне Яновской») – прим. 2004 г. ) .