Block, SkipCaptcha, Automoderated users, edit
752
edits
Changes
Jump to navigation
Jump to search
mLine 15:
Line 15: − + + + − Similarly, the existence of undecidable statements proves the illogic of atheistic attempts to demand proof for the existence of God. Because we know that there exist true statements that we can never logically prove, there are necessarily things that must be believed on the basis of faith, rather than logic. The atheistic mantra that "the burden of proof lies with the believer" ignores this classic result in mathematical logic, and exposes their ignorance. It is notable that [[Kurt Godel]] who demonstrated the existence of undecidability in mathematical logic was a devoutly religious man.
Godel's Incompleteness Theorems (view source)
Revision as of 16:57, March 4, 2012
, 16:57, March 4, 2012→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, he 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>
On the other hand, the same Godel who 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>
Similarly, the existence of undecidable statements proves the illogic of atheistic attempts to demand proof for the existence of God. Because we know that there exist true statements that we can never logically prove, there are necessarily things that must be believed on the basis of faith, rather than logic. The atheistic mantra that "the burden of proof lies with the believer" ignores this classic result in mathematical logic, and exposes their ignorance. It is notable that [[Kurt Godel]] who demonstrated the existence of undecidability in mathematical logic was a devoutly religious man.
==See also==
==See also==
*[[God of the gaps]]
*[[God of the gaps]]