4,781
edits
Changes
Jump to navigation
Jump to search
mLine 14:
Line 14: − +
Godel's Incompleteness Theorems (view source)
Revision as of 22:18, June 13, 2008
, 22:18, June 13, 2008→Incompleteness and God: removing unwanted links
==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]].
[[Category:Logic]][[Category:Mathematics]]
[[Category:Logic]][[Category:Mathematics]]