What is the nature of Kurt Godel's proof of the existence of God?

Question

What is the nature of Kurt Godel's proof of the existence of God?

Answer 1

K.Goedel's incompleteness theorem : " There are true statements that cannot be proven in a formal system ".

The existence of God is beyond any formal system.

Answer 2

http://www.stats.uwaterloo.ca/~cgsmall/o...

Answer 3

It's mathematical formalization of an earlier Ontological argument from St. Anselm.  Go here for the definition and Godel's mathematical proof. http://en.wikipedia.org/wiki/G%C3%B6del'...

Answer 4

It turns out that modal logic is not only a useful language in which to discuss God, it is also a useful language for proof theory, the study of what can and cannot be proved in mathematical systems of deduction. Issues of completeness of mathematical systems, the independence of axioms from other axioms, and issue of the consistency of formal mathematical systems are all part of proof theory.

I prefer to use the argument that God exists for we are personal and God being the source of all things is also personal, the source of personality. To deny the personality of the First Source and Center leaves one only the choice of two philosophic dilemmas: materialism or pantheism. In the contemplation of Deity, the concept of personality must be divested of the idea of corporeality. A material body is not indispensable to personality in either man or God. The corporeality error is shown in both extremes of human philosophy. In materialism, since man loses his body at death, he ceases to exist as a personality; in pantheism, since God has no body, he is not, therefore, a person. The superhuman type of progressing personality functions in a union of mind and spirit.