3
edits
Changes
Jump to navigation
Jump to search
Line 3:
Line 3: + + + +
Gödel's completeness theorem (view source)
Revision as of 15:52, December 9, 2009
, 15:52, December 9, 2009no edit summary
Any [[formula]] in first-order predicate [[calculus]] is true only if it [[sound]]s true.
Any [[formula]] in first-order predicate [[calculus]] is true only if it [[sound]]s true.
</blockquote>
</blockquote>
==Theological Implications==
The nature of The Completeness Theorem has far-reaching implications in the field of Theistic Creation. For instance, it is clear that God made the world, as only He could make first order logic complete. The soundness of the statement "God exists and is all things to all men" is proven within first-order predicates, meaning that The Completeness Theorem provides a mathematical proof for the existence and omnipotence of God. Kurt Gödel himself once claimed, "Even my surname is simply 'God,' with an added 'el' and an umlaut."<ref>http://www.godelandtheology.org/quotes/quote54.htm</ref>
[[Category:Logic]][[category: mathematics]]
[[Category:Logic]][[category: mathematics]]