Выдающийся логик и математик XX века К.Гедель (1906-1978) известен в научном мире, главным образом, благодаря теоремам о неполноте, которые являются шедеврами математики, а также благодаря модели вращающейся вселенной, в которой совпадают удаленное прошлое и удаленное будущее. Будучи специалистом в области теории доказательств, он смог сделать модальную логику серьезным научным инструментом благодаря демонстрации полезности модальных операторов в исследовании оснований математики.
Однако за рамками научного рассмотрения его идей, как правило, остаются аспекты его мысли, которые имеют непосредственное отношение к богословию. Биография Геделя, написанная Хоа Вангом[1], который в течение длительного времени общался с Геделем, свидетельствует о том, что Гедель интересовался религиозными вопросами. Ванг подчеркивает, что невозможно отделить научный импульс Геделяот связанных с ним религиозных вопросов. К. Гедель описывал свою собственную философию как «рационалистическую, идеалистическую, оптимистическую и теологическую»[2]. По словам другого биографа К.Геделя Дж. Доусона, центральными для жизни и мысли К. Геделя были несколько убеждений: 1) вселенная является организованной разумным образом и постижимой; 2) вне физического мира существует ментальная область; 3) концептуальное понимание осуществляется посредством интроспекции...»[3] Убежденность в рациональной постижимости мироздания была основанием философского теизма Геделя, «согласно которому порядок мира отражает порядок высшего разума, руководящего им»[4].
Среди ученых, находившихся под влиянием К.Геделя, был его друг Альберт Эйнштейн. С 1940 по 1955 они были коллегами в институте прикладных исследований в Принстоне. Один из основателей теории игр Оскар Моргенштерн свидетельствует, что когда Эйнштейн потерял энтузиазм к своей собственной работе, он приходил на работу для того, чтобы «иметь привилегию идти домой вместе с Куртом Геделем»[5]. Как отмечал Э. Штраус, ассистент Эйнштейна в Принстоне: «Единственным человеком, который был в течение последних лет лучшим другом Эйнштейна, и в некотором смысле странным образом похожим на него, был К. Гедель, величайший логик. Они были весьма различны почти во всем — Эйнштейн общительный, счастливый, улыбчивый и здравомыслящий, а Гедель предельно важный, очень серьезный, совершенно одинокий и недоверчивый к здравому смыслу как средству достижения истины. Но они имели общее качество: оба шли прямо и искренне к вопросам, лежащим в самом центре вещей»[6]. Однако, несмотря на дружбу с Эйнштейном, Гедель имел свой специфический взгляд на религию и богословие.
Как свидетельствует переписка К.Геделя с Б.Д. Грандианом, он был самостоятельным мыслителем-теистом, и проявлял особый интерес к исследованию онтологического аргумента бытия Божия. Важным аспектом философской мысли Геделя является то, что он был не только теистом, но и персоналистом. Гедель отвергал представление о Боге как безличном существе, каким был Бог для Эйнштейна. Эйнштейн свидетельствует о себе, что верит в «Бога Спинозы, который открывает себя в гармонии всего, что существует, а не в Бога, который заботится о судьбе и действиях людей»[7]. По этому поводу К.Гедель заметил: «Религия Эйнштейна является слишком абстрактной, как у Спинозы и в индийской философии. Бог Спинозы меньше, чем личность; мой Бог больше чем личность; поскольку Бог может играть роль личности. Могут существовать духи, которые не имеют тела, но могут общаться с нами и оказывать влияние на мир»[8]. По мнению Геделя, Бог, которому недостает способности «играть роль личности», лишен всемогущества и, таким образом, нарушает определение, обычно принимаемое в качестве определения Бога. Следовательно, если Бог существует, полагал Гедель, тогда Он должен быть по крайней мере способен играть роль личности.
Как уже отмечалось, Гедель внес вклад не только в развитие математики и логики, но также и в области космологической теории. В 1949 Гедель выразил свои идеи в эссе, которое, по мнению А.Эйнштейна, являлось важным вкладом в общую теорию относительности, особенно в анализ концепции времени. Предложенная Геделем модель вращающейся вселенной, в которой совпадают удаленное прошлое и удаленное будущее, подвигла к спорам относительно возможности, или, напротив, невозможности существования такой вселенной. Гедель, фактически, показал, что в рамках определенных моделей вселенной, удовлетворяющих уравнениям общей теории относительности, становится теоретически возможным путешествие во времени. Гедель считал, что время, «эта таинственная и одновременно самопротиворечивая сущность, которая формирует основу мира и нашего собственного существования»[9], в конце концов, станет величайшей иллюзией. Время в классическом смысле «когда-то» перестанет существовать, и наступит иная форма бытия, которую можно назвать вечностью. Неудивительно, что такое представление о времени привело К.Геделя к убежденности в существовании жизни за гробом. Он писал: «Я убежден в посмертном существовании, независимо от теологии. Если мир является разумно сконструированным, тогда должно быть посмертное существование»[10].
В современном мире атеисты и агностики обычно акцентируют внимание на том, что их философия является рациональной, а теистические выводы отбрасываются ими как психологическое убежище невеж или самообман. Это можно видеть на примере таких современных популяризаторов науки как Р.Докинз и Д.Деннет. Сторонники этой позиции рассматривают теизм как в высшей степени иррациональное убеждение, входящее в радикальный конфликт с доводами разума. Однако К.Гедель, принадлежавший к долгой традиции европейского рационального богословия, восходящей к Р.Декарту и Г.В.Лейбницу, считал возможным построить рациональную теологию.
Внимательный взгляд на основания физики и математики, также как на историю этих дисциплин приводит к выводу, что вера является общим знаменателем науки, математики и теологии. Рассмотрим природу аксиом любой формальной системы, например математической. Как только произведен выбор аксиомы, принятые правила вывода могут быть введены в компьютер, чтобы проверить достоверность любого аргумента, но сами аксиомы при этом остаются произвольными в том смысле, что их выбор основан на некоторых довольно произвольных предположениях. Аксиомы являются полезными, но они могут не иметь статуса необходимой истинности. Смена аксиом изменяет систему и совокупность истинных предположений. Если в настоящее время математики пользуются «систему аксиом, для которой никто не может дать убедительной демонстрации логичности»[11], ситуация становится еще более обескураживающей. Тем не менее, большинство мыслителей нового времени полагали и продолжают считать, что математика является наиболее надежным средством для получения знания. Философ науки Эдвард Нельсон называет такое убеждение «пифагорейской религией»[12].
Вера играет жизненно важную роль и в естествознании. При рассмотрении природы энергии или материи законы физики принимаются как аксиоматические. Если мы верим, что «мир является рациональным» и упорядоченным, как полагал Гедель, тогда принятие законов физики как аксиоматики может быть приемлемым; однако как и в богословии, вера остается предварительным шагом к пониманию. Сегодня большинство ученых утверждают, что даже если они не могут полностью объяснить происхождение вселенной, жизни, природу сознания или природы времени, ответ на эти вопросы не должен подразумевает никакой апелляции к Богу. Однако такой подход, отрицающий веру в трансцендентное, тем не менее, основан на иной вере, вере в то, что процесс познания рано или поздно приведет к положительному результату. При внимательном рассмотрении становится очевидно, что вера играет существенную роль в развитии или, напротив, разрушении знания. К.Гедель считал, что вера не может рассматриваться как излишнее предубеждение, и акцентировал внимание на том, что религия имеет положительное содержание. Однако для него наличие веры в интеллектуальном познании не означало отказа от рационального обоснования веры. Он со всей серьезностью принял вызов Л.Виттгенштейна, акцентировавшего внимание на необходимости рациональной аргументации в пользу существования Бога. В качестве инструментария для исследований онтологического аргумента, впервые предложенного Ансельмом Кентерберийским в «Прослогионе», Гедель использует модальную логику. Однако, боясь насмешек своих коллег, Гедель не публиковал при жизни статей, посвященных онтологическому аргументу бытия Божия.
Каким образом математик занялся вопросом о существовании Бога? Гедель был мистиком, чьи математические исследования получили свое вдохновение из неоплатонической философии. В этом отношении Гедель имел много общего как со средневековыми богословами и философами, так и математиками XX века. Однако, более глубокая причина того, что Гедель занялся онтологическим аргументом, заключается в том, что его наиболее сложные версии изложены в терминах так называемой модальной логики, области логики, которая была знакома средневековым схоластам, и аксиоматизирована К.А. Льюисом. Оказалось, что модальная логика является не только полезным инструментом, с помощью которого можно обсуждать вопрос о бытии Бога, но также полезным языком для теории доказательств, исследования того, что может и не может быть доказано в математических системах.
Для Геделя, в отличие от большинства его современников, было очевидно, что рациональная теология может быть аксиоматизирована аналогично математической или физической теории. В этой связи является показательным диалог, который состоялся между К. Геделем и Р. Карнапом 13 октября 1940 г. В этой дискуссии Гедель акцентирует внимание на том, что «можно установить точную систему постулатов, использующих концепции, которые обычно рассматривают как метафизические: Бог, душа, идея»[13]. Причем эта «теория», по мнению Геделя, будет иметь наблюдаемые следствия. Фактически, он предлагает построение некой мета-теории, которая включает и рациональную теологию: «Такая теория должна привести к следствиям, которые могут быть доступны эмпирически, но форма центральных теоретических концепций внутри такой теории должна простираться гораздо дальше объективно верифицируемого»[14]. Карнап признает в дискуссии, что современная физика имеет логическую структуру, аналогичную представленной Геделем для теологии: физические теории содержат концепции, такие как электрон, волновая функция и электромагнитное поле, которые позволяют вывод наблюдаемых и измеримых фактов, хотя эти абстрактные концепции не могут быть определены исключительно в терминах методов и результатов наблюдения, то есть, исключительно на эмпирической основе[15]. Карнап признает, что утверждение Геделя является корректным, но только с чисто формальной точки зрения; его понятие о теоретических концепциях в теологии более не противоречит понятиям теоретических терминов, скажем в физике, на строго логических или эпистемологических основаниях. Но это формальное рассмотрение является, по мнению Карнапа, недостаточным, поскольку оно не решает, какая концептуализация является плодотворной для прогресса знания, а какая нет. Наука, по мнению Карнапа, гораздо лучше любой теологии, которая может быть развита в направлении, предложенном Геделем. Гедель отвечает Карнапу, что этот вопрос является эмпирическим, и ответ не может быть известен априори. Карнап соглашается, однако продолжает утверждать, что никакой ученый не будет рассматривать попытку в этом направлении как заслуживающую внимания. Гедель не соглашается, акцентируя внимание на том, что решительный прогресс в науке часто зависит от изменения направления. Он указывает на то, что парадигмальные изменения направлений часто доказывали плодотворность в развитии знания, и он настаивает, что попытка по отношению к теологии должна быть сделана. Неудивительно, что Гедель уже в 1940 г. предпринял свои первые попытки построения онтологического доказательства бытия Божия.
Онтологический аргумент бытия Божия впервые был предложен Ансельмом Кентерберийским в работе «Прослогион». Ансельм определяет Бога как Существо, больше Которого нельзя ничего помыслить. Он утверждает, что даже атеист должен согласиться с тем, что существование Бога возможно, но для атеиста такое существование является просто возможной ложью. Как художник мыслит свое творение до воплощения его на картине, атеист может утверждать, что он может помыслить мир, в котором Бог существует, даже если этот мир не является истинным миром. Онтологический аргумент Ансельма в сжатой форме можно представить следующим образом: «Бог, по определению, является тем, больше чего нельзя ничего помыслить. Бог существует в мышлении. Но существование в реальности больше, нежели существование только в мысли. Следовательно, Бог должен существовать».
В XVII веке, Рене Декарт, используя аналогию с евклидовой геометрией, продолжает развивать онтологическое доказательство. Он утверждает, что «существует не меньшее противоречие в представлении Высшего Совершенного Бытия, которому недостает существования, чем в представлении треугольника, сумма углов которого не равна 1800».[16] Мыслить Высшее Совершенное Бытие, которому недостает существования, по мнению Декарта, означает впадать в логическое противоречие. В XVIII в. Г.В. Лейбниц предпринял попытку усовершенствовать аргументацию Декарта. Он утверждал, что поскольку совершенства не могут быть проанализированы объективно, невозможно продемонстрировать, что совершенства являются несовместимыми, и пришел к выводу, что все совершенства могут сосуществовать в одной сущности, а именно, Боге.
В контексте этих философских и исторических рамок К. Гедель разрабатывает свою версию онтологического доказательства. Он восхищался Лейбницем и пытался представить более строгое доказательство, используя модальную логику. К сожалению, изложение аргументации К.Геделя невозможно без введения в основы модальной логики, а потому выходит за рамки представленной статьи.
Б. Рассел справедливо подметил, что «гораздо легче предположить, что онтологические аргументы являются не столь хорошими, чем сказать точно, что ошибочно в них»[17]. Логическая безупречность выводов К.Геделя, не обязывает человека с необходимостью принимать его аргументацию. Уже стало классическим возражение против онтологического аргумента И.Канта, который акцентировал внимание на том, что существование не является предикатом. Однако если кантовская критика была законной в отношении классического онтологического аргумента в интерпретации Декарта, использующего пропозиционную логику, она теряет свою силу в отношении к доказательству, сформулированному на языке модальной логики. Как и в отношении аргумента Ансельма, Декарта и Лейбница с момента публикации первых статей, посвященных онтологическому аргументу К.Геделя, противники ставили под вопрос достоверность либо самой модальной логики, либо высказывали возражения против представленного в доказательстве набора аксиом и определений.
Разумеется, не следует быть наивными и полагать, что мы можем убедить любого разумно мыслящего человека принять теизм с помощью онтологического аргумента, или другим доказательствам существования. Можно назвать, по крайней мере, одного человека, которого онтологическое доказательство привело к религиозной вере — писатель Клайв Стейплз Льюис[18]. В то же время те, кто находит утверждения онтологического аргумента подозрительными, должны спросить себя, на чем основаны их подозрения, на действительных ошибках в доказательстве, или на нежелании принять заключительный вывод аргумента.
Несмотря на то, что первые наброски собственной версии аргумента Гедель сделал еще в 1941 г., до 1970 г., боясь насмешек своих коллег, он не говорил об этом. В феврале 1970 г., почувствовав приближение смерти, он разрешил своей помощнице Дане Скотт скопировать версию своего доказательства. В августе 1970 г. Гедель сказал Оскару Моргенштерну, что он удовлетворен доказательством, однако Моргенштерн записал в своем дневнике под 29 августа 1970 г., что К. Гедель не публиковал его, поскольку думал, что другие могут подумать, что «он действительно верит в Бога, в то время как он только занимался логическим исследованием (то есть, стремился показать, что такое доказательство с классическими утверждениями (полноты и т.д.) правильным образом аксиоматизированное, является возможным)»[19]. После смерти Геделя в 1978 г. в его бумагах была обнаружена несколько иная версия онтологического аргумента. Обе они были опубликованы в 1987 г. Дневник О.Моргенштерна является важным и обычно надежным источником о последних годах Геделя, но упоминание о том, что Гедель не верит в Бога не согласуется с другими свидетельствами. В письме своей матери, которая считала своего сына вольнодумцем, К.Гедель говорит о своей вере в посмертное существование. Жена К. Геделя, Аделе, через два дня после смерти мужа сказала Хао Вангу, что Гедель, «хотя и не посещал церковь, был религиозен и читал Библию в кровати каждое воскресное утро»[20]. Гедель говорил: «Моя вера является теистической, а не пантеистической, следуя Лейбницу, нежели Спинозе»[21].
Между онтологическим аргументом бытия Божия и современным научным знанием существует некоторая аналогия. Онтологический аргумент пытается обосновать все существующие вещи на необходимом бытии — Боге. Подобным образом, наука пытается обосновать явления этого мира на фундаментальном типе необходимости. Физические законы не являются логически необходимыми, но являются необходимыми в большей степени, чем простые факты, поскольку они предполагаются как являющиеся истинными на все времена и во всех местах. Таким образом, поиск фундаментальной единой физической теории может рассматриваться как похожий по своему духу на обоснование всего тварного мира на необходимом Бытии. Однако в отношении поиска фундаментальной теории следует сказать, что оптимизм, который выражен в словах С.Хокинга, что человек сможет «познать разум Бога», является несколько необоснованным вследствие теорем о неполноте, которые были доказаны К.Геделем. В 2004 г. это признал и сам С.Хокинг: «Я хочу задать вопрос о том, как далеко мы зашли в нашем поиске понимания и познания. Найдем ли мы, наконец, окончательную форму законов природы. Под завершенной формой я подразумеваю набор правил, который по крайней мере в принципе, позволяют нам предсказать будущее с произвольной точностью, зная состояние вселенной в любой момент времени»[22]. Хокинг полагает, что вероятно невозможно сформулировать теорию вселенной в конечном числе утверждений вследствие теорем Геделя.
Теоремы Геделя о неполноте предполагают, что в любой аксиоматической и связной системе, подобной арифметике, существуют истины, которые не могут быть доказаны в рамках этой системы. Этот вывод имеет глубокие философские следствия, которые разрушили надежды многих предшествующих математиков и философов, таких как Д.Гильберт, Б.Рассел и Л.Виттгенштейн. К.Гедель пришел к доказательству своих теорем о неполноте желая провести четкое разделение между чистой математикой и мета-математическими предположениями. Формализация или аксиоматизация арифметики (в общем, любой дедуктивной теории) является сведением арифметики к небольшому набору первоначальных формул и правил манипуляции символами Формальная система интерпретируется как представляющая дедуктивную систему, если первоначальные формулы могут быть интерпретированы как выражающие аксиомы теории и правила символической манипуляции, логические правила вывода. Первая теорема Геделя о неполноте утверждает, что «любая формальная система, которая является столь же сложной как арифметика, конечной и последовательной, содержит предположение, которое никогда не может быть доказано или опровергнуто в рамках этой системы, и, таким образом, является неполной»[23]. Доказательство согласованности с неизбежностью требует использования некоторых предположений, которые выходят за рамки арифметики. Любая дедуктивная теория, которая включает элементарную арифметику (понятия о натуральных числах и операции сложения и умножения) также является наследницей этой неполноты. Более того, К.Гедель показал, что практически любое мета-математическое предположение формально может быть сведено к простым арифметическим выражениям. Таким образом, философское значение теорем о неполноте выходит далеко за рамки чистой математики. Согласно позитивистской философии науки любая физическая теория является математической моделью, т.е. представленной на языке математики. С.Хокинг справедливо указывает: «Если существуют математические результаты, которые не могут быть доказаны, существуют физические проблемы, которые не могут быть предсказаны»[24]. Мы и наши модели являемся частью вселенной, которую описываем. Таким образом, физическая теория является самозамкнутой как в теоремах Геделя. Можно, следовательно, ожидать, что она или несовместима, или неполна. Фактически, сегодня С. Хокинг как и ранее М.Геллманн стал сомневаться в возможности построения финальной теории. Однако, как указывает С. Яки, проблема заключается не в невозможности построить финальную теорию, а в невозможности доказать, что построенная нами теория является действительно финальной[25]. Это не означает конца физики вообще. Теорема Геделя не подразумевает того, что физик не может прийти к теории всего. Ученые могут искать теорию, которая на момент ее формулировки даст объяснение всех известных физических явлений. Но в терминах теоремы Геделя такая теория не может рассматриваться как несомненно истинная. Такая теория не может гарантировать, что в будущем в физической вселенной не будет открыто ничего нового, что должно затем потребовать другой финальной теории и т.д. Теорема Геделя предполагает, что если ученые задаются целью понять разум Бога, то они не будут иметь в этом успеха.
К. Гедель до конца дней сохранил нечто от своей детской веры в Бога. Он глубоко ощущал негативный пафос материалистического позитивизма, и рассматривал свою теорему как сокрушительное оружие против него.
[1] Wang H. Reflections on Kurt Godel. MIT Press, 1987.
[3] Dawson J.W. Logical Dilemmas. The Life and Work of Kurt Godel. A.K. Peters, Wellesley, 1997. P. 261.
[4] Yourgrau P. A World without Time: The Forgotten Legacy of Gödel and Einstein. NY, Basic Books, 2005. P. 104-105.
[5] Morgenstern O. Letter to Bruno Kreisky. 1965. // Wang H. Reflections on Kurt Godel. MIT Press, 1987. P. 31.
[6] Wang H. Reflections on Kurt Godel. Massachusetts, MIT Press, 1987. P. 115.
[7] Цит. по: Frankenberry N. Faith of Scientists in Their Own Words. Princeton University Press, 2008. P. 151.
[8] Wang H. A Logical Journey: From Gödel to Philosophy. Massachusetts, MIT Press, 1996. P. 152.
[9] Yourgrau P. A World without Time: The Forgotten Legacy of Gödel and Einstein. NY, Basic Books, 2005. P. 111.
[10] Davis P.J. A Brief Look at Mathematics and Theology. URL: http://www2.hmc.edu/www_common/hmnj/davis2brieflook1and2.pdf (дата обращения 20.02.2009).
[11] Nelson E. Mathematics and Faith. URL: http://www.math.princeton.edu/~nelson/ (дата обращения 20.02.2009).
[13] Gierer A. Godel meets Carnap: A prototypical discourse on science and religion// Zygon, 1997. V. 32. P. 214.
[16] Hick J. Ontological Argument for the Existence of God// Encyclopedia of Philosophy. NY., Gale, 2006. V. 7. P. 16.
[17] Цит. по: Oppy G. Ontological Arguments // Stanford Encyclopedia of Philosophy. URL: http://plato.stanford.edu/entries/ontological-arguments/ (дата обращения20.02.2009).
[18] Edwards B.L. C.S. Lewis: Life, Works and Legacy. Volume 1. An Examined Life. London, Praeger, 2007. P. 36.
[19] Sobel J.H. Logic and Theism. Arguments For and Against Beliefs in God. NY. Cambridge University Press. 2004. P. 115-116.
[22] Hawking S. Godel and the End of Physics. URL: http://www.damtp.cam.ac.uk/strtst/dirac/hawking/ (дата обращения 20.02.2009).
[23] Srikanth R., Srikanth H. Godel Incompleteness and the Black Hole Information Paradox. URL: http://www.arxiv.org.0705.147v1/ (дата обращения 20.02.2009).
[24] Jaki S.L. A Late Awakening to Godel in Physics. URL: http://pirate.shu.edu/~jakistan/ (дата обращения 20.02.2009).