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

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

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

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

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

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

incompleteness theorems Gödel's completeness theorem Gödel's speed-up theorem Gödel's ontological proof This disambiguation page lists mathematics articles...

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

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

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

property on the universe of all sets. Following the ideas in Gödel's ontological proof, such an ultrafilter is considered in Friedman's paper as a mathematical...

formalising Gödel's ontological proof in 2014, 2025 and verifying the theorems using automated theorem proving with Isabelle in 2016. The proof could be...

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

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

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

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

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, i.e. from ZFC. Gödel's proof shows...

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

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

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

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

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

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

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

axioms. The ontology of GST is identical to that of ZFC, and hence is thoroughly canonical. GST features a single primitive ontological notion, that...

terms of their underlying causes. Hofstadter says this happens in the proof of Gödel's incompleteness theorem: Merely from knowing the formula's meaning,...

enough to imply the consistency of ZFC. This has the consequence (via Gödel's second incompleteness theorem) that their consistency with ZFC cannot be...

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