Борис Кушнер - Учитель

В первые послевоенные годы внимание Маркова обратилось к основам математики, математической логике. Его пытливый, ничего на веру не принимающий ум всматривался в самый фундамент, на котором было возведено величественное здание математики. Собственно говоря, подобные глубокие раздумья были ему присущи всегда, но теперь они заняли первенствующее место в его работе. Андрей Андреевич приступил к созданию своего главного детища, совершенно нового построения математики, можно сказать к созданию новой математики, которую он назвал конструктивной . Сегодня эту математику называют конструктивной математикой Маркова.

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

Речь шла о самой природе математики. Что она изучает, что собой представляют математические объекты, в каком смысле они существуют и т. д. Подобные вопросы, разумеется, ставились на протяжении всей истории научной деятельности человека, но в обсуждаемое время они приобрели особенную остроту в связи с появлением теории множеств и универсальным распространением языка этой теории на математику. Теория множеств была почти единолично развита в конце 19-го века великим немецким математиком и мыслителем Георгом Кантором [36] Georg Cantor (1845–1918). Вслед за Кантором следует упомянуть другого великого немецкого математика Рихарда Дедекинда (Richard Dedekind (1831–1916)). , который, кстати, сам употреблял более точное именование «Учение о Множествах». В 1985 г. издательство «Наука» выпустило в серии «Классики Науки» великолепный том переводов трудов Кантора [37] Георг Кантор, "Труды по теории множеств", под ред. А.Н. Колмогорова и А.П. Юшкевича, «Наука», Москва 1985. Замечательный очерк Теории Множеств, включающий философские и исторические вопросы, можно найти в монографии Френкеля и Бар-Хиллела «Основания Теории Множеств», Мир, Москва 1966, пер. с англ. Англ. оригинал: Foundations of Set Theory, North-Holland Publ. Co, Amsterdam, 1958. . Книга эта просто бесценный источник для всех, кто интересуется историей и философией науки. Кантор далеко выходит за пределы собственно математики, обращаясь к теологии и обсуждая философскую сторону своих построений не только с математиками [38] Огромный интерес представляет переписка Кантора с Дедекиндом. , но и с богословами. Действительно, способность нашего Духа, как поэтической его части, так и интеллектуальной, выходить за пределы повседневного ограниченного опыта конечного, смертного существа, оперировать с Бесконечностью заставляет вспомнить, по Чьему Образу и Подобию мы были сотворены [39] Самая первая фраза, открывающая Библию, «В начале сотворил Б-г небо и землю», прочитанная в оригинале, содержит загадку, переводом не переданную (невероятно трудно переводить Танах!) Стоящее в оригинале слово «Элохим», переведённое, как Б-г, грамматически является множественным числом от «Эл» («бог», скорее в языческом смысле слова), однако, управляет глаголами в единственном числе. И эта грамматическая странность настойчиво проводится в Танахе. Одно из объяснений состоит в том, что здесь необычная грамматика выражает идею постижения нашим Духом Единого Б-га, вобравшего в себя и преодолевшего все прежние языческие божества. Основная интеллектуальная операция теории множеств, при которой из предстоящих нашему воображению или взгляду объектов создаётся новая сущность, новый объект — множество данных предметов, сродни этой фундаментальной теологической конструкции. .

Рассказать обо всём этом неподготовленной аудитории нелегко, но я всё же попробую что-нибудь сделать в этом направлении. Опыт, и как мне кажется положительный, такого устного рассказа у меня есть. Незадолго до отъезда в 1987 или в 1988 г. я прочёл доклад по теории множеств на философском семинаре института им. Гнесиных в Москве. Теория множеств для музыкантов! Это было захватывающе интересно (по меньшей мере, для меня самого) [40] Случилось так, что буквально в те же дни меня попросили сделать доклад на ту же тему для аспирантов-математиков мех-мата МГУ. Переключаться с одной аудитории на совершенно другую было тоже крайне интересно. .

Кантора можно назвать Поэтом Бесконечного. До него Бесконечность представлялась неразличимым бесструктурным целым, противоположным конечному, тому, что можно перечислить, сосчитать. Что-то вроде синих очертаний гор на горизонте. Кантор открыл невероятную по богатству Страну Бесконечного, множество типов бесконечности, находящихся в удивительных отношениях друг с другом. Он определил, в каком смысле две бесконечности одинаковы по «количеству» составляющих их элементов, и в каком одна «больше» другой. Например, оказалось, что смутно ощущаемое превосходство непрерывной бесконечности точек прямой над бесконечностью ряда положительных целых чисел 1,2,3,… может быть выражено точным математическим утверждением (знаменитая теорема Кантора (1873 г.) [41] Многие источники относят это фундаментальное открытие (первый пример бесконечности, «большей», чем бесконечность ряда положительных целых чисел) к более поздней дате, но оно обсуждается и формулируется уже в письмах Кантора Дедекинду декабря 1873 г. (См., Кантор, цит. соч. стр. 329–330). о несчётности континуума). Первая бесконечность мощнее, больше второй. В то же время Кантор с изумлением обнаружил, что на прямой «столько же» точек, сколько во всём пространстве [42] «Я это вижу, но я в это не верю» — писал Кантор Дедекинду (письмо от 29 июня 1877 г., Кантор цит. соч. стр. 344; интересно, что цитированные слова написаны Кантором по-французски, чем, вероятно, подчёркивается его эмоциональное состояние). Позже Брауэр (об этом выдающемся математике мы ещё поговорим ниже) показал, что наша интуиция восстанавливается, если рассматривать непрерывные (топологические) соответствия между прямой и пространством… . Страна Бесконечного таила свои опасности, и главные из них были ещё впереди.

Георг Кантор

Другим удивительным достижением Кантора была обнаруженная возможность «счёта за «тремя точками»«в ряде положительных целых чисел 1,2,3,…, т. е. введение бесконечных, трансфинитных чисел и построение их арифметики (1,2,3,…,w, w+1,…, где w — первое бесконечное число). Уходящий в необозримые, захватывающие дух дали бесконечного ряд таких чисел — одно из самых прекрасных, воистину божественных построений человеческого разума… Хорошо помню мои школьные годы, изумление, с которым я постигал эти открытия в математическом кружке при МГУ.