Теоремы геделя о неполноте

Немецкие учёные подтвердили, что теорема Гёделя о существовании Бога верна

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

Справа: знаменитый учёный Курт Гёдель. Фото: Justin Sullivan / Getty Images

Теорема Гёделя основана на модальной логике — типе формальной логики, которая использует выражения «необходимость» и «возможность».

Бог, или высшее существо, существует в мышлении. Но реальное существование больше, нежели существование в мысли. Следовательно, Бог должен существовать, утверждает Гёдель.

Палео и Бенцмюллер утверждают, что его теорема верна, по крайней мере, на математическом уровне.

Учёные направили на сервер исследование под названием «Формализация, механизация и автоматизация доказательства Гёделя о существовании Бога», для того чтобы онтологическое доказательство Гёделя было впервые проанализировано с высокой степенью детализации и формальности с помощью программ автоматического доказательства теорем высшего порядка.

Учёные сообщили, что были произведены следующие исследования: подробное естественное доказательство вычитания, формализации аксиом, определений и теорем в синтаксисе TPTP ТГФ, автоматическая проверка непротиворечивости аксиом и определений с Nitpick, автоматическая демонстрация теорем испытателем LEO-II и Satallax, пошаговая формализация с помощью программ доказательства теорем Coq и Isabelle.

Бенцмюллер рассказал еженедельному немецкому журналу Der Spiegel, что он восхищён тем, как теоремы могут быть проанализированы с помощью компьютера.

«Это совершенно удивительно, что все аргументы Гёделя могут быть доказаны автоматически, в течение нескольких секунд или даже меньше, на стандартном ноутбуке», — сказал он.

Математики говорят, что их доказательство аксиомы Гёделя было нужно для того, чтобы продемонстрировать, что передовые технологии способны привести к новым достижениям в науке.

«Я не знал, что могло бы вызвать большой общественный интерес, и не нашёл более лучшего примера, чем онтологическое доказательство Гёделя, ранее недоступное для математики или искусственного интеллекта, — сказал Бенцмюллер.— Это очень маленький, но чёткий пример, так как мы имеем дело с шестью аксиомами небольшой теоремы. С помощью нужных аксиом можно получить любое доказательство. Можем ли мы развить компьютерные системы до такого уровня, чтобы проверять каждый шаг и убеждаться, что он правильный?»

Учёные считают, что их работа может принести пользу в таких областях, как искусственный интеллект, проверка программного обеспечения и аппаратных средств.

Версия на английском

Scisne?

Всякая система математических аксиом начиная с определенного уровня сложности либо внутренне противоречива, либо неполна.

В 1900 году в Париже прошла Всемирная конференция математиков, на которой Давид Гильберт (David Hilbert, 1862–1943) изложил в виде тезисов сформулированные им 23 наиважнейшие, по его мнению, задачи, которые предстояло решить ученым-теоретикам наступающего ХХ века. Под вторым номером в его списке значилась одна из тех простых задач, ответ на которые кажется очевидным, пока не копнешь немножечко глубже. Говоря современным языком, это был вопрос: самодостаточна ли математика? Вторая задача Гильберта сводилась к необходимости строго доказать, что система аксиом — базовых утверждений, принимаемых в математике за основу без доказательств, — совершенна и полна, то есть позволяет математически описать всё сущее. Надо было доказать, что можно задать такую систему аксиом, что они будут, во-первых, взаимно непротиворечивы, а во-вторых, из них можно вывести заключение относительно истинности или ложности любого утверждения.

Возьмем пример из школьной геометрии. В стандартной Евклидовой планиметрии (геометрии на плоскости) можно безоговорочно доказать, что утверждение «сумма углов треугольника равна 180°» истинно, а утверждение «сумма углов треугольника равна 137°» ложно. Если говорить по существу, то в Евклидовой геометрии любое утверждение либо ложно, либо истинно, и третьего не дано. И в начале ХХ века математики наивно полагали, что такая же ситуация должна наблюдаться в любой логически непротиворечивой системе.

И тут в 1931 году какой-то венский очкарик — математик Курт Гёдель — взял и опубликовал короткую статью, попросту опрокинувшую весь мир так называемой «математической логики». После долгих и сложных математико-теоретических преамбул он установил буквально следующее. Возьмем любое утверждение типа: «Предположение №247 в данной системе аксиом логически недоказуемо» и назовем его «утверждением A». Так вот, Гёдель попросту доказал следующее удивительное свойство любой системы аксиом:

