GoedelGod reviews and mentions

• What are the strongest arguments for and against a belief in God?
  1 project | /r/AskReddit | 25 Mar 2023

  Paper: https://github.com/FormalTheology/GoedelGod/blob/master/Papers/2017/LogicaUniversalis-HajekAndersonControversy/main.pdf

• ok buddy philosopher
  1 project | /r/PhilosophyMemes | 21 Mar 2023

  Yeah let me use that math formalisation tool to finally proof that God exist

• What are the critiques about Gödel’s ontological argument (C. Anthony Anderson’s emendated version)? I have seen that there are several emendations/variations of Gödel’s argument. Which of those variations is the best one?
  1 project | /r/askphilosophy | 7 Mar 2023
• What logical system does Gödel use in his formal argument for God using modal logic?
  1 project | /r/askphilosophy | 4 Nov 2022

  There's not really any doubt that his argument can at least be made precise in a rigorous formal system. You can look at formalization of Gödel's argument that are computer verifiable. Here is for instance a formalization of Dana Scott's version of Gödel's proof in Coq: https://github.com/FormalTheology/GoedelGod/blob/master/Formalizations/Coq/GoedelGod_Scott. You might also look at papers in this repository. Where this is doubt are the premises and implications/interpretation of what the argument actually shows in relation to theism.

• Any of you heard of Kurt Gödels theory that supposedly proves god?
  1 project | /r/askanatheist | 19 Oct 2021
• Can you justify your beliefs in god?
  1 project | /r/religion | 28 Dec 2020

  There sure is a logical explanation for it, verified by formal proof assistants. Just a matter of wether or not you accept the axioms of the proof and wether you believe that such a definition of God is correct.

• A note from our sponsor - WorkOS
  workos.com | 29 Apr 2024

  The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →