SkipCaptcha
175
edits
Changes
Jump to navigation
Jump to search
Line 15:
Line 15: + +
Godel's Incompleteness Theorems (view source)
Revision as of 02:51, April 16, 2009
, 02:51, April 16, 2009→Incompleteness and God: Onthological proof
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]].
On the other hand, the same Godel that formulated the Incompleteness Theorems used those same tools ([[Model Theory]]) to forge an onthological proof of God's existence.<ref>[http://www.scar.utoronto.ca/~sobel/OnL_T/OnGodel(toKoons).pdf Godel's Onthological Proof that God exists]</ref>
[[Category:Logic]][[Category:Mathematics]]
[[Category:Logic]][[Category:Mathematics]]