Computer proves that god exists

Posted by Pishky on Monday March 13, 2017 @12:53AM
from the spiegel.de dept.

http://www.spiegel.de/international/germany/scientists-use-computer-to-mathematically-prove-goedel-god-theorem-a-928668.html

( 5 comments | 9 points | on HN )

Re:Computer proves that god exists by pizza on Monday March 13, 2017 @01:27AM (#13855431)

https://en.wikipedia.org/wiki/G%C3%B6del's_ontological_proof

[ Parent | on HN ]

Re:Computer proves that god exists by mshaler on Monday March 13, 2017 @12:06PM (#13859018)

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

[ Parent | on HN ]

Re:Computer proves that god exists by _nalply on Monday March 13, 2017 @05:21AM (#13856327)

Define God as X. Prove that X exists.

[ Parent | on HN ]

Re:Computer proves that god exists by profalseidol on Monday March 13, 2017 @01:57AM (#13855551)

Any ELI5?

[ Parent | on HN ]

Re:Computer proves that god exists by charlesism on Monday March 13, 2017 @04:00AM (#13855989)

Article:

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

[ Parent | on HN ]