Новости Доказательство Бога: как Гедель заставил математику заговорить о вере

NewsMaker

I'm just a script
Премиум
13,850
20
8 Ноя 2022
Некоторые математики искали логическое доказательство существования Бога. Вот что они обнаружили


4faz8trvjitbya4rrjmo16ltox3dnhek.jpg


<script type="text/x-mathjax-config;executed=true"> MathJax.Hub.Config({ tex2jax: {inlineMath: [['$','$'], ['\\(','\\)']]}, "HTML-CSS": {linebreaks: { automatic: true }}, SVG: { linebreaks: { automatic: true } } });</script> Кто бы мог подумать, что вопрос о существовании Бога может стать темой для эссе о математике? Не волнуйтесь, последующее обсуждение всё ещё твёрдо основано на научной основе. Однако вопрос о том, можно ли математически доказать существование Бога, весьма интригует. На самом деле, на протяжении веков несколько математиков неоднократно пытались доказать существование божественного существа. Среди них можно выделить Блеза Паскаля и Рене Декарта (в XVII веке), Готфрида Вильгельма Лейбница (в XVIII веке) и Курта Геделя (в XX веке), чьи работы по этой теме были опубликованы только в 1987 году. И, возможно, самое удивительное: в исследовании, Для просмотра ссылки Войди или Зарегистрируйся в 2013 году, алгоритмический проверяющий подтвердил логическую цепочку Геделя — и нашел её абсолютно корректной. Неужели математика теперь окончательно опровергла утверждения всех атеистов? Как можно догадаться, этого не произошло. Гедель действительно смог доказать, что существование чего-то, что он определил как божественное, необходимо вытекает из определённых предположений. Однако справедливость этих предположений вызывает сомнения. Например, если предположить, что все кошки трёхцветные, и зная, что трёхцветные кошки почти всегда женского пола, можно заключить: почти все кошки женского пола. Даже если логическое рассуждение верно, это, конечно, не соответствует действительности. Ведь само предположение о том, что все кошки трёхцветные, является ложным. Если делаются утверждения об окружающих нас вещах, таких как кошки, их можно проверить научными методами. Но когда речь идёт о доказательстве существования божественного существа, ситуация становится сложнее.

В то время как Лейбниц, Декарт и Гедель опирались на онтологическое доказательство Бога, выводя существование божественного существа из одной лишь возможности его существования с помощью логических умозаключений, Паскаль (1623–1662) выбрал несколько иной подход: он анализировал проблему с точки зрения того, что сегодня можно назвать теорией игр, и разработал так называемое "Пари Паскаля".

Для этого он рассмотрел два варианта: первый — Бог существует. Второй — Бога не существует. Затем он проанализировал последствия веры или неверия в Бога после смерти. Если существует божественное существо и человек верит в него, он попадёт в рай; иначе — отправится в ад. Если же Бога нет, то ничего не произойдёт — вне зависимости от того, был человек религиозен или нет. Лучшая стратегия, по мнению Паскаля, — это верить в Бога. В лучшем случае человек попадает в рай; в худшем случае — ничего не происходит. Если же не верить в Бога, то в худшем случае можно оказаться в аду.

Мысли Паскаля вполне понятны, но они касаются сценариев из религиозных текстов и не представляют собой доказательство существования высшего существа. Они лишь говорят о том, что верить в Бога стоит из чистого оппортунизма.

Онтологические подходы, связанные с природой бытия, кажутся более убедительными, даже если они, скорее всего, не изменят мнения атеистов. Теолог и философ Ансельм Кентерберийский (1033–1109) изложил свои идеи в начале прошлого тысячелетия. Он описал Бога как существо, больше которого нельзя вообразить ничего. Но если Бога не существует, то можно представить нечто большее: а именно, существо, больше которого ничего нельзя вообразить, но которое также существует и обладает свойством абсолютного величия. Это, конечно, абсурдно: ничто не может быть больше величайшего, что можно себе представить. Соответственно, предположение, что Бога не существует, должно быть неверным.

Потребовалось несколько столетий, чтобы эту идею вновь пересмотрели — и сделал это не кто иной, как Декарт (1596–1650). Предполагается, что он не знал о работах Ансельма, но предложил почти идентичный аргумент в пользу существования божественного совершенного существа. Лейбниц (1646–1716) занялся этой темой спустя несколько десятилетий и нашёл в ней изъян: по его мнению, Декарт не показал, что " Для просмотра ссылки Войди или Зарегистрируйся " определённых сущностей, начиная от треугольников и заканчивая Богом, совместимы. Лейбниц утверждал, что совершенство не может быть должным образом исследовано. Следовательно, невозможно опровергнуть, что совершенные свойства объединяются в одном существе. Таким образом, из возможности божественного существа следует его реальность. Так что, основываясь на аргументах Ансельма и Декарта, можно сделать вывод, что Бог существует. Однако с математической точки зрения эти мыслительные эксперименты стали по-настоящему серьёзными только благодаря Для просмотра ссылки Войди или Зарегистрируйся . Это не слишком удивительно: учёный уже в 25 лет перевернул эту тему, показав, что математика всегда содержит истинные утверждения, которые невозможно доказать. Для этого он использовал логику. Именно эта логика позволила ему доказать существование Бога.

Гедель представил следующие аксиомы (Ax), теоремы (Th) и определения (Df):


raysnen4sjj0l87l0gl1342wqwd2o557.png


На первый взгляд они кажутся загадочными, но можно пройти их шаг за шагом, чтобы проследить ход мыслей Гёделя. Он начинает с аксиомы, то есть предположения: если у <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-1-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>φ</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-1" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-2" class="mjx-mrow"><span id="MJXc-Node-3" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.207em; padding-bottom: 0.513em;">φ</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>φ</mi></math></span></span><script type="math/tex" id="MathJax-Element-1">\varphi</script> есть свойство <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-2-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>P</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-4" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-5" class="mjx-mrow"><span id="MJXc-Node-6" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.462em; padding-bottom: 0.258em; padding-right: 0.109em;">P</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>P</mi></math></span></span><script type="math/tex" id="MathJax-Element-2">P</script>, и из <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-3-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>φ</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-7" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-8" class="mjx-mrow"><span id="MJXc-Node-9" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.207em; padding-bottom: 0.513em;">φ</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>φ</mi></math></span></span><script type="math/tex" id="MathJax-Element-3">\varphi</script> всегда следует <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-4-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>ψ</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-10" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-11" class="mjx-mrow"><span id="MJXc-Node-12" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.462em; padding-bottom: 0.462em;">ψ</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>ψ</mi></math></span></span><script type="math/tex" id="MathJax-Element-4">\psi</script>, то <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-5-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>ψ</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-13" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-14" class="mjx-mrow"><span id="MJXc-Node-15" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.462em; padding-bottom: 0.462em;">ψ</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>ψ</mi></math></span></span><script type="math/tex" id="MathJax-Element-5">\psi</script> также обладает свойством <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-6-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>P</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-16" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-17" class="mjx-mrow"><span id="MJXc-Node-18" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.462em; padding-bottom: 0.258em; padding-right: 0.109em;">P</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>P</mi></math></span></span><script type="math/tex" id="MathJax-Element-6">P</script>. Для простоты можно предположить, что <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-7-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>P</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-19" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-20" class="mjx-mrow"><span id="MJXc-Node-21" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.462em; padding-bottom: 0.258em; padding-right: 0.109em;">P</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>P</mi></math></span></span><script type="math/tex" id="MathJax-Element-7">P</script> обозначает "положительное". Например, если фрукт вкусный — это положительное свойство, тогда его употребление в пищу приносит удовольствие. Следовательно, удовольствие от еды также является положительным свойством.

Вторая аксиома дополнительно устанавливает рамки для <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-8-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>P</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-22" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-23" class="mjx-mrow"><span id="MJXc-Node-24" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.462em; padding-bottom: 0.258em; padding-right: 0.109em;">P</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>P</mi></math></span></span><script type="math/tex" id="MathJax-Element-8">P</script>. Если противоположность чего-то положительна, то это "что-то" должно быть отрицательным. Таким образом, Гедель разделяет мир на чёрное и белое: либо что-то хорошее, либо плохое. Например, если здоровье — это хорошо, то болезнь обязательно должна быть плохой.

