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...
7 de jun. de 2021 · Kurt Gödel, an intellectual giant of the 20th century, offered a mathematical proof that God exists. Those who suffer from math anxiety admire what the theorem (shown below) claims to do, but have absolutely no idea what it means. Our goal is to explain, in English, what Gödel’s existence of God proof says.
Gödel's ontological proof is a formal argument for God's existence by the mathematician Kurt Gödel. Can someone please explain what are the symbols in the proof and elaborate about its flow: $$ \begin {array} {rl} \text {Ax. 1.} & \left\ {P (\varphi) \wedge \Box \; \forall x [\varphi (x) \to \psi (x)]\right\} \to P (\psi) \\ \text {Ax. 2.}
- The modal operator $\square$ refers to necessity; its dual, $\lozenge$, refers to possibility. (A sentence is necessarily true iff it isn't possib...
- The box is a modal operator (it is necessarily true that ...), with the diamond its dual (it is possibly true that ...). '$P(\varphi)$' holds when...
- I think dismissing an argument that stands foursquare in a 900 year tradition of logical discourse as a 'strange apparent aberration' is a little q...
- I think the most important matter in understanding Gödel's proof is the interpretation of $P$. In this respect, I would like to mention that the po...
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.
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].
In his unpublished paper, the famous logician Kurt Gödel provided arguments in favor of the existence of God. These arguments are presented in a very formal way, which makes them difficult to understand to many interested readers. In this paper, we describe a...
