The ontological argument for the existence of God is a priori reasoning that attempts to prove the existence of God using only reason; that is, it is based solely -following the Kantian terminology in analytical premises, a priori and necessary to conclude that God exists. Within the context of the Abrahamic religions, the ontological argument was first proposed by the medieval philosopher Avicenna in The Book of Healing, although the most famous is the approach of Anselm of Canterbury in his Proslogion. Later philosophers as Shahab al-Din Suhrawardi, René Descartes (best known for appearing in his Discourse on Method) or Gottfried Leibniz offered versions of the argument, and even a-modal logic the same version was developed by the mathematician and logician Kurt Godel

Kurt Gödel or also Kurt Goedel, (in German [kʊʁt ɡøːdəl]), (April 28, 1906 in Brno, the capital of the Austro-Hungarian Moravia (now Brno, Czech Republic) was a logician, mathematician and philosopher Austrian-American

Kurt Godel is undoubtedly one of the most important mathematicians of the twentieth century. His main field of work was the logic and set theory, and is especially recognized and remembered in mathematics for his two incompleteness theorems.

Gödel published his two incompleteness theorems in 1931 when he was 25 years old, one year after finishing his doctorate at the University of Vienna. The first incompleteness theorem states that for any self-consistent recursive axiomatic system powerful enough to describe the arithmetic of the natural numbers (for example Peano arithmetic), there are true propositions about the naturals that cannot be proved from the axioms. To prove this theorem, Gödel developed a technique now known as Gödel numbering, which codes formal expressions as natural numbers.

In 1970 he distributed among his peers a test in which by logical-mathematical arguments proved the existence of God. As follow

thus explained:

Axiom 1. (Dichotomy) A property is positive if and only if its negation is negative.

Axiom 2. (Close) A property is positive if it necessarily has a positive property.

Theorem 1. A positive property is logically consistent (for example, there is a particular case).

Definition. Something is similar-to-God if, and only if, it has all the positive properties.

Axiom 3. Be like-a-God is a positive property.

Axiom 4. Be a positive property (logical, therefore) is required.

Definition. A property P is the essence of x if and only if x contains P and P is necessarily low.

Theorem 2. If x is such-a-God, then be like-a-God is the essence of x.

Definition. NE (x): x necessarily exists if you have an essential property.

Axiom 5. Be NE, it is to be like-a-God.

Theorem 3. necessarily there any x such that x is such-a-God.

“*Some emendations of Gödel’s ontological proof,” Faith and Philosophy 7: 291-303, 1990*

Gödel bases his argument on the reflections of San Anselmo. This defines God as: the largest being in the universe. There is nothing more that we can imagine. Conversely, if God does not exist, then a higher being somehow have to exist, things were not created from nothing millions of years ago. Since it was not possible to explain that creation, then by definition, God had to exist. Just this is not the God that all we have in our minds, it is only, the pure energy around us.

How can prosecute such an abstract demonstration?

Many of the logical-mathematicians have not been able to explain all aspects of the test, and therefore it is very difficult to ensure its complete nature. Is this theory the result of deep meditation, or the ravings of a lunatic? (Gödel in the final part of his life underwent major mental disorders) The academic merit of Gödel are impressive. Gödel is mostly famous for his theorem which shows that there must be true formulas in mathematics and logic for which it was not possible to prove its truth or falsity, thereby converting mathematics in an incomplete system.

This article was written by Psalm Triginta