«Если можно доказать утверждение A, то можно доказать и утверждение не-A».

Иными словами, если можно доказать справедливость утверждения «предположение 247 недоказуемо», то можно доказать и справедливость утверждения «предположение 247 доказуемо». То есть, возвращаясь к формулировке второй задачи Гильберта, если система аксиом полна (то есть любое утверждение в ней может быть доказано), то она противоречива.

Единственным выходом из такой ситуации остается принятие неполной системы аксиом. То есть, приходиться мириться с тем, что в контексте любой логической системы у нас останутся утверждения «типа А», которые являются заведомо истинными или ложными, — и мы можем судить об их истинности лишь вне рамок принятой нами аксиоматики. Если же таких утверждений не имеется, значит, наша аксиоматика противоречива, и в ее рамках неизбежно будут присутствовать формулировки, которые можно одновременно и доказать, и опровергнуть.

Итак, формулировка первой,или слабой теоремы Гёделя о неполноте: «Любая формальная система аксиом содержит неразрешенные предположения». Но на этом Гёдель не остановился, сформулировав и доказав вторую, или сильную теорему Гёделя о неполноте: «Логическая полнота (или неполнота) любой системы аксиом не может быть доказана в рамках этой системы. Для ее доказательства или опровержения требуются дополнительные аксиомы (усиление системы)».

Спокойнее было бы думать, что теоремы Гёделя носят отвлеченный характер и касаются не нас, а лишь областей возвышенной математической логики, однако фактически оказалось, что они напрямую связаны с устройством человеческого мозга. Английский математик и физик Роджер Пенроуз (Roger Penrose, р. 1931) показал, что теоремы Гёделя можно использовать для доказательства наличия принципиальных различий между человеческим мозгом и компьютером. Смысл его рассуждения прост. Компьютер действует строго логически и не способен определить, истинно или ложно утверждение А, если оно выходит за рамки аксиоматики, а такие утверждения, согласно теореме Гёделя, неизбежно имеются. Человек же, столкнувшись с таким логически недоказуемым и неопровержимым утверждением А, всегда способен определить его истинность или ложность — исходя из повседневного опыта. По крайней мере, в этом человеческий мозг превосходит компьютер, скованный чистыми логическими схемами. Человеческий мозг способен понять всю глубину истины, заключенной в теоремах Гёделя, а компьютерный — никогда. Следовательно, человеческий мозг представляет собой что угодно, но не просто компьютер. Он способен принимать решения, и тест Тьюринга пройдет успешно.

Интересно, догадывался ли Гильберт, как далеко заведут нас его вопросы?

Курт ГЁДЕЛЬ
Kurt Gödel, 1906–78

Австрийский, затем американский математик. Родился в г. Брюнн (Brünn, ныне Брно, Чехия). Окончил Венский университет, где и остался преподавателем кафедры математики (с 1930 года — профессором). В 1931 году опубликовал теорему, получившую впоследствии его имя. Будучи человеком сугубо аполитичным, крайне тяжело пережил убийство своего друга и сотрудника по кафедре студентом-нацистом и впал в глубокую депрессию, рецидивы которой преследовали его до конца жизни. В 1930-е годы эмигрировал было в США, но вернулся в родную Австрию и женился. В 1940 году, в разгар войны, вынужденно бежал в Америку транзитом через СССР и Японию. Некоторое время проработал в Принстонском институте перспективных исследований. К сожалению, психика ученого не выдержала, и он умер в психиатрической клинике от голода, отказываясь принимать пищу, поскольку был убежден, что его намереваются отравить.

Теоремы о неполноте Геделя: Дырка в математике

— Можно как-то популярно объяснить теоремы о неполноте Геделя? Брадобрей бреет только тех, кто не бреется сам. Бреет ли себя брадобрей? Этот знаменитый парадокс имеет к ним отношение?

Главный тезис логического доказательства существования Бога, выдвинутый Куртом Геделем: «Бог существует в мышлении. Но существование в реальности больше, нежели существование только в мысли. Следовательно, Бог должен существовать». На фото: автор теоремы о неполноте Курт Гедель со своим другом, автором теории относительности Альбертом Эйнштейном. Пристон. Америка. 1950

