FormalTheology / GoedelGod

Formalizations of Gödel's Ontological Proof of God's Existence
437 stars 37 forks source link

Some FAQ questions are lacking answers/comments #16

Open 64J0 opened 6 months ago

64J0 commented 6 months ago

Hi, great repository and project. I just noticed that some FAQ questions are missing their answers or comments at this repository's README:

Is the "god" of ontological proofs the same "god" of common religions?

Isn't it impossible to prove god's existence by pure reason?

We can get the answer from authors like Edward Feser (Five proofs of the existence of God, for example). Do you intend to add something there?