Changes

==Incompleteness and God==

==Incompleteness and God==

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 who formulated the Incompleteness Theorems used those same tools (Model Theory) to forge an [[ontological]] 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>

On the other hand, the same Godel who formulated the Incompleteness Theorems used those same tools (Model Theory) to forge an [[ontological]] 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>