Computer proves that god exists
spiegel.deAnselm put forth the first documented version of the ontological argument in 1078, FWIW. http://www.iep.utm.edu/ont-arg/
Define God as X. Prove that X exists.
Any ELI5?
Article:
OED:> "The details of the mathematics involved in Gödel's > ontological proof are complicated, but in essence the > Austrian was arguing that, by definition, God is that > for which no greater can be conceived."> God: a superhuman being or spirit worshipped as having > power over nature or human fortunes; a deity.