Был ли Бог математиком? Галопом по божественной Вселенной с калькулятором, штангенциркулем и таблицами Брадиса - читать онлайн книгу. Автор: Марио Ливио cтр.№ 59

читать книги онлайн бесплатно
 
 

Онлайн книга - Был ли Бог математиком? Галопом по божественной Вселенной с калькулятором, штангенциркулем и таблицами Брадиса | Автор книги - Марио Ливио

Cтраница 59
читать онлайн книги бесплатно

Я пытался убедить его, что таких вопросов никогда не задают, что большинство вопросов и правда чистая формальность и что он с легкостью на них ответит, что самое сложное, что могут спросить, – это какое в нашей стране правительство и как называется высшая судебная инстанция и тому подобное. Так или иначе, он продолжал штудировать Конституцию.

Тут произошел интересный поворот. Гёдель не без волнения сообщил мне, что при изучении Конституции нашел в ней, к своему огорчению, внутренние противоречия и теперь способен доказать, что можно на совершенно законных основаниях стать диктатором и установить фашистский режим, хотя это не входило в намерения тех, кто составлял Конституцию. Я сказал ему, что подобное развитие событий крайне маловероятно, даже если предположить, что он прав, в чем я, конечно, сомневался. Однако он не отступал, поэтому у нас на эту тему было много разговоров. Я пытался уговорить его не поднимать подобные вопросы на экзамене в трентонском суде и рассказал об этом и Эйнштейну – тот ужаснулся, что в голову Гёделю пришла подобная мысль, и тоже сказал ему, что такие вещи не должны его тревожить и их не стоит обсуждать.

Шли месяцы, и вот наконец прислали извещение о дате экзамена в Трентоне. В тот самый день я заехал за Гёделем на машине. Он сел на заднее сиденье, и мы поехали забрать Эйнштейна к нему домой на Мерсер-стрит, а потом покатили в Трентон. По дороге Эйнштейн приобернулся и спросил.

– Ну что, Гёдель, вы как следует подготовились к экзамену?

Разумеется, от этого замечания Гёдель страшно разволновался – Эйнштейн именно этого и добивался и теперь с большим интересом наблюдал за тревогой у Гёделя на лице. Когда мы прибыли в Трентон, нас проводили в большой зал, и хотя обычно свидетелей опрашивают отдельно от кандидата, на сей раз из-за присутствия Эйнштейна было сделано исключение, и нас пригласили сесть вместе – Гёдель посередине. Экзаменатор спросил, считаем ли мы, что из Гёделя получится достойный гражданин, сначала у Эйнштейна, затем у меня. Мы заверили его, что так, безусловно, и есть, что Гёдель человек выдающийся и так далее. Тогда он повернулся к Гёделю и спросил.

– Итак, мистер Гёдель, откуда вы?

Гёдель: Откуда я? Из Австрии.

Экзаменатор: Какое правительство было у вас в Австрии?

Гёдель: Республика, но конституция ее была такова, что в конце концов она превратилась в диктатуру.

Экзаменатор: О! Какой кошмар! В нашей стране такого быть не может.

Гёдель: Нет, может, и я вам это докажу.

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

– Наверное, очень тяжело, когда вам постоянно так досаждают.

Эйнштейн ответил.

– Между прочим, это просто пережитки каннибализма.

Я растерялся и спросил.

– Как так?

Он сказал.

– Просто раньше требовали твоей крови, а теперь – твоих чернил.

Потом мы вышли, поехали обратно в Принстон, и, когда мы оказались на углу Мерсер-стрит, я спросил Эйнштейна, куда он хочет – в Институт или домой. Он ответил.

– Отвезите меня домой, все равно теперь уже не поработаешь.

А потом процитировал американскую политическую песню (к сожалению, слов я не помню, но, возможно, они сохранились у меня где-то в заметках, и я, конечно, узнаю их, если кто-нибудь подскажет). Тогда мы покатили обратно к дому Эйнштейна, и тогда он снова повернулся к Гёделю и сказал.

– Ну, Гёдель, это был ваш предпоследний экзамен.

Гёдель: Господи, неужели будет еще один?

Он тут же снова перепугался.

И тогда Эйнштейн сказал.

– Гёдель, последний экзамен ждет вас, когда вы сойдете в могилу!

Гёдель: Но в могилу же сами не сходят, Эйнштейн!

На что Эйнштейн ответил.

– Гёдель, это была просто шутка! – и с этими словами ушел.

Я отвез Гёделя домой. Все были очень рады, что это страшное испытание наконец позади, а голова у Гёделя снова стала свободной для занятий проблемами логики и философии.

В дальнейшем у Гёделя постоянно случались периоды серьезного душевного расстройства, и в конце концов он отказался принимать пищу. Умер Гёдель 14 января 1978 года от слабости и истощения.

Вопреки распространенному заблуждению, теоремы о неполноте Гёделя не предполагают, что некоторые истины так и останутся навеки непознанными. Кроме того, из этих теорем не следует, что человеческие способности к познанию так или иначе ограниченны. Нет, теоремы всего лишь показывают слабости и недостатки формальных систем. Поэтому, вероятно, для вас будет неожиданностью узнать, что несмотря на широчайшее влияние теорем на философию математики, их воздействие на эффективность математики как механизма построения теорий свелось к минимуму. Более того, именно в десятилетия непосредственно до и после публикации доказательства Гёделя математика добилась самых выдающихся успехов в создании физических теорий Вселенной. Ее вовсе не отмели за ненадежность – напротив, математика и ее логические выводы оказывалась все более необходимой для понимания устройства мироздания.

Однако это означало, что загадка «необъяснимой эффективности» математики стала еще заковыристее. Задумайтесь об этом. Представьте себе, что было бы, если бы логицисты одержали полную победу. Это означало бы, что математика целиком выросла из логики, буквально из законов мышления. Но как такая дедуктивная наука могла бы столь чудесно объяснять природные явления? Какова связь формальной логики (вероятно, стоит даже сказать «человеческой формальной логики») и космоса? После Гильберта и Гёделя ответ на этот вопрос яснее не стал. Осталась лишь неполная формальная «игра», описанная языком математики [143]. Каким образом модели, построенные на такой «ненадежной» системе, порождают глубочайшие открытия, касающиеся Вселенной и ее механизмов? Прежде чем подступиться к этим вопросам, мне придется их немного заострить, изучив несколько частных случаев, показывающих, сколь тонкая это материя – эффективность математики.

Вернуться к просмотру книги Перейти к Оглавлению Перейти к Примечанию