trustme.bro/r/…
✓ checked
trust me, bro:
here is the receipt.
the claim
Mathematical proofs for the existence of God can be formally constructed.
the verdict
SUPPORTED
the evidence backs this
refutedsupported
the weight of evidence
1 source for · 0 against

Peer-reviewed literature establishes that Gödel's ontological argument for the existence of God has been formally constructed and verified using automated theorem provers.

Evidence for · 1
Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers
2013 · cited by 86
Kurt Godel's ontological argument for God's existence has been formalized and automated on a computer with higher-order automated theorem provers. From Godel's premises, the computer proved: necessarily, there exists God. On the other hand, the theorem provers have also confirmed prominent criticism on Godel's ontological argument, and they found some new results about it. The background theory of the work presented here offers a novel perspective towards a computational theoretical philosophy.
See more details
The analysis

rails:sufficiency:supported:single_source:for=1+0p:against=0+0p | v55:sufficiency

Everything we examined (1)
This check searched the claim as stated. It did not run a separate search for evidence against it.
  1. Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Proverspeer-reviewedno side taken
This receipt carries no identity, shared or not. Sharing publishes your connection to it, not your data.
Check your own claim
Challenge the receipt
trust me, bro: win the argument, pass the class, survive peer review.
This receipt is an automated verdict against our published method · not an opinion about any author or publication.
Terms · Privacy · How verdicts work · Dispute this receipt