Kurt Godel’s Mathematical Proof Of The Existence Of God
I spent years in University trying to fully grasp Kurt Godel’s Incompleteness Theorem. He hurts my brain. Godel was a logician who lived from 1906 to 1978, and is a subject of one of my favourite books, “Godel, Escher, Bach: An Eternal Golden Braid.”
This following is a reproduction of an attempt by Godel to prove the existence of God, a proof that emerged around 1970. The proof is courtesy of Clifford Pickover (2001) in his fantastic book, “Wonders of Numbers.” Very few people, even logicians, understand what on Earth it means, let alone if it’s correct. Can you come to terms with it?
—————————
Proof
Axiom 1. (Dichotomy) A property is positive if and only if its negation is negative.
Axiom 2. (Closure) A property is positive if it necessarily contains a positive property.
Theorem 1. A positive property is logically consistent (i.e., possibly it has some instance.)
Definition. Something is God-like if and only if it possesses all positive properties.
Axiom 3. Being God-like is a positive property.
Axiom 4. Being a positive property is (logical, hence) necessary.
Definition. A property P is the essence of x if and only if x has P and P is necessarily minimal.
Theorem 2. If x is God-like, then being God-like is the essence of x.
Definition. NE(x) means x necessarily exists if it has an essential property.
Axiom 5. Being NE is God-like.
Theorem 3. Necessarily there is some x such that x is God-like.
(qed)
————————–
(image source: wikipedia commons: (the Sistine Chapel) God separates light from darkness)
this is pretty cool…
though, doesn’t ‘God’ possess at least all non-negative properties?
I think it’s safer (logically) to assume that God does not possess “zero.”
This is more about the definition of key words to attempt to prove something than it is about mathematics. The links between the words are “logical” and “necessary”, along with “Positive” and “Good”. The idea the person is trying to prove is that something must be god like if it consists wholey of positive properties, or “something is like god if it is nothing but good.” The simple minded thinking that proof of a deity is in this wording is just plain ignorance. Nonetheless, I must address the other group of words. The idea that “Logical” and “Necessary” are in the same group is wrong. Logical implies order, order implies positive aspects, and thus implies good, which since the last group of words states that anything possessing all positive properties is god like, it’s obvious why this connection has been made. And in order to have a benevelent deity, it would be necessary to have an all “good” god. So working in reverse it can be seen how this connection has been made. Yet, you can take a seperate set of words into account. Illogical implies chaos, chaos implies negative, and negative implies evil. Yet, without many of the chaotic things that exist, and the “negative” properties which exist in all different forms, this world would not exist. The basic principle behind Dark Energy (I’ll let you look it up) is a repulsion of matter. It allows the universe to expand. Without this expansion, everything would eventually revert to it’s original state and collide at a single point. Either way, as I said, this statement is much less about math and much much more about the implication of the definition of key words. It is false, just like an idea of a deity.
lol whats the log of God if he/she/it is that which nothing as great or greater can be conceived? since there is no power to reach God, God either doesn’t exist or is a negative number. If God is a negative number then the root of God is imaginary
I think, God’s existance should be proved by Bertrand Russel paradoxes.
http://kuday.bloggum.com/yazi/mathematical-proof-for-existance-of-god.html
kose nanat.
madar ghahve koni to ke balad nisti
goh mikhori minevisi
ye zar bol masal ghadim irani ast ke mige:
“to ke pare parvaz nadari goh mikhori konde bazi dar miyari.”
ya be ghole hosein lameei ramandi ke mige: lora migan:
“tonem ka natoni gi ba^oori gi mi^oori gi mi^oori