Irenaeus, Siteadmin, Check users, oversight, Administrators
351,540
edits
Changes
Godel's Incompleteness Theorems (view source)
Revision as of 07:05, March 3, 2024
, 07:05, March 3, 2024→Incompleteness and God
==Incompleteness and God==
==Incompleteness and God==
[[Image:Alphaomega.jpg|thumb|200px|[[God]] is the Alpha and Omega, the first and last, the beginning and the ending <ref>Revelation 22:13</ref>]]
Incompleteness is sometimes used to refute the existence of an [[omnipotent]] [[God]]: If God were omnipotent, he would act as an [[oracle]] (in the mathematical sense) for any mathematical theory. That is, he could decide for any statement S whether S or not-S were true, which contradicts incompleteness. This argument is a more formal version of the "Can God make a rock even He could not move" [[paradox]].
Incompleteness is sometimes used to refute the existence of an [[omnipotent]] [[God]]: If God were omnipotent, he would act as an [[oracle]] (in the mathematical sense) for any mathematical theory. That is, he could decide for any statement S whether S or not-S were true, which contradicts incompleteness. This argument is a more formal version of the "Can God make a rock even He could not move" [[paradox]].