Идеи с границы познания. Эйнштейн, Гёдель и философия науки

Чтобы выйти из этого тупика, можно, например, переключиться с Платона на Аристотеля. Пусть в нашем мире и нет совершенных математических сущностей, зато вдоволь несовершенных приближений. Мы можем грубо рисовать мелом на доске круги и линии, можем складывать два яблока и три яблока, и хотя яблоки не идентичны, все равно получится пять яблок. Однако, абстрагировавшись от подобного восприятия заурядных ощущаемых вещей, мы приходим к интуитивному представлению об основных математических понятиях. А остальное – дело логики. Таково аристотелевское представление о математике, и оно вполне согласуется со здравым смыслом. Но есть один воображаемый математический объект, с которым оно справиться не может, и это – бесконечность. У нас нет опыта восприятия бесконечности. Как и восприятия чего-то даже отдаленно на нее похожего. Да, у нас есть ощущение, что считать можно неопределенно долго, поскольку, какое бы большое число мы ни выдумали, всегда можно получить число еще больше, прибавив к нему 1. И, наверное, мы можем вообразить, как бесконечно тянется время или расширяется пространство. Но настоящая, «полная» бесконечность, в противоположность просто «потенциальной» – нет, с таким мы в мире природы никогда не сталкиваемся.

К идее бесконечности с древности относились с подозрением, если не с ужасом. Парадоксы Зенона вроде бы показывали, что если пространство можно бесконечно делить на бесконечно малые фрагменты, движение становится невозможным. Фома Аквинский утверждал, что бесконечно большие числа противоречат сами себе, поскольку числа получаются при счете, поэтому бесконечную коллекцию собрать никогда не получится. Галилей отмечал, что бесконечность нарушает принцип «часть меньше целого». Размышлять о бесконечном оставили богословам, а те отождествили ее с божественным. Паскаль, чья семьдесят вторая «Мысль» – это ода бесконечности в прозе, полагал, что понять бесконечность нельзя, ею можно лишь восхищаться. И даже относительно недавно, в 1831 году, Гаусс объявил, что «пользоваться бесконечным множеством как реальной сущностью… в математике недопустимо».

Однако стало очевидно, что без бесконечности математикам не обойтись. Даже «прикладная» математика – математическая физика, выросшая из дифференциального и интегрального исчисления, которое изобрели Ньютон и Лейбниц, – не лишена фундаментальных недочетов, которые может исправить только строгая теория множеств, в том числе бесконечных. Нужную теорию обеспечил лишь в конце XIX века Георг Кантор, немецкий математик, родившийся в России. Кантор не собирался описывать свойства бесконечности ради них самих, напротив, он утверждал, что эта идея была ему «логически навязана, почти что против моей воли».

На разработку теории бесконечных множеств Кантора вдохновила проблема «дрожащей струны», название которой звучит очень непритязательно. А в результате у него после двух десятков лет интеллектуальных мучений получилось нечто отнюдь не очевидное – последовательность бесконечностей все более высокого порядка, бесконечная их иерархия, восходящая к неведомому пределу, который Кантор назвал Абсолютом. Кантор решил, что видение ниспослано ему свыше, а если он передаст его миру, то станет «посланником Божиим» (по словам его биографа Джозефа Даубена).

Поначалу новую теорию Кантора встретили неоднозначно. Леопольд Кронекер, его бывший учитель, назвал ее «мошенничеством» и «математическим безумием», а Давид Гильберт, напротив, заявил: «Никто не изгонит нас из рая, который создал нам Кантор». Бертран Рассел в автобиографии вспоминал, что «ошибочно считал все доводы Кантора заблуждениями», но затем понял, что «заблуждался только я».

В некоторых случаях реакция на теорию Кантора зависела от государственных границ. Французские математики в целом настороженно относились к ее метафизическому флеру. Анри Пуанкаре, который соперничал с немецким математиком Гильбертом за звание величайшего математика своего времени, заметил, что высшие бесконечности «отдают формой без содержания, что претит французскому духу». А русские математики, напротив, приняли свежеоткрытую иерархию бесконечностей с восторгом.

Почему же французы и русские отнеслись к теории Кантора настолько по-разному? Некоторые наблюдатели списали все на французский рационализм в противоположность русскому мистицизму. К такому объяснению склонялся, например, Лорен Грэхем, американский историк науки, в прошлом преподаватель Массачусетского технологического института, и Жан-Мишель Кантор, математик из Математического института де Жюссе, в своей книге «Имя для бесконечности» (Graham, L., Kantor, J.-M., Naming Infinity). И именно русские мистики оказались двигателями математического прогресса, утверждают Грэхэм и Кантор. В интеллектуальной жизни французских математиков, замечают они, господствовали Декарт, для которого ясность и отчетливость были гарантией истинности, и Огюст Конт, который требовал очистить науку от метафизических спекуляций. Представления Кантора о нескончаемой иерархии бесконечностей явно претили бы обоим.