|White MacBook laptop (Photo credit: Wikipedia)|
Even at the time, the argument was not exactly a new one. For centuries, many have tried to use this kind of abstract reasoning to prove the possibility or necessity of the existence of God. But the mathematical model composed by Gödel proposed a proof of the idea. Its theorems and axioms -- assumptions which cannot be proven -- can be expressed as mathematical equations. And that means they can be proven.
Proving God's Existence with a MacBook
Scientists Prove God Exists? German Scientists Say They Have
The theorem says that God, or a supreme being, is that for which no greater can be conceived. God exists in the understanding. If God exists in the understanding, we could imagine Him to be greater by existing in reality. Therefore, God must exist.God Exists, Says Math: Modal Logic and Software Prove Gödel's Logic
Sometime between 1941 and the 1970s, Gödel wrote a brief mathematical proof that God exists. Later, Dana Scott edited the original proof. Decoded Science offers a brief summary of this proof, which has five axioms that we assume to be true:
- Any “property”, or the negation of that property, is “positive”; but it is impossible that both the property and negation are positive.
- If one positive property implies that some property necessarily exists, then the implied property is positive.
- The property of being God-like is positive.
- Positive properties are necessarily positive.
- The property of necessarily existing is positive.
Gödel added three definitions along the way:
- A “God-like” being has all positive properties.
- An “essence” of a being is a property that the being possesses, and that property necessarily implies any property of that being.
- The “necessary existence” of a being means that it is necessary that all the essences of that being exist (“are exemplified”).
- The Reality and Presence of God
- Did God make devil and why?
- The God of Israel is a man, a Black man
- With God's presence, truth made manifest, it's decision time
- Who is that Mystery God?