«Химия, знаете ли, странная наука. Реакция запущена, а ты должен стоять и ждать. Реакция идёт, а ты стоишь и ждёшь…»[33].
Ко второму курсу интересы Маркова обратились к теоретической физике, и именно по физическому отделению он и закончил в 1924 г. университет (уже переименованный в Ленинградский).
О научном наследии А.А. Маркова, Мл. рассказывать нелегко. Он был учёным редкостной разносторонности, оставившим непреходящий след в самых различных областях математики, механики и физики. Недаром комментарии к его работам в выходящем двухтомнике[34] составлены большим коллективом специалистов весьма разного научного профиля.
А.А. Марков, Мл.
Расставшись с химией, молодой Марков опубликовал циклы работ по небесной механике и теоретической физике. Ему, в частности, принадлежит одна из самых первых публикаций по квантовой механике в СССР. А вот впечатляющее название, указывающее на философские и космогонические интересы молодого учёного: «О выводимости мировой метрики из отношения «раньше, чем»«. Начав с теоретической физики, Марков пришёл к весьма абстрактным областям математики. Эффект «сына Моцарта» не состоялся, Марков, Мл. занял в математическом пантеоне достойное место, рядом со своим отцом. Таланты отца и сына оказались равновеликими. Как счастлив был бы Андрей Андреевич Марков, Старший!
Следует сказать, что занятия абстрактной математикой не прерывали интереса к приложениям. В списке трудов можно найти работу по прикладной геофизике, цитируемую в учебниках, а также работы прикладного характера, явившиеся его вкладом в оборону страны[35]. А.А Марков наравне со всеми стойко переносил тяготы блокады, участвовал в тяжёлых физических работах. Дважды в морозные дни его жизнь была на волоске, когда он терял сознание от истощения на улице. Жена Андрея Андреевича Прасковья Андреевна сдавала, вопреки предостережениям врачей, кровь в блокадном Ленинграде и в конце жизни оказалась в результате прикованной к постели[36].
В первые послевоенные годы внимание Маркова обратилось к основам математики, математической логике. Его пытливый, ничего на веру не принимающий ум всматривался в самый фундамент, на котором было возведено величественное здание математики. Собственно говоря, подобные глубокие раздумья были ему присущи всегда, но теперь они заняли первенствующее место в его работе. Андрей Андреевич приступил к созданию своего главного детища, совершенно нового построения математики, можно сказать к созданию новой математики, которую он назвал конструктивной. Сегодня эту математику называют конструктивной математикой Маркова.
Поводы для сомнений, раздумий были нешуточные. К началу 20-века в основаниях математики наступил очередной кризис, вызвавший большой резонанс в математических кругах. Кризис этот до сих пор не преодолён, и я сомневаюсь, что существует абсолютный ответ на него, какой-то абсолютный выход.
Речь шла о самой природе математики. Что она изучает, что собой представляют математические объекты, в каком смысле они существуют и т. д. Подобные вопросы, разумеется, ставились на протяжении всей истории научной деятельности человека, но в обсуждаемое время они приобрели особенную остроту в связи с появлением теории множеств и универсальным распространением языка этой теории на математику. Теория множеств была почти единолично развита в конце 19-го века великим немецким математиком и мыслителем Георгом Кантором[37], который, кстати, сам употреблял более точное именование «Учение о Множествах». В 1985 г. издательство «Наука» выпустило в серии «Классики Науки» великолепный том переводов трудов Кантора[38]. Книга эта просто бесценный источник для всех, кто интересуется историей и философией науки. Кантор далеко выходит за пределы собственно математики, обращаясь к теологии и обсуждая философскую сторону своих построений не только с математиками[39], но и с богословами. Действительно, способность нашего Духа, как поэтической его части, так и интеллектуальной, выходить за пределы повседневного ограниченного опыта конечного, смертного существа, оперировать с Бесконечностью заставляет вспомнить, по Чьему Образу и Подобию мы были сотворены[40].
Рассказать обо всём этом неподготовленной аудитории нелегко, но я всё же попробую что-нибудь сделать в этом направлении. Опыт, и как мне кажется положительный, такого устного рассказа у меня есть. Незадолго до отъезда в 1987 или в 1988 г. я прочёл доклад по теории множеств на философском семинаре института им. Гнесиных в Москве. Теория множеств для музыкантов! Это было захватывающе интересно (по меньшей мере, для меня самого)[41].
Кантора можно назвать Поэтом Бесконечного. До него Бесконечность представлялась неразличимым бесструктурным целым, противоположным конечному, тому, что можно перечислить, сосчитать. Что-то вроде синих очертаний гор на горизонте. Кантор открыл невероятную по богатству Страну Бесконечного, множество типов бесконечности, находящихся в удивительных отношениях друг с другом. Он определил, в каком смысле две бесконечности одинаковы по «количеству» составляющих их элементов, и в каком одна «больше» другой. Например, оказалось, что смутно ощущаемое превосходство непрерывной бесконечности точек прямой над бесконечностью ряда положительных целых чисел 1,2,3,… может быть выражено точным математическим утверждением (знаменитая теорема Кантора (1873 г.)[42] о несчётности континуума). Первая бесконечность мощнее, больше второй. В то же время Кантор с изумлением обнаружил, что на прямой «столько же» точек, сколько во всём пространстве[43]. Страна Бесконечного таила свои опасности, и главные из них были ещё впереди.
Георг Кантор
Другим удивительным достижением Кантора была обнаруженная возможность «счёта за «тремя точками»«в ряде положительных целых чисел 1,2,3,…, т. е. введение бесконечных, трансфинитных чисел и построение их арифметики (1,2,3,…,w, w+1,…, где w — первое бесконечное число). Уходящий в необозримые, захватывающие дух дали бесконечного ряд таких чисел — одно из самых прекрасных, воистину божественных построений человеческого разума… Хорошо помню мои школьные годы, изумление, с которым я постигал эти открытия в математическом кружке при МГУ.
Предметом изучения в теории множеств, как показывает само название, являются множества. Но что это такое? Простого ответа здесь нет. Понятие это считается первоначальным, неопределяемым, постигаемым интуицией, развиваемой примерами. По-видимому, наилучшей остаётся характеристика этого фундаментального понятия, данная самим Кантором: «Под «множеством» мы понимаем соединение в некое целое М определённых хорошо различимых предметов нашего созерцания или нашего мышления, (которые будут называться «элементами» множества М)»[44]. Можно говорить о множестве яблок на данной яблоне, о множестве слушателей в данном концертном зале и т. д. Математика естественно больше интересуют множества, связанные с его профессиональной деятельностью. Например, можно говорить о множестве всех нечётных совершенных чисел (ср. выше). Никто сегодня не знает, содержит ли это множество хоть один элемент[45].