Resultado da Busca
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).
4 de out. de 2022 · This same logic also enabled him to prove the existence of God. Take a look at these 12 steps made up of a set of axioms (Ax), theorems (Th) and definitions (Df). Formal proof by Kurt...
Summary. Gödel's version of the modal ontological argument for the existence of God has been criticized by J. Howard Sobel [5] and modified by C. Anthony Anderson [1].
- C. Anthony Anderson, Michael Gettings
- 1996
Cite. Summary. In the early 1970s, we learned that Gödel had produced a proof of the existence of God after he showed it to Dana Scott, who discussed it in a seminar at Princeton. Notes began to circulate, and the first public analysis of the proof was performed by Sobel (1987).
11 de nov. de 2013 · Gödel’s Incompleteness Theorems. First published Mon Nov 11, 2013; substantive revision Thu Apr 2, 2020. Gödel’s two incompleteness theorems are among the most important results in modern logic, and have deep implications for various issues. They concern the limits of provability in formal axiomatic theories.
Gödel’s Proof of Existence of God Revisited. Chapter. First Online: 04 January 2023. pp 217–221. Cite this chapter. Download book PDF. Download book EPUB. Decision Making Under Uncertainty and Constraints. Olga Kosheleva & Vladik Kreinovich. Part of the book series: Studies in Systems, Decision and Control ( (SSDC,volume 217)) 324 Accesses.
13 de fev. de 2007 · Proof: Let σ(x,y,z) be a formula that numeralwise expresses the number theoretic predicate ‘y is the Gödel number of the formula obtained by replacing the variable v 0 in the formula whose Gödel number is x by the term z’. Let θ(v 0) be the formula ∃v 1 (φ(v 1) ∧ σ(v 0, v 1, v 0)). Let k = ⌈ θ(v 0) ⌉ and ψ = θ(k).
