Search results
Results from the WOW.Com Content Network
Gödel's ontological proof. Gödel's ontological proof is a formal argument by the mathematician Kurt Gödel (1906–1978) for the existence of God. The argument is in a line of development that goes back to Anselm of Canterbury (1033–1109). St.
Mathematical arguments for belief. A common application of decision theory to the belief in God is Pascal's wager, published by Blaise Pascal in his 1669 work Pensées. The application is a defense of Christianity stating that "If God does not exist, the Atheist loses little by believing in him and gains little by not believing.
ISBN. 3-540-63698-6. Proofs from THE BOOK is a book of mathematical proofs by Martin Aigner and Günter M. Ziegler. The book is dedicated to the mathematician Paul Erdős, who often referred to "The Book" in which God keeps the most elegant proof of each mathematical theorem. During a lecture in 1985, Erdős said, "You don't have to believe in ...
t. e. Pascal's wager is a philosophical argument advanced by Blaise Pascal (1623–1662), seventeenth-century French mathematician, philosopher, physicist, and theologian. [1] This argument posits that individuals essentially engage in a life-defining gamble regarding the belief in the existence of God . Pascal contends that a rational person ...
The Quinque viæ ( Latin for " Five Ways ") (sometimes called "five proofs") are five logical arguments for the existence of God summarized by the 13th-century Catholic philosopher and theologian Thomas Aquinas in his book Summa Theologica. They are: the argument from "first mover"; the argument from universal causation; the argument from ...
By Gödel's completeness result, it must hence have a natural deduction proof (shown right). Gödel's completeness theorem is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first-order logic . The completeness theorem applies to any first-order theory: If T is ...
Kurt Gödel (1925) The proof of Gödel's completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a shorter version of the proof, published as an article in 1930, titled "The completeness of the axioms of the functional calculus of logic" (in German)) is not easy to read today; it uses concepts and formalisms that are no longer used and terminology that is often obscure.
Moses ben Maimon, widely known as Maimonides, was a Jewish scholar who tried to logically prove the existence of God. Maimonides offered proofs for the existence of God, but he did not begin with defining God first, like many others do. Rather, he used the description of the earth and the universe to prove the existence of God.