Computer proves that god exists

  > "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."

OED:

  > God: a superhuman being or spirit worshipped as having
  > power over nature or human fortunes; a deity.

Re: Computer proves that god exists

#6

Post by _nalply » Mon, Mar 13, 2017, 9:21 AM UTC

Define God as X. Prove that X exists.

Re: Computer proves that god exists

#7

Post by mshaler » Mon, Mar 13, 2017, 4:06 PM UTC

Anselm put forth the first documented version of the ontological argument in 1078, FWIW. http://www.iep.utm.edu/ont-arg/