Computer proves that god exists (spiegel.de)

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