Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > History and Overview
Title: Kurt Gödel's reception of Charles Hartshorne's ontological proof
(Submitted on 23 Nov 2021)
Abstract: In 1962 Charles Hartshorne published a modal logic proof formalizing Anselm of Canterbury's ontological argument for the necessary existence of God. This article presents Kurt G\"odel's notes on this proof which have now been discovered in his Nachlass among other theological material, and discusses possible influences on the development of G\"odel's own ontological proof. To complete the picture, strong connections between Anselm of Canterbury's and G\"odel's conceptions of God and his positive properties are pointed out.
Link back to: arXiv, form interface, contact.