Search results
Results from the WOW.Com Content Network
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.
A more recent ontological argument came from Kurt Gödel, who proposed a formal argument for God's existence. Norman Malcolm also revived the ontological argument in 1960 when he located a second, stronger ontological argument in Anselm's work; Alvin Plantinga challenged this argument and proposed an alternative, based on modal logic.
Kurt Friedrich Gödel (/ ˈ ɡ ɜːr d əl / GUR-dəl; [2] German: [kʊʁt ˈɡøːdl̩] ⓘ; April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher.
Kurt Gödel created a formalization of Leibniz' version, known as Gödel's ontological proof. [1] A more recent argument was made by Stephen D. Unwin in 2003, who suggested the use of Bayesian probability to estimate the probability of God's existence. [2]
Kurt Gödel (1906–1978) was the preeminent mathematical logician of the twentieth century who described his theistic belief as independent of theology. [25] He also composed a formal argument for God's existence known as Gödel's ontological proof.
During his lifetime three English translations of Gödel's paper were printed, but the process was not without difficulty. The first English translation was by Bernard Meltzer; it was published in 1963 as a standalone work by Basic Books and has since been reprinted by Dover and reprinted by Hawking (God Created the Integers, Running Press, 2005:1097ff).
Get AOL Mail for FREE! Manage your email like never before with travel, photo & document views. Personalize your inbox with themes & tabs. You've Got Mail!
There are many notable contributors to the development of various ontological arguments. In the 11th century C.E., Saint Anselm of Canterbury (1033–1109) reasoned in his work Proslogion about the existence of God in an ontological argument based on the idea that there is a 'being than which no greater can be conceived'. [11] [1] [12]