Suddenly, a few months ago, two European mathematicians, using a computer and the related theorem of the Austrian mathematician Kurt Gödel, managed to mathematically ‘prove’ the existence of God!
Shortly before his death, the great Austrian mathematician Kurt Gödel published a mathematical proof for the existence of God on which he had been working for 30 years. The proof is based on the modern axiomatic foundation of mathematics, which in turn is a continuation of ancient mathematical tradition and Euclid’s geometry.
In this way, the foundation starts with formulating axioms, i.e. statements which are not proven but seem obvious. Then, with the help of axioms and mathematical logic, we can prove theorems and build an entire theory. Gödel tried to “prove” the existence of God as a theorem starting from a set of five axioms that seem “obvious” as part of Mathematical Logic.
First, are these axioms really obvious, and secondly, are they compatible with each other so that they do not have hidden inconsistencies? There is not much to do about the first one since the axioms in mathematics may seem “reasonable” but are also arbitrary, so if these axioms are true, they imply the existence of God.
However, the second point has been investigated for over 40 years because it is necessary to prove that these five axioms do not contain hidden inconsistencies and thus are self-consistent.
Two European mathematics, Christoph Benzmüller from Germany and Bruno Woltzenlogel Paleo from Austria managed to represent Gödel’s axioms with mathematical symbols.
Then, with the help of special software that operates with terms of logic on a computer, they established that the axioms do not contain hidden inconsistencies and confirmed the proof of the theorem.
It should be noted that, apart from the purely mathematical part, the basis of Gödel’s ontological proof was not completely new since it was similar to the argument of the English theologian and philosopher of the 11th century, Anselm of Canterbury, which in turn is based on the “reductio ad absurdum” of the ancient Greek philosophers and mathematicians.
The premise of Anselm’s ontological argument was the following:
View Comments
Very Good Article Anna! I Always Believe in God!I think he is the most Mathematical Being, he works in a Geometrical way that everything connects to everything.... Good Job ! do yo Believe in God Anna? And if so? whats your theory on it? or idea? :)