collaborators

1 paper

math.HO2021

Kurt Gödel's reception of Charles Hartshorne's ontological proof

Annika Kanckos, Tim Lethen

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öde…