Computer Scientists "prove" God exists

[Cinjin]

I study both computer science and philosophy in school. I find this dubious. Admittedly, I'm not familiar with Gödel's work outside his incompleteness theorems. But if the article accurately summarizes Gödel's attempt at an ontological proof of God's existence, then he would seem to have made the same fatal conceptual error that St. Anselm made: Treating existence as a precicate, a property. Philosophers widely consider this a problem, since there doesn't seem to be any actual difference between imagining something, and imagining that something as existing.

Edit: The article just seems to indicate the theorem is valid, right? Soundness unknown?

Wow, impressive! Someone on this site actually quoted Anselm! There is hope for this forum after all! Someone made a cogent argument, instead of the regular f-bombs and downtalking, like cornered animals. Love it. wonder if he's an atheist?!?!

There is hope for this forum after all!

Says the person that joined yesterday.
Actually, I've seen several of your posts and all you seem capable of is calling us atheitards and belittling. So I'm gonna call you a name

Hypocrite

Precisely Owlix. Another piece of garbage masquerading in his own self-righteous piety.
You don't like it here Tkcjpii - leave. Why don't you try practicing what you preach and leave quietly.

O thats right. You can't ... because like Owlix said, you're a hypocrite.