Computer Scientists "prove" God exists

[Muslim Scholar]

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?

Gödel said about Islam: "I like Islam, it is consistent [or consequential] idea of religion and open-minded"