Как мы видим, Эйнштейн был человеком исключительно твердых убеждений, мыслящим совершенно независимо. Будь такая черта характера у другого человека, она могла бы иметь отрицательные последствия, а в другую историческую эпоху – привести к беде. Только поразительная научная интуиция позволяла Эйнштейну с предельной стойкостью поддерживать идеи, не имевшие в то время признания, но которые впоследствии приводили к перевороту в современной физике. Утверждение квантовой механики еще не означает, что в науке уже сказано последнее слово, будущее может преподнести нам всякие сюрпризы.
Слава, пришедшая к Эйнштейну, не уничтожила его чувство меры, присущую ему скромность. Хотя он наверняка сознавал, какое значение имели для научного мира его идеи, он всегда реалистически смотрел на вещи. Чувство юмора, никогда его не оставлявшее, спасало его от самомнения, охватывавшего других людей, ставших знаменитыми за гораздо менее значительные заслуги.
Мне самому не выпало счастья лично встречаться с Эйнштейном; когда в 1955 г. я впервые оказался в Принстоне, он был, увы, уже близок к смерти. Некоторые из его бывших сотрудников недавно вспоминали в Принстоне совместно прожитые годы и длинный путь, пройденный ими в направлении к объединенной теории. По воспоминаниям, Эйнштейн был личностью исключительно человечной; он никогда не использовал свою славу, чтобы навязать свое мнение, и всегда был на равных со своими собеседниками.
Исследование деятельности Эйнштейна только начинается, но тем не менее уже теперь ясно, что Альберт Эйнштейн останется в истории как один из величайших деятелей науки и культуры всех времен, сравнимый с Ньютоном и Галилеем. Он был и остается популярным и у молодежи, что представляет собой редкость в наш век ложных мифов и развращенных вкусов.
Австрийский математик Курт Гедель родился в Брно (Чехословакия) на двадцать семь лет позже Эйнштейна и получил физическое и математическое образование в Венском университете. Его научные интересы частично пересекались с интересами Эйнштейна. Скромный математик-одиночка Гедель, в зрелом возрасте также приехавший в Принстонский институт перспективных исследований, внес важнейший вклад в основы математики, настолько революционный, что раздвинул границы этой дисциплины и оказал существенное влияние на общее мировоззрение и культуру 20 века.
Обязательный школьный курс геометрии во многом повторяет «Начала» Евклида, появившиеся около двух тысяч Лет тому назад; в них приведены некоторые утверждения (аксиомы) относительно свойств точек и прямых линий в плоскости, из которых следует справедливость всяких полезных и важных геометрических предположений (теорем). Одна из аксиом Евклида утверждает, что через две точки проходит одна и только одна прямая линия; другая аксиома касается параллельных прямых и т.д. По своей природе аксиомы просты и недоказуемы, их справедливость принимается как нечто очевидное и не требующее доказательств. Интерес к деятельности Евклида вызван тем, что он сумел представить всю геометрию с помощью небольшого числа верных и основополагающих утверждений, выраженных весьма ясно и в лаконичной форме.
Успех метода Евклида побудил математиков последовать примеру великого грека в других разделах науки о числах. Один из этих математиков, житель Пьемонта Джузеппе Пеано, впервые дал формулировку арифметики, используя аксиомы, казавшиеся до смешного очевидными (существует нуль, за каждым числом следует еще число...), но на самом деле удивительно исчерпывающие. Однако ни сам Пеано, ни Гильберт и его школа, продолжившие работу, начатую пьемонтцем, не смогли доказать полноту и состоятельность аксиом Пеано, да и других подобных утверждений (я прошу прощения за предельно упрощенный рассказ о том интересном времени). «Полнота» указывает на то, что любая настоящая теорема арифметики может быть выведена из этих аксиом; «состоятельность» предполагает отсутствие парадоксов, когда могут быть выведены как некоторые утверждения, так и утверждения, противоположные им.
Какими были бы для математической мысли последствия успеха Гильберта и его школы? Если бы, как считал Гильберт, вся математика сводилась к системе аксиом, то эти последние можно было бы ввести в вычислительную машину, способную по нашему приказу напечатать любые утверждения, следующие из этих аксиом. При этом все возможные теоремы выдавались бы машиной, что делало бы работу математика бессмысленной, сводя ее к роли оператора вычислительного центра. Был бы создан математический робот, мы достигли бы вершины абстрактной логики и имели электронного оракула, способного ответить на любой вопрос.
Но, даже если отвлечься от затрат бумаги, необходимой для того, чтобы напечатать миллионы ненужных (хотя и верных) теорем, дойти до вершины все равно не удалось бы. Появившаяся в 1931 г. работа Геделя, произведя эффект разорвавшейся интеллектуальной бомбы, заставила фон Неймана прервать курс лекций в Геттингене, а Гильберта прекратить работу над своей программой. Гедель утверждал, что состоятельность и полноту какой-либо логической системы можно установить, погружая исходную систему в систему более развернутую. Правда, Гедель показал, что при этом проблема состоятельности и полноты становится более сложной из-за усложнения логического языка, что приводит к спирали усложнений, к нескончаемой логической эскалации. Именно это и происходит также, когда человеческий разум занят своим привычным делом – размышлением.
Машина, работа которой основана на аксиомах Пеано, окажется неспособной ответить на вполне определенную последовательность вопросов. Но каковы эти вопросы, Гедель не сообщает, Во всяком случае, можно предположить, что неразрешимой в геделевском смысле является следующая головоломка. Построим последовательность целых чисел, начинающуюся с любого целого числа, причем каждое последующее число должно быть равно половине предыдущего, если оно четное, или предыдущему, умноженному на три и сложенному затем с единицей, если это предыдущее число нечетное. Повторяя процедуру вычисления последующих чисел, мы в конце концов построим всю последовательность. Если начать с цифры 5, то мы получим следующую последовательность: 5, 16, 8, 4, 2, 1. Итак, мы пришли к единице. Оказывается, что независимо от числа, с которого начинается последовательность, мы всегда приходим к единице, хотя доказательства этого факта не существует. Возможно, это связано с нашей неспособностью найти его, но может быть, указывает на недостатки, присущие фундаментальным основам арифметики.
Результат, полученный Геделем, выходит за пределы узких рамок арифметики, оказывая влияние также на кибернетику. Немного времени спустя после открытия Геделя математик Тьюринг заметил, что все вычислительные машины могут быть заменены всего одним простейшим и даже очень медленным калькулятором, так как, если не ограничивать используемую память, такой калькулятор воспринимает программы произвольной длины и сложности. в принципе можно составить бесчисленное множество таких программ, но, к счастью, их можно объединить и хранить вместе и составить полный их перечень. Не все программы будут полезны, а из-за некоторых машина может даже входить в режим непрерывно и безостановочно повторяющихся вычислений. Если же все работает нормально, то в соответствии с приказами в программе машина в ответ на введенное в нее число печатает другое, т.е. производит вычисления: например, может напечатать квадрат какого-нибудь числа, удвоить его или вывести число, следующее за числом, введенным первоначально. в общем случае машина может вычислять невероятно сложные функции введенного в нее исходного числа.
По определению функции, вычисляемые «машиной Тьюринга», являются «вычислимыми», поэтому инструкции по их вычислению могут быть переданы разным машинам без опасения, что возникнут ошибки или неясности. Вместе с тем существуют функции, не поддающиеся вычислению, более того, они составляют подавляющее большинство, хотя трудно дать определение такой функции. Как ни странно, но пример невычислимой функции следует прямо из теории «машины Тьюринга». Присвоим значение «единица» целому числу, соответствующему нормально работающей машине; «нуль», напротив, будет соответствовать машине, вошедшей в режим безостановочных повторных вычислений. Таким образом мы задали невычислимую функцию, и доказательство этого повторяет доказательство, данное Геделем для логических систем. Зная эту функцию, мы можем сказать заранее, не прибегая к запуску в работу самой программы, остановится ли соответствующая машина или будет работать вхолостую.
