Выдающийся логик и математик XX века К.Гедель (1906-1978) известен в научном мире, главным образом, благодаря теоремам о неполноте, которые являются шедеврами математики, а также благодаря модели вращающейся вселенной, в которой совпадают удаленное прошлое и удаленное будущее. Будучи специалистом в области теории доказательств, он смог сделать модальную логику серьезным научным инструментом благодаря демонстрации полезности модальных операторов в исследовании оснований математики.
......................................................................................
Гедель внес вклад не только в развитие математики и логики, но также и в области космологической теории. В 1949 Гедель выразил свои идеи в эссе, которое, по мнению А.Эйнштейна, являлось важным вкладом в общую теорию относительности, особенно в анализ концепции времени. Предложенная Геделем модель вращающейся вселенной, в которой совпадают удаленное прошлое и удаленное будущее, подвигла к спорам относительно возможности, или, напротив, невозможности существования такой вселенной. Гедель, фактически, показал, что в рамках определенных моделей вселенной, удовлетворяющих уравнениям общей теории относительности, становится теоретически возможным путешествие во времени. Гедель считал, что время, «эта таинственная и одновременно самопротиворечивая сущность, которая формирует основу мира и нашего собственного существования»[9], в конце концов, станет величайшей иллюзией. Время в классическом смысле «когда-то» перестанет существовать, и наступит иная форма бытия, которую можно назвать вечностью. Неудивительно, что такое представление о времени привело К.Геделя к убежденности в существовании жизни за гробом. Он писал: «Я убежден в посмертном существовании, независимо от теологии. Если мир является разумно сконструированным, тогда должно быть посмертное существование»[10]
........................................................................................
Для Геделя, в отличие от большинства его современников, было очевидно, что рациональная теология может быть аксиоматизирована аналогично математической или физической теории. В этой связи является показательным диалог, который состоялся между К. Геделем и Р. Карнапом 13 октября 1940 г. В этой дискуссии Гедель акцентирует внимание на том, что «можно установить точную систему постулатов, использующих концепции, которые обычно рассматривают как метафизические: Бог, душа, идея»[13]. Причем эта «теория», по мнению Геделя, будет иметь наблюдаемые следствия. Фактически, он предлагает построение некой мета-теории, которая включает и рациональную теологию: «Такая теория должна привести к следствиям, которые могут быть доступны эмпирически, но форма центральных теоретических концепций внутри такой теории должна простираться гораздо дальше объективно верифицируемого»[14]. Карнап признает в дискуссии, что современная физика имеет логическую структуру, аналогичную представленной Геделем для теологии: физические теории содержат концепции, такие как электрон, волновая функция и электромагнитное поле, которые позволяют вывод наблюдаемых и измеримых фактов, хотя эти абстрактные концепции не могут быть определены исключительно в терминах методов и результатов наблюдения, то есть, исключительно на эмпирической основе[15]. Карнап признает, что утверждение Геделя является корректным, но только с чисто формальной точки зрения; его понятие о теоретических концепциях в теологии более не противоречит понятиям теоретических терминов, скажем в физике, на строго логических или эпистемологических основаниях. Но это формальное рассмотрение является, по мнению Карнапа, недостаточным, поскольку оно не решает, какая концептуализация является плодотворной для прогресса знания, а какая нет. Наука, по мнению Карнапа, гораздо лучше любой теологии, которая может быть развита в направлении, предложенном Геделем. Гедель отвечает Карнапу, что этот вопрос является эмпирическим, и ответ не может быть известен априори. Карнап соглашается, однако продолжает утверждать, что никакой ученый не будет рассматривать попытку в этом направлении как заслуживающую внимания. Гедель не соглашается, акцентируя внимание на том, что решительный прогресс в науке часто зависит от изменения направления. Он указывает на то, что парадигмальные изменения направлений часто доказывали плодотворность в развитии знания, и он настаивает, что попытка по отношению к теологии должна быть сделана. Неудивительно, что Гедель уже в 1940 г. предпринял свои первые попытки построения онтологического доказательства бытия Божия.
........................................................................................................
Полностью здесь