С этими двумя посылками Гедель может вывести свою первую теорему: если <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-9-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>φ</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-25" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-26" class="mjx-mrow"><span id="MJXc-Node-27" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.207em; padding-bottom: 0.513em;">φ</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>φ</mi></math></span></span><script type="math/tex" id="MathJax-Element-9">\varphi</script> является положительным свойством, то существует вероятность того, что <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-10-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>x</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-28" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-29" class="mjx-mrow"><span id="MJXc-Node-30" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.207em; padding-bottom: 0.309em;">x</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>x</mi></math></span></span><script type="math/tex" id="MathJax-Element-10">x</script> с таким свойством <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-11-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>φ</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-31" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-32" class="mjx-mrow"><span id="MJXc-Node-33" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.207em; padding-bottom: 0.513em;">φ</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>φ</mi></math></span></span><script type="math/tex" id="MathJax-Element-11">\varphi</script> существует. То есть, возможно существование положительных вещей.

Теперь математик впервые переходит к определению божественного существа: <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-12-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>x</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-34" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-35" class="mjx-mrow"><span id="MJXc-Node-36" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.207em; padding-bottom: 0.309em;">x</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>x</mi></math></span></span><script type="math/tex" id="MathJax-Element-12">x</script> является божественным, если оно обладает всеми положительными свойствами <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-13-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>φ</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-37" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-38" class="mjx-mrow"><span id="MJXc-Node-39" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.207em; padding-bottom: 0.513em;">φ</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>φ</mi></math></span></span><script type="math/tex" id="MathJax-Element-13">\varphi</script>. Вторая аксиома гарантирует, что Бог, определённый таким образом, не может иметь отрицательных характеристик (иначе возникло бы противоречие).

Третья аксиома гласит, что божественность — это положительная характеристика. Этот момент трудно оспорить, так как божественность объединяет все положительные характеристики.

Теперь вторая теорема становится немного более конкретной: комбинируя третью аксиому (божественность положительна) и первую теорему (возможно существование чего-то положительного), можно предположить, что может существовать божественное существо <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-14-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>x</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-40" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-41" class="mjx-mrow"><span id="MJXc-Node-42" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.207em; padding-bottom: 0.309em;">x</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>x</mi></math></span></span><script type="math/tex" id="MathJax-Element-14">x</script>.

Цель Геделя теперь состоит в том, чтобы показать на следующих шагах, что Бог должен существовать в рамках заданных предпосылок. Для этого он вводит во втором определении понятие "сущность" <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-15-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>φ</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-43" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-44" class="mjx-mrow"><span id="MJXc-Node-45" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.207em; padding-bottom: 0.513em;">φ</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>φ</mi></math></span></span><script type="math/tex" id="MathJax-Element-15">\varphi</script> объекта <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-16-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>x</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-46" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-47" class="mjx-mrow"><span id="MJXc-Node-48" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.207em; padding-bottom: 0.309em;">x</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>x</mi></math></span></span><script type="math/tex" id="MathJax-Element-16">x</script>, характерное свойство, которое определяет все остальные характеристики. Примером может служить "щенковость": если что-то обладает этим свойством, оно обязательно милое, пушистое и неуклюжее.

Четвёртая аксиома на первый взгляд не кажется слишком интересной. Она просто утверждает, что если что-то положительно, то оно всегда положительно — независимо от времени, ситуации или места. Быть "щенковым" и быть вкусным, например, всегда положительно, будь то днём или ночью, в Гейдельберге, Германия, или Буэнос-Айресе.

