Восемь этюдов о бесконечности. Математическое приключение

Любовь с третьего урока

Предметом, который больше всего увлекал меня на первом курсе математического факультета университета, была теория множеств. Это название не кажется особенно привлекательным и даже приблизительно не описывало того, что изучалось в этом курсе. Начало не предвещало ничего хорошего: поразительно скучные определения, аксиомы и соотношения. Но уже через два занятия я понял, что этот курс на самом деле должен называться теорией бесконечных множеств, потому что речь в нем идет именно о бесконечном, с демонстративным пренебрежением к завету Галилео Галилея, призывавшего этим не заниматься. Кроме того, обсуждение бесконечности не было затемнено какими-либо метафизическими или теологическими соображениями – а я уже был знаком с такими взглядами, и некоторые из них – например антиномии Канта, концепции Николая Кузанского или мировоззрение Джордано Бруно (на которого Николай Кузанский оказал большое влияние) – меня весьма вдохновляли. Но теперь все было совсем по-другому, и я чувствовал, что передо мной разворачивается нечто не похожее ни на что из того, что я знал раньше. У меня было предчувствие, что мне откроется нечто чудесное.

В лекциях по теории множеств и ее главному герою, бесконечности, в высшей степени увлекательных и интригующих, которые читал мой ныне покойный учитель Мордехай Эпштейн (я чрезвычайно благодарен ему), эта тема раскрывалась в очень точной, чисто математической манере. Внезапно я узнал, что можно сравнивать разные виды бесконечности: что бывают бесконечности бо́льшие и бесконечности меньшие; более того, существует бесконечный спектр бесконечностей! Я был заворожен.

Кто же был тот удивительный человек, настолько близко знакомый с бесконечностью, что он умел распознавать и различать разные ее виды? Этим человеком был Георг Кантор, и теорию множеств, которую он разработал, часто называют в его честь канторовой теорией множеств.

Георг Кантор – человек, видевший бесконечность

Георг Фердинанд Людвиг Филипп Кантор родился в 1845 г. в Санкт-Петербурге. Его научная карьера началась в 1862 г. в Цюрихском университете. Год спустя, когда по смерти отца ему досталось весьма солидное наследство, Кантор перевелся в Берлинский университет, где изучал математику, физику и философию. Лето 1866 г. Кантор провел в Гёттингенском университете, который был в то время главным математическим центром (и оставался таковым вплоть до Второй мировой войны). В 1867 г. Кантор получил в Берлинском университете докторскую степень за работу по теории чисел. Некоторое время он преподавал в этом же городе в школе для девочек, а затем начал работать в Университете города Галле, где и оставался до последних лет жизни. В 1872 г. Кантор познакомился с Рихардом Дедекиндом, и это знакомство положило начало их личной и профессиональной дружбе.

В 1874 г. в жизни Кантора произошли два важных события. Первое – он женился, и этот брак впоследствии дал миру шестерых детей. Вторым событием была публикация его революционной статьи о бесконечных множествах под названием «Об одном свойстве совокупности всех вещественных алгебраических чисел» (Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen)[38]. Ее название не очень-то понятно, и мне кажется, что даже перевод с немецкого не слишком помогает вам осознать, о чем эта статья. Тем не менее нет никаких сомнений, что именно она положила начало изучению теории множеств и в течение 25 лет оставалась краеугольным камнем этой дисциплины.

В этой статье была впервые высказана мысль о том, что может существовать более одного типа бесконечности. Она была опубликована несмотря на острую критику Леопольда Кронекера (1823–1891), бывшего учителя Кантора и чрезвычайно влиятельного в свое время математика. Кантор не нравился Кронекеру ни с личной, ни с профессиональной точки зрения. Дело дошло даже до прямых оскорблений: Кронекер называл его «математическим шарлатаном» и «растлителем молодежи» (тут невозможно не вспомнить, что так же некогда называли и Сократа – в этом можно было увидеть благое предзнаменование).

Я не знаю, чего в теории Кантора больше – философии или богословия, – но уверен, что математики в ней нет.

Леопольд Кронекер

Понятия не имею, почему Кронекер вздумал обвинять Кантора в том, что тот ввел в обсуждение математики богословие, учитывая, что самое знаменитое высказывание Кронекера как раз и касается высших существ:

Бог создал целые числа, все остальное – дело рук человеческих.