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...

Gödel's proof may refer to: Gödel's incompleteness theorems Gödel's ontological proof See also: Gödel's theorem (disambiguation) This disambiguation page...

Philosophy portal Original proof of Gödel's completeness theorem Gödel fuzzy logic Gödel–Löb logic Gödel Prize Gödel's ontological proof Infinite-valued logic...

completeness theorem Gödel's speed-up theorem Gödel's ontological proof This disambiguation page lists articles associated with the title Gödel's theorem. If an...

understanding of God, is a real predicate. Gödel's ontological proof is a formal argument by the mathematician Kurt Gödel (1906–1978) for the existence of God...

Gauss–Markov theorem (brief pointer to proof) Gödel's incompleteness theorem Gödel's first incompleteness theorem Gödel's second incompleteness theorem Goodstein's...

critiques of ontological arguments for the existence of God and the principle of divine simplicity. For example, Gödel's ontological proof contains ϕ →...

In the philosophy of religion, an ontological argument is a deductive philosophical argument, made from an ontological basis, that is advanced in support...

early eighteenth century. Kurt Gödel created a formalization of Leibniz' version, known as Gödel's ontological proof. A more recent argument was made...

logic has been studied as well. According to several logicians, Gödel's ontological proof is best studied (from a technical perspective) in such a context...

model theory. For Gödel's construction, see Gödel 1940, pp. 35–46 or Cohen 1966, pp. 99–103. Cohen also gave a detailed proof of Gödel's relative consistency...

Consistency Proof for Mathematics, which shows in detail how, starting from the hypothesis of the existence of God (in the sense of Gödel's ontological proof),...

publishes The Launching of Modern American Science, 1846–1876. Gödel's ontological proof of the existence of God is published posthumously. The Abelian...

Conway's Game of Life is devised by John Horton Conway. Kurt Gödel's ontological proof of the existence of God is circulated. The Dubowitz Score for...

cones are particular examples of ultralimits of metric spaces. Gödel's ontological proof of God's existence uses as an axiom that the set of all "positive...

also composed a formal argument for God's existence known as Gödel's ontological proof. Martin Gardner (1914–2010) was a mathematics and science writer...

version of Saint Anselm of Canterbury's ontological proof of the existence of God, known as Godel's Ontological Proof. An individual's perception of the concept...

consequence is necessary and formal, by way of examples that explain with formal proof and models of interpretation. A sentence is said to be a logical consequence...

Remarks on the Foundations of Mathematics: Wittgenstein attempted to refute Gödel's incompleteness theorems after having only read the abstract. As reviewers...

to have an ontological commitment to them. The argument is described by the following syllogism: (Premise 1) We ought to have ontological commitment to...

Kurt Gödel and Paul Cohen. Gödel showed that CH cannot be disproved from ZF, even if the axiom of choice (AC) is adopted (making ZFC). Gödel's proof shows...

Feferman, Solomon (1996). "Gödel's program for new axioms: why, where, how and what?". In Hájek, Petr (ed.). Gödel '96: Logical foundations of mathematics...

tapestry weaver – gobelin Kurt Gödel, Austrian-American mathematician – Gödel's incompleteness theorem, Gödel's ontological proof Godred Crovan, King of Dublin...

better be called fictionalism" (cf. footnote 1 in Gödel 1944:119) – to be faulty. See more in "Gödel's criticism and suggestions" below. A complicated theory...

argued that Avicenna's argument was ontological. Morewedge referred to the argument as "Ibn Sina's ontological argument for the existence of God", and...

theorems, and proofs, and of using mathematical methods to prove theorems about these concepts. This led to unexpected results, such as Gödel's incompleteness...

of the Market Godehard Link Gödel's incompleteness theorems Gödel's ontological proof Gödel's theorems Gödel numbering Gödel, Escher, Bach Godfrey of Fontaines...

Univ. Press. 1969 Ontological Relativity and Other Essays. Columbia Univ. Press. ISBN 0-231-08357-2. Contains chapters on ontological relativity, naturalized...

(Kleene 1967:74). Although Gödel's proof involves the same notion of "completeness" as does the proof of Post, Gödel's proof is far more difficult; what...

structuralism make different ontological claims in this regard. The ante rem structuralism ("before the thing") has a similar ontology to Platonism. Structures...