Теперь Гедель может сформулировать третью теорему: если существо <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-17-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>x</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-49" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-50" class="mjx-mrow"><span id="MJXc-Node-51" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.207em; padding-bottom: 0.309em;">x</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>x</mi></math></span></span><script type="math/tex" id="MathJax-Element-17">x</script> является божественным, то божественность является его сущностным свойством. Это имеет смысл, так как если что-то является божественным, оно обладает всеми положительными характеристиками — и, следовательно, свойства <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-18-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>x</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-52" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-53" class="mjx-mrow"><span id="MJXc-Node-54" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.207em; padding-bottom: 0.309em;">x</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>x</mi></math></span></span><script type="math/tex" id="MathJax-Element-18">x</script> фиксированы. Следующий шаг относится к существованию конкретного существа. Если где-то хотя бы одно существо <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-19-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>y</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-55" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-56" class="mjx-mrow"><span id="MJXc-Node-57" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.207em; padding-bottom: 0.462em; padding-right: 0.006em;">y</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>y</mi></math></span></span><script type="math/tex" id="MathJax-Element-19">y</script> обладает свойством <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-20-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>φ</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-58" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-59" class="mjx-mrow"><span id="MJXc-Node-60" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.207em; padding-bottom: 0.513em;">φ</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>φ</mi></math></span></span><script type="math/tex" id="MathJax-Element-20">\varphi</script>, которое является сущностным свойством <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-21-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>x</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-61" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-62" class="mjx-mrow"><span id="MJXc-Node-63" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.207em; padding-bottom: 0.309em;">x</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>x</mi></math></span></span><script type="math/tex" id="MathJax-Element-21">x</script>, то <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-22-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>x</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-64" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-65" class="mjx-mrow"><span id="MJXc-Node-66" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.207em; padding-bottom: 0.309em;">x</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>x</mi></math></span></span><script type="math/tex" id="MathJax-Element-22">x</script> также существует. Иными словами, если что-то обладает свойствами щенка, то щенки также должны существовать.

Согласно пятой аксиоме, существование является положительным свойством. Большинство людей согласится с этим.

Из этого можно заключить, что Бог существует, так как это существо обладает всеми положительными свойствами, а существование является положительным.

Как оказалось, логические выводы Геделя верны — даже компьютеры смогли это доказать. Тем не менее, эти выводы также подверглись критике. Помимо аксиом, которые, конечно, можно оспорить (почему мир должен делиться на «добро» и «зло»?), Гедель не даёт более подробной информации о том, что такое положительное свойство.

Это правда, что с помощью определений и аксиом можно описать множество <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-23-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>P</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-67" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-68" class="mjx-mrow"><span id="MJXc-Node-69" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.462em; padding-bottom: 0.258em; padding-right: 0.109em;">P</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>P</mi></math></span></span><script type="math/tex" id="MathJax-Element-23">P</script> математически:

  • Если свойство принадлежит множеству, его отрицание не включается.
  • Множество самодостаточно.
  • Сущность множества имеет только характеристики множества и само является элементом множества.
  • Множество всегда содержит одни и те же элементы — независимо от ситуации.
  • Существование является частью множества.
  • Если <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-24-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>φ</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-70" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-71" class="mjx-mrow"><span id="MJXc-Node-72" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.207em; padding-bottom: 0.513em;">φ</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>φ</mi></math></span></span><script type="math/tex" id="MathJax-Element-24">\varphi</script> является частью множества, то свойство иметь <span class="MathJax_Preview" style="color: inherit;"></span><span id="MathJax-Element-25-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>φ</mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-73" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-74" class="mjx-mrow"><span id="MJXc-Node-75" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.207em; padding-bottom: 0.513em;">φ</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="Для просмотра ссылки Войди или Зарегистрируйся"><mi>φ</mi></math></span></span><script type="math/tex" id="MathJax-Element-25">\varphi</script> в качестве сущности множества также включено в множество.
Однако всё это не гарантирует, что это множество уникально. Могут существовать несколько коллекций, удовлетворяющих требованиям. Например, как Для просмотра ссылки Войди или Зарегистрируйся , можно построить случаи, когда, по определению Геделя, существует более 700 божественных сущностей, различающихся по сущности.

Этот факт не разрешает окончательный вопрос о существовании одного (или нескольких) божественных существ. Является ли математика действительно правильным способом ответа на этот вопрос, также остаётся под сомнением — хотя размышления об этом весьма захватывающи.
 
Источник новости
www.securitylab.ru

Похожие темы