Proof of God?

[SoLeftIAmRight]

This discussion thread was locked as off-topic by trotsky (a host of the Skepticism, Science & Pseudoscience group).

[SoLeftIAmRight]

1. confirmed?

Holy Logic: Computer Scientists 'Prove' God Exists

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

Computer Scientists 'Prove' God Exists

http://abcnews.go.com/Technology/computer-scientists-prove-god-exists/story?id=20678984

[uriel1972]

2. We've been having fun with this in the religion group....

Which is probably where it belongs.

[DetlefK]

3. Here's the paper. The premises he uses as a starting-point are highly debatable.

http://arxiv.org/abs/1308.4526

A1: Either a property or its negation is positive, but not both.
Gödel claims there is no morally grey zone. Instead everything is black and white.

A2: A property necessarily implied by a positive property is positive.
Counter-point: The dose makes the poison.

D1: A God-like being possesses all positive properties.
Why shouldn't God be able to be evil if he desires so?

A5: Necessary existence is a positive property.
Meh, I think it's better for some things to not exist. (Like friggin' sharks with friggin' lasers on their heads.)