Changes

Godel's Incompleteness Theorems (view source)

Revision as of 22:18, June 13, 2008

8 bytes removed , 22:18, June 13, 2008

m

→‎Incompleteness and God: removing unwanted links

Line 14: Line 14:

==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]]

Foxtrot

4,781

edits