(October 27, 2013 at 11:30 am)MindForgedManacle Wrote: 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?!?!