— Да, конечно, имеет. До Геделя существовала проблема аксиоматизации математики и проблема таких парадоксальных предложений, которые формально можно записать на любом языке. Например: «Это утверждение ложно». Какова истинность этого утверждения? Если оно истинно, значит, оно ложно, если оно ложно, значит, истинно; получается языковой парадокс. Гедель исследовал арифметику и показал в своих теоремах, что ее непротиворечивость не может быть доказана, исходя из ее самоочевидных принципов: аксиом сложения, вычитания, деления, умножения и проч. Нам требуются для ее обоснования некоторые дополнительные допущения. Это на самой простейшей теории, а что говорить о более сложных (уравнениях физики и т. п.)! Всегда для обоснования какой-то системы умозаключений мы вынуждены прибегать к некоему дополнительному умозаключению, которое в рамках системы не обосновывается.

Прежде всего это указывает на ограниченность претензий человеческого разума в познании реальности. То есть мы не можем говорить о том, что мы построим какую-то всеобъемлющую теорию мироздания, которая все объяснит, — такая теория не может быть научной.

— Как математики сейчас относится к теоремам Геделя? Никто не пытается их опровергнуть, как-то обойти?

— Это все равно что пытаться опровергнуть теорему Пифагора. Теоремы имеют строгое логическое доказательство. В то же время предпринимаются попытки найти ограничения применимости теорем Геделя. Но главным образом споры идут вокруг философских следствий теорем Геделя.

— Насколько проработано геделево доказательство существования Бога? Оно закончено?

— Оно проработано детально, хотя сам ученый до самой своей смерти так и не решился его опубликовать. Гедель развивает онтологический (метафизический. — «НС») аргумент, впервые предложенный Ансельмом Кентерберийским. В сжатой форме этот аргумент можно представить следующим образом: «Бог, по определению, является Тем, больше Кого нельзя ничего помыслить. Бог существует в мышлении. Но существование в реальности больше, нежели существование только в мысли. Следовательно, Бог должен существовать». Аргументацию Ансельма позднее развивали Рене Декарт и Готфрид Вильгельм Лейбниц. Так, по мнению Декарта, мыслить Высшее Совершенное Бытие, которому недостает существования, означает впадать в логическое противоречие. В контексте этих идей Гедель разрабатывает свою версию доказательства, она умещается буквально на двух страничках. К сожалению, изложение его аргументации невозможно без введения в основы очень сложной модальной логики.

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

Отдаленное будущее — это отдаленное прошлое

— Как относились к Геделю современники? Он дружил с кем-то из больших ученых?

— Ассистент Эйнштейна в Принстоне свидетельствует, что единственным человеком, с которым тот дружил в последние годы жизни, был Курт Гедель. Они были различны почти во всем — Эйнштейн общительный, веселый, а Гедель предельно серьезный, совершенно одинокий и недоверчивый. Но они имели общее качество: оба шли прямо и искренне к центральным вопросам науки и философии. Несмотря на дружбу с Эйнштейном, Гедель имел свой специфический взгляд на религию. Он отвергал представление о Боге как безличном существе, каким был Бог для Эйнштейна. По этому поводу Гедель заметил: «Религия Эйнштейна является слишком абстрактной, как у Спинозы и в индийской философии. Бог Спинозы меньше, чем личность; мой Бог больше чем личность; поскольку Бог может играть роль личности». Могут существовать духи, которые не имеют тела, но могут общаться с нами и оказывать влияние на мир».

— Как Гедель оказался в Америке? Бежал от нацистов?

— Да, он приехал в Америку в 1940 году из Германии, несмотря на то что фашисты признали его арийцем и великим ученым, освободив от военной службы. Он с женой Аделе пробирался через Россию по Транссибирской магистрали . Воспоминаний об этом путешествии он не оставил. Аделе вспоминает только о постоянном страхе по ночам, что остановят и вернут обратно. После восьми лет проживания в Америке Гедель стал гражданином США. Как и все подающие на гражданство, он должен был ответить на вопросы, касающиеся американской Конституции. Будучи скрупулезным человеком, он готовился к этому экзамену очень тщательно. Наконец сообщил, что нашел непоследовательность в Конституции: «Я открыл логически законную возможность, при которой США может стать диктатурой». Его друзья признали, что, независимо от логических достоинств аргумента Геделя, эта возможность была чисто гипотетической по своему характеру, и предостерегли от пространных разговоров на эту тему на экзамене.

— Не использовали ли Гедель и Эйнштейн идей друг друга в научной работе?

— В 1949 году Гедель выразил свои космологические идеи в математическом эссе, которое, по мнению Альберта Эйнштейна, являлось важным вкладом в общую теорию относительности . Гедель считал, что время — «эта таинственная и одновременно самопротиворечивая сущность, которая формирует основу мира и нашего собственного существования», — в конце концов станет величайшей иллюзией. Оно «когда-то» перестанет существовать, и наступит иная форма бытия, которую можно назвать вечностью. Такое представление о времени привело великого логика к неожиданному выводу. Он писал: «Я убежден в посмертном существовании, независимо от теологии. Если мир является разумно сконструированным, тогда должно быть посмертное существование».

— «Время – самопротиворечивая сущность». Странно звучит; это имеет какой-то физический смысл?

— Гедель показал, что в рамках уравнения Эйнштейна можно построить космологическую модель с замкнутым временем, где удаленное прошлое и удаленное будущее совпадают. В этой модели становится теоретически возможным путешествие во времени. Это звучит странно, но это математически выразимо — вот в чем дело. Эта модель может иметь экспериментальные следствия, а может и не иметь. Она является теоретической конструкцией, которая может оказаться полезной при построении новых космологических моделей — а может оказаться излишней. Современная теоретическая физика, в частности квантовая космология, обладает столь сложной математической структурой, что этим структурам очень сложно дать однозначное философское осмысление. Более того, некоторые ее теоретические конструкции пока являются экспериментально непроверяемыми по той простой причине, что для своей проверки требуют обнаружения очень высокоэнергетичных частиц. Помните, как народ переполошился по поводу запуска Большого андронного коллайдера: средства массовой информации постоянно пугали людей приближением конца света. На самом деле, ставился серьезный научный эксперимент по проверке моделей квантовой космологии и так называемых «теорий великого объединения». Если бы удалось обнаружить так называемые частицы Хиггса, то это стало бы очередным шагом в нашем понимании самых ранних стадий существования нашей Вселенной. Но пока нет экспериментальных данных, конкурирующие модели квантовой космологии продолжают оставаться просто математическими моделями.

Вера и интуиция

— «…Мой Бог больше чем личность; поскольку Бог может играть роль личности…» Все-таки вера Геделя далека от православного исповедания?

— Сохранилось очень мало высказываний Геделя о его вере, они по крупицам собраны. Несмотря на то что первые наброски собственной версии аргумента Гедель сделал еще в 1941 году, до 1970-го, боясь насмешек своих коллег, он не говорил об этом. В феврале 1970-го, почувствовав приближение смерти, он разрешил своей помощнице скопировать версию своего доказательства. После смерти Геделя в 1978 году в его бумагах была обнаружена несколько иная версия онтологического аргумента. Жена Курта Геделя, Аделе, через два дня после смерти мужа сказала, что Гедель, «хотя и не посещал церковь, был религиозен и читал Библию в кровати каждое воскресное утро».

Когда мы говорим о таких ученых, как Гедель, Энштейн или, скажем, Галилей или Ньютон, важно подчеркнуть то, что они не были атеистами. Они видели, что за Вселенной стоит Разум, некая Высшая Сила. Для многих ученых убежденность в существовании Высшего Разума являлась одним из следствий их научной рефлексии, и не всегда эта рефлексия приводила к возникновению глубокой религиозной связи человека с Богом. В отношении Геделя можно сказать, что он ощущал необходимость этой связи, поскольку подчеркивал, что является теистом, мыслит Бога как личность. Но, разумеется, его веру нельзя назвать ортодоксальной. Он был, так сказать, «домашним лютеранином».

— Вы можете дать исторические примеры: каким путем разные ученые приходят к вере в Бога? Вот генетика Фрэнсиса Коллинза, по его признаниям, к вере в Бога привело исследование структуры ДНК…

— Само по себе естественное богопознание недостаточно для познания Бога. Мало, изучая природу, открыть Бога — важно научиться Его познавать посредством того Откровения, которое Бог дал человеку. Приход человека к вере — независимо от того, ученый он или не ученый, — всегда опирается на что-то, что выходит за рамки просто логических или научных аргументов. Фрэнсис Коллинз пишет, что пришел к вере в 27 лет после продолжительного интеллектуального спора с самим собой и под влиянием Клайва Стейплза Льюиса. Два человека находятся в одной и той же исторической ситуации, в одних исходных условиях: один становится верующим, другой — атеистом. Одного изучение ДНК приводит к убеждению в существовании Бога. Другой изучает — и не приходит к этому. Два человека смотрят на картину: одному она кажется красивой, а другой говорит: «Так себе, обычная картинка!» У одного есть вкус, интуиция, а у другого — нет. Профессор Православного Свято-Тихоновского гуманитарного университета Владимир Николаевич Катасонов, доктор философских наук, математик по первому образованию, говорит: «Никакое доказательство в математике невозможно без интуиции: математик сначала видит картинку, а потом уже формулирует доказательство».

Вопрос о приходе человека к вере — это всегда вопрос, который выходит за рамки просто логического рассуждения. Как объяснить, что тебя привело к вере? Человек отвечает: я ходил в храм, размышлял, читал то-то, увидел гармонию мироздания; но самый главный, самый исключительный момент, в который человек вдруг познает, что он столкнулся с присутствием Бога, не может быть выражен. Это всегда тайна.

— Можно обозначить проблемы, которые не в силах разрешить современная наука?

— Все-таки наука — достаточно уверенное, самостоятельное и хорошо идущее предприятие, чтобы так резко высказываться. Она является хорошим и весьма полезным инструментом в руках человека. Со времени Фрэнсиса Бэкона знание действительно стало силой, изменившей мир. Наука развивается в соответствии со своими внутренними закономерностями: ученый стремится постичь законы мироздания, и можно не сомневаться в том, что этот поиск приведет к успеху. Но в то же время необходимо осознавать и границы науки. Не следует смешивать науку и те мировоззренческие вопросы, которые могут быть поставлены в связи с наукой. Ключевые проблемы сегодня связаны не столько с научным методом, сколько с ценностными ориентациями. Наука в течение долгого ХХ века воспринималась людьми как абсолютное благо, которое способствует прогрессу человечества; а мы видим, что ХХ век стал самым жестоким по человеческим жертвам. И тут возникает вопрос о ценностях научного прогресса, вообще познания. Этические ценности не следуют из самой науки. Гениальный ученый может изобрести оружие для уничтожения всего человечества, и здесь возникает вопрос о нравственной ответственности ученого, на который наука не может ответить. Наука не может указать человеку смысл и предназначение его существования. Наука никогда не сможет ответить на вопрос, почему мы здесь? Почему существует Вселенная? Эти вопросы решаются на другом уровне познания, таком, как философия и религия.

— Кроме теорем Геделя, есть ли еще доказательства того, что научный метод имеет свои пределы? Сами ученые это признают?

— Уже в начале XX века философы Бергсон и Гуссерль указали на относительное значение научного знания природы. Сейчас уже стало почти всеобщим убеждением среди философов науки, что научные теории представляют гипотетические модели объяснения явлений. Один из создателей квантовой механики — Эрвин Шредингер говорил о том, что элементарные частицы являются только образами, но мы вполне можем обойтись и без них. По мысли философа и логика Карла Поппера, научные теории подобны сети, посредством которой мы пытаемся поймать мир, они не похожи на фотографии. Научные теории находятся в постоянном развитии и изменении. О границах научного метода говорили создатели квантовой механики, такие как Паули, Бор, Гейзенберг. Паули писал: «…Физика и психика могут рассматриваться как дополнительные аспекты одной и той же реальности» — и акцентировал внимание на несводимости высших уровней бытия к низшим. Различные объяснения охватывают каждый раз лишь один аспект материи, но всеохватная теория никогда не будет достигнута.

Красота и гармония мироздания предполагает возможность его познания научными методами. Вместе с тем христиане всегда понимали и непостижимость тайны, стоящей за этой материальной вселенной. Вселенная не имеет основания в самой себе и указывает на совершенный источник бытия — Бога.

Священник Димитрий КИРЬЯНОВ родился в 1972 году в Тюмени, окончил Тюменский государственный университет, физический факультет (1994); Тобольскую духовную семинарию (1999); Московскую духовную академию (2002). Клирик Покровского кафедрального собора города Тобольска.

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *