Resultado da Busca
Kurt Gödel's mathematical proof of God was published after his death. It belongs to the class of so-called ontological proofs, which have a long tradition in philosophy. As constructions of pure thought, they were previously and are still, hotly debated in the scientific world.
driven him to begin work on the proof of the first incompleteness theorem, ‘which he interpreted as disproving a central tenet of the Vienna Circle . . . He had used mathematical logic, beloved of the logical positivists, to wreak havoc on the positivist antimetaphysical position.’ In addition, her view is that Gödel’s theorems were designed
Abstract. Goedel's ontological proof has been analysed for the first-time with an unprecedent degree of detail and formality with the help of higher-order theorem provers. The following has been ...
Sobel on Gödel’s Ontological Proof Robert C. Koons Department of Philosophy University of Texas at Austin koons@mail.utexas.edu July 6, 2005 1 Gödel’s Ontological Proof Kurt Gödel left with his student Dana Scott two pages of notes in which he sketched a new version of Anselm’s ontological proof of God’s existence.
Demonstração ontológica de Gödel. A demonstração ontológica de Gödel é um argumento formal para a existência de Deus pelo matemático e filósofo Kurt Gödel (1906-1978). É uma linha de pensamento que data desde Anselmo de Cantuária (1033-1109). O argumento ontológico de São Anselmo, na sua mais sucinta forma, é o seguinte: "Deus ...
Both were introduced to each other after a presentation Benzmüller delivered in October 2012 to the Kurt Gödel Society in Vienna. In this presentation, he demonstrated how quantified modal logics (QML) [1][2] and other non-classical logics, can be elegantly embedded [3] in classical higher-order logic (HOL, Church’s type theory [4][5]).
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 simplifying modification of Gödel’s proof which will hopefully make it easier to understand. We also describe, in clear terms, why ...
