Значимые фигуры - читать онлайн книгу. Автор: Йен Стюарт cтр.№ 71

* * *

Отец Гёделя Рудольф был управляющим текстильной фабрикой в австро-венгерском Брюнне (ныне это город Брно в Чешской Республике). С раннего детства и до достаточно зрелого возраста Курт был очень близок с матерью Марианной (урожденной Хандшух). Рудольф был протестантом, Марианна – католичкой; Курт был воспитан в протестантской вере. Он считал себя глубоко верующим человеком, но верил в личного Бога, вне рамок традиционной религии. Он писал, что «религии по большей части дурны, но религия – нет». Он регулярно читал Библию, но не бывал в церкви. Позже в его неопубликованных бумагах была обнаружена попытка математического доказательства Бытия Божия при помощи модальной логики. В детстве у него было семейное прозвище г-н Почему (Herr Warum), о причинах появления которого вы можете догадаться сами. В семь или восемь лет он перенес приступ ревматической лихорадки и, хотя полностью оправился, всю жизнь был уверен, что болезнь разрушающе подействовала на его сердце. Здоровье часто подводило его и оставалось достаточно хрупким до конца его жизни.

С 1916 г. Гёдель учился в Немецкой государственной гимназии, где получал высокие оценки по всем предметам, особенно по математике, языкам и религии. После распада Австро-Венгерской империи в конце Первой мировой войны он автоматически стал гражданином Чехословакии. В 1923 г. Гёдель поступил в Венский университет и поначалу не мог решить, изучать ему математику или физику. Книга Бертрана Рассела «Введение в математическую философию» побудила его остановиться на математике, а основным научным интересом стала математическая логика. Ключевой момент в его карьере наступил в 1928 г., когда он попал в Болонье на лекцию Давида Гильберта на 1-м Международном конгрессе математиков, проводившемся после окончания Первой мировой войны. Гильберт тогда рассказал о своих взглядах на аксиоматические системы, особенно на их непротиворечивость и полноту. В 1928 г. Гёдель прочел «Принципы математической логики» Гильберта и Вильгельма Аккермана, где излагалась техническая основа Гильбертовой программы разрешения этих вопросов. В 1929 г. он выбрал тему для своей докторской диссертации, которую готовил под руководством Ханса Хана. Он доказал то, что мы сегодня называем теоремой Гёделя о полноте: что исчисление предикатов (глава 14) является полным. То есть любая верная теорема может быть доказана, любая неверная теорема – опровергнута, и никаких других вариантов не существует. Однако исчисление предикатов – очень ограниченная область и не годится в качестве фундамента для всей математики. Программа Гильберта была сформулирована в рамках гораздо более богатой аксиоматической системы.

В том же году Гёдель стал гражданином Австрии. (В 1938 г., когда Германия аннексировала Австрию, его гражданство автоматически сменилось на германское.) В 1930 г. он получил степень доктора. В 1931 г. – разрушил программу Гильберта, опубликовав статью «О формально неразрешимых утверждениях Principia Mathematica и аналогичных систем», где доказывалось, что ни одна система аксиом, достаточно богатая, чтобы формализовать математику, не может быть логически полной, а непротиворечивость такой системы доказать невозможно. (О Principia Mathematica я расскажу вам чуть позже.) В 1932 г. он прошел хабилитацию, а в 1933 г. стал приват-доцентом Венского университета. Мучительные события, описанные выше, произошли именно в этот период его жизни. Чтобы отдохнуть от нацистской Австрии, он посетил Соединенные Штаты, где встретился и подружился с Эйнштейном.

В 1938 г. Гёдель женился на Адель Нимбурски (урожденной Поркерт), с которой познакомился в ночном клубе Der Nachtfalter в Вене одиннадцатью годами ранее. Она была на шесть лет старше и уже успела побывать замужем, к тому же его родители были против, но он поступил по-своему. Когда в 1939 г. началась Вторая мировая война, Гёдель испугался, что его могут призвать в германскую армию. По идее, слабое здоровье должно было ему помочь, но прежде его уже принимали за еврея, так кто даст гарантию, что в следующий раз его не примут за здорового человека? Он ухитрился получить американскую визу и вместе с женой отправился в США через Россию и Японию. Они благополучно прибыли туда в 1940 г. В том же году Гёдель доказал, что гипотеза о континууме Кантора вполне согласуется с обычными теоретико-множественными аксиомами для математики. Он получил работу в Институте высших исследований в Принстоне – сначала в качестве ординарного исследователя, затем на постоянной должности, а после, с 1953 г., профессора. Хотя в 1946 г. он прекратил публиковаться, исследования не оставил.

В 1948 г. Гёдель получил американское гражданство. Судя по всему, он был уверен, что обнаружил в конституции США логическую нестыковку, и пытался объяснить свою находку судье, который очень разумно не клюнул на эту наживку. Близкая дружба с Эйнштейном побудила его поработать над теорией относительности. В частности, он нашел пространство-время, в котором имеется замкнутая времениподобная кривая – математический эвфемизм для машины времени. Если нечто движется по такой кривой в пространстве и времени, его будущее плавно переходит в его прошлое. Это как находиться в Лондоне в 1900 г., затем переместиться на 20 лет в будущее – и обнаружить, что ты вновь в Лондоне в 1900 г. Позже замкнутые времениподобные кривые стали горячей темой не столько потому, что могли потенциально привести к созданию машины времени, но и потому, что помогли пролить свет на ограничения общей теории относительности и намекнули на возможную необходимость в новых законах физики.

В последние годы жизни здоровье Гёделя, никогда не отличавшееся крепостью, ухудшилось. Его брат Рудольф сообщал, что он

Что произошло далее, вам уже известно. В свидетельстве о смерти причиной смерти названо «недоедание и истощение, вызванное расстройством личности». Истощение возникает в результате недостатка пищи. Он весил тогда всего 30 кг.

* * *

С древнейших времен математика считалась ярким примером того, что просто верно – абсолютная истина, без всяких «если» или «но». Два плюс два будет четыре: берите, что дают, и не жалуйтесь. Единственным конкурентом математики в притязаниях на абсолютную истину была религия (конфессия и секта на выбор верующего, разумеется), но даже здесь у математики имелось тайное преимущество. Религии, как сказал Терри Пратчетт, истинны «на заданную величину истинности». Математика могла доказать свою истинность.

Когда философы, логики и математики, интересы которых влекли их в этом направлении, начали глубже задумываться о том, что подразумевает такой тип абсолютной истины, они поняли, что он до некоторой степени иллюзорен. Два плюс два равно четырем для натуральных чисел, но что, собственно, представляет собой число? Ну и заодно, что такое «плюс» и «равно»? Математики ответили на этот вопрос тем, что определили континуум действительных чисел, но Кронекер считал их уже «делом рук человеческих», считая, что только целые числа даны человеку Богом. Трудно понять, как произвольное создание человеческого разума может представлять абсолютную истину. В лучшем случае это результат договоренности людей.