Хотя школьная математика никак не помогала разобраться в точном значении названия лекции – «Формальная логика и основания математики», оно меня заинтриговало с той минуты, как я прочел приглашение. Я знал, что бывает «формальное отношение к делу» и «обыкновенная логика», но как эти понятия сочетаются? Мне было известно, что основания есть у поступков и у домов, но у математики?
Но я напрасно ждал, пока в заполняющейся аудитории появится тощая, аскетичная фигура моего дяди. Как я должен был бы и сам догадаться, он не приехал. Я знал, что он вообще не принимает приглашений, а теперь узнал, что он не делает исключений даже ради математики.
Первый выступающий, президент Общества, назвал его имя с подчеркнутым уважением:
– Профессор Петрос Папахристос, всемирно известный греческий математик, не сможет, к сожалению, произнести свое приветствие в связи с легким нездоровьем.
Я хитро улыбнулся, гордый тем, что лишь мне во всей аудитории известно, что «легкое нездоровье» является дипломатической болезнью, предлогом, чтобы защитить свой покой.
Но, несмотря на отсутствие дяди Петроса, я остался до конца заседания. Я зачарованно слушал краткое описание жизни юбиляра (как оказалось, Леонард Эйлер сделал эпохальные открытия практически во всех областях математики). А когда на трибуну взошел основной докладчик и стал разрабатывать тему «Формально-логические основы математических теорий», я впал в транс. Пусть я абсолютно ничего не понял, кроме первых нескольких слов его доклада, дух мой купался в незнакомом ранее блаженстве неизвестных определений и понятий, всех символов мира, которые, хоть и были загадочны, поразили меня с самого начала как почти священные в своей недосягаемой мудрости. Плыли и плыли волшебные, неслыханные имена и названия, унося меня возвышенной музыкой: проблема континуума, алеф, Тарский, Готтлоб Фреге, индуктивные рассуждения, программа Гильберта, теория доказательств, риманова геометрия, проверяемость и непроверяемость, доказательство непротиворечивости, доказательство полноты, множество множеств, универсальная машина Тьюринга, автоматы фон Неймана, парадокс Рассела, булевы алгебры… В какой-то момент мне показалось, что в гипнотизирующих волнах речи я различил слова «проблема Гольдбаха», но не успел я сосредоточиться, как тема пошла разворачиваться дальше по новым волшебным путям: аксиомы арифметики Пеано, закон распределения простых чисел, замкнутые и открытые системы, аксиомы, Евклид, Эйлер, Кантор, Зенон, Гёдель…
Как это ни парадоксально, но лекция «Формально-логические основания математических теорий» так поразила мою незрелую душу именно потому, что не открыла мне ни одной тайны из тех, о которых в ней говорилось, – не знаю, был бы тот же эффект или нет, если бы все тайны разъяснялись в подробностях. Я понял наконец значение надписи на входе в Академию Платона: «Удеис агеометрос эйсето» – «Да не войдет сюда не знающий геометрии». Мораль этого вечера выделилась с хрустальной ясностью: математика – это нечто бесконечно более интересное, чем решение квадратных уравнений или вычисление объемов тел, презренные школьные задачки. Ее служители обитают в истинно концептуальных небесах – величественный мир поэзии, куда нет входа нематематическому хои поллои[2] .
Этот вечер в Греческом математическом обществе стал поворотным пунктом моей судьбы. Тогда и там я впервые твердо решил стать математиком.
К концу этого учебного года я получил первое место в школе за успехи в математике. Мой отец похвастался этим перед дядей Анаргиросом – кто бы сомневался!
Это был предпоследний школьный год, и я уже решил, что поеду поступать в университет в Соединенных Штатах.