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.
Notices of the AMS, April 2006, Volume 53, Number 4 Kurt Gödel Centenary Issue; Paul Davies and Freeman Dyson discuss Kurt Godel (transcript) "Gödel and the Nature of Mathematical Truth" Edge: A Talk with Rebecca Goldstein on Kurt Gödel. It's Not All In The Numbers: Gregory Chaitin Explains Gödel's Mathematical Complexities. Gödel photo ...
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]
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.
The name of this formula derives from Beweis, the German word for proof. A second new technique invented by Gödel in this paper was the use of self-referential sentences. Gödel showed that the classical paradoxes of self-reference, such as " This statement is false ", can be recast as self-referential formal sentences of arithmetic.
For example, Kurt Godel (1905–1978) used modal logic to elaborate and clarify Leibniz's version of Saint Anselm of Canterbury's ontological proof of the existence of God, known as Godel's Ontological Proof. [18]
Metamathematics, machines, and Gödel's proof. Cambridge tracts in theoretical computer science. Vol. 38. Cambridge: Cambridge University Press. ISBN 0-521-58533-3. Raymond Smullyan, 1987. Forever Undecided ISBN 0192801414 - puzzles based on undecidability in formal systems —, 1992. Godel's Incompleteness Theorems. Oxford Univ. Press. ISBN ...
The Virtue of Faith and Other Essays in Philosophical Theology. Oxford University Press. ISBN 9780195041460. Boniolo, Giovanni; De Anna, Gabriele (2006). Evolutionary Ethics and Contemporary Biology. Cambridge University Press. ISBN 9780521856294. Boyd, Richard (1988). Sayre-McCord, Geoffery (ed.). Essays on Moral Realism. Cornell University Press.