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

• Название: Успенский пишет о Колмогорове
• Автор: Борис Кушнер
• Издательство: Янус
• Жанр: Биографии и Мемуары
• Год: 1996

Эти воспоминания была опубликована в Историко-математических исследованиях, Вторая серия, выпуск 1 (36), №2, Янус, Москва 1996, стр. 165 – 191. Английская версия: Memories of Mech.-Math in the Sixties, Modern Logic, Vol. 46 No. 2, April 1994, Ames, Iowa,  pp. 165 – 195 (прим. 2004 г.).

---

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 г.

Примечания

[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]

Колмогоров А.Н. О принципе «tertiumnondatur», Математический Сборник, т.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.

[2]

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

[3]

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

[4]

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

[5]

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

[6]

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

[7]

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

[8]

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

[9]

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

[10]

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