RE: Computer Scientists "prove" God exists
October 27, 2013 at 11:30 am
(This post was last modified: October 27, 2013 at 11:38 am by MindForgedManacle.)
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?
Edit: The article just seems to indicate the theorem is valid, right? Soundness unknown?