Mathematical proof of God's existence

I was confronted by a known atheist on Sunday in Google Bible Study to prove to him that there is God. There I try to use the scripture to show him the proof. But to my amazement he's not even believing in the scripture calling Bible-'buybull' or book full of fables.
Here I put an excerpt of my gathering from mathematical point of view that God exists.

Euler's Formula to Explain God's Existence (18th century)


Leonhard Euler (April 15, 1707 - September 18, 1783) was a pioneering Swiss mathematician and physicist who made important discoveries in fields as diverse as infinitesimal calculus and graph theory. Euler also introduced much of the modern mathematical terminology and notation, particularly for mathematical analysis, such as the notion of a mathematical function, and he is renowned for his work in mechanics, fluid dynamics, optics, and astronomy. He spent most of his adult life in St. Petersburg, Russia and in Berlin, Prussia.

Much of what is known of Euler's religious beliefs can be deduced from his Letters to a German Princess and an earlier work, Rettung der Göttlichen Offenbahrung Gegen die Einwürfe der Freygeister (Defense of the Divine Revelation against the Objections of the Freethinkers). These works show that Euler was a devout Christian who believed the Bible to be inspired; the Rettung was primarily an argument for the divine inspiration of scripture.

There is a famous legend inspired by Euler's arguments with secular philosophers over religion, which is set during Euler's second stint at the St. Petersburg academy. The French philosopher Denis Diderot was visiting Russia on Catherine the Great's invitation. However, the Empress was alarmed that the philosopher's arguments for atheism were influencing members of her court, so Euler was asked to confront the Frenchman. Diderot was informed that a learned mathematician had produced a proof of the existence of God; he agreed to view the proof as it was presented in court. Euler appeared, advanced toward Diderot, and in a tone of perfect conviction announced the following non-sequitur: "Sir, \frac{a+b^n}{n}=x, hence God exists—reply!" Diderot, to whom (says the story) all mathematics was gibberish, stood dumbstruck as peals of laughter erupted from the court. Embarrassed, he asked to leave Russia, a request that was graciously granted by the Empress. However amusing the anecdote may be, it is apocryphal, given that Diderot himself did research in mathematics.

Euler was featured on the sixth series of the Swiss 10-franc banknote and on numerous Swiss, German, and Russian postage stamps. The 2002 asteroid Euler was named in his honor. He is also commemorated by the Lutheran Church on their Calendar of Saints on May 24, since he was a devout Christian (and believer in biblical inerrancy) who wrote apologetics and argued forcefully against the prominent atheists of his time. On April 15, 2013, Euler's 306th birthday was celebrated with a Google Doodle.

The Mathematician Who Developed the Theorem of God (1931)

Kurt Friedrich Gödel was an Austrian, and later American, logician, mathematician, and philosopher. Considered, along with Aristotle and Frege, to be one of the most significant logicians in human history, Gödel made an immense impact upon scientific and philosophical thinking in the 20th century.

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.

He also showed that neither the axiom of choice nor the continuum hypothesis can be disproved from the accepted axioms of set theory, assuming these axioms are consistent. The former result opened the door for mathematicians to assume the axiom of choice in their proofs. He also made important contributions to proof theory by clarifying the connections between classical logic, intuitionistic logic, and modal logic.

When Gödel died in 1978, he left behind a tantalizing theory based on principles of modal logic, a type of formal logic that, narrowly defined, involves the use of the expressions “necessarily” and “possibly,” according to Stanford University. So 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.


Comments

Popular Posts