Ad
related to: god's proof of consistency
Search results
Results From The WOW.Com Content Network
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).
He formulated a formal proof for the existence of God known as Gödel's ontological proof. Gödel believed in an afterlife, saying, "Of course this supposes that there are many relationships which today's science and received wisdom haven't any inkling of.
Gentzen published his consistency proof for first-order arithmetic in 1936. Hilbert accepted this proof as "finitary" although (as Gödel's theorem had already shown) it cannot be formalized within the system of arithmetic that is being proved consistent. The impact of the incompleteness theorems on Hilbert's program was quickly realized.
Ward defended the utility of the five ways (for instance, on the fourth argument he states that all possible smells must pre-exist in the mind of God, but that God, being by his nature non-physical, does not himself stink) whilst pointing out that they only constitute a proof of God if one first begins with a proposition that the universe can ...
In proof theory, the Dialectica interpretation [1] is a proof interpretation of intuitionistic logic (Heyting arithmetic) into a finite type extension of primitive recursive arithmetic, the so-called System T. It was developed by Kurt Gödel to provide a consistency proof of arithmetic.
Detlefsen (1990) argues that Gödel's theorem does not prevent a consistency proof because its hypotheses might not apply to all the systems in which a consistency proof could be carried out. [6] Dawson (2006) calls the belief that Gödel's theorem eliminates the possibility of a persuasive consistency proof "erroneous", citing the consistency ...
An American Christian family's Bible dating to 1859. Disputes regarding the internal consistency and textual integrity of the Bible have a long history.. Classic texts that discuss questions of inconsistency from a critical secular perspective include the Tractatus Theologico-Politicus by Baruch Spinoza, the Dictionnaire philosophique of Voltaire, the Encyclopédie of Denis Diderot and The Age ...
In mathematical logic, Rosser's trick is a method for proving a variant of Gödel's incompleteness theorems not relying on the assumption that the theory being considered is ω-consistent (Smorynski 1977, p. 840; Mendelson 1977, p. 160).