Not to get lost with the OP subject...
There has been a mutual interest involving both the theist (Christians) and the atheists to stay away from Kurt Gödel as far as the implication his incompleteness theorem could have on the ontological argument regarding God. The atheists were sort of expected to shake the claimed omniscience of God via Kurt's discovery. When any theorem is proven, then the proof is final; there has been no instance of any well-reviewed theorem whose proof would be found later a false conclusion. In a very, very broad sense, the incompleteness theorem takes away the notion that for every well-conceived logical system a proof of any statement within that system can be found. Does that also apply to the omniscient mind of God? If it does, then God is not omniscient.
The Christians, as a whole, would answer predictably claiming that God is above the product of the human mind. But some of the Christians have earned a Th.D. and they don't have the option to respond this way.
But the most controversial aspect of Kurt's activities is his ontological argument for the existence of God, which he never published. It comes in the form of proof and the implication are not favorable to the Christians and the atheists alike. Here is a very important never-mentioned detail:
Statement: Göd is a God-like word. (A similar word to God)
Kurt's argument (in modal logic) deals with the existence of God-like being - not explicitly with the monotheistic God of Christianity, Judaism and Islam. That means, the argument also supports the existence of Zumba, The Sovereign Master God of the Pancake Galaxy, if he is "more almighty" then God.
Kurt's proof is formally correct beyond any doubt, but heavily relies on definitions. That's where the goodies are . . .
The proof got nothing to do with the material evidence or the absence of evidence of God - that's an entirely separate issue.
It's the history and circumstances of his, Liebnitz's and Anselm's (of Cantenbury) proofs where very suspicious links can be found. But the subject is too difficult to follow. I like some of the details, but the whole construct relies on substantial knowledge of the theorems and the axioms that God (interim name - identity unknown) came up with to secretly point to his existence.
The implication of Kurt's argument sends the philosophy of strict atheism straight to the garbage bin, but that's not a surprise to the agnostics.
There has been a mutual interest involving both the theist (Christians) and the atheists to stay away from Kurt Gödel as far as the implication his incompleteness theorem could have on the ontological argument regarding God. The atheists were sort of expected to shake the claimed omniscience of God via Kurt's discovery. When any theorem is proven, then the proof is final; there has been no instance of any well-reviewed theorem whose proof would be found later a false conclusion. In a very, very broad sense, the incompleteness theorem takes away the notion that for every well-conceived logical system a proof of any statement within that system can be found. Does that also apply to the omniscient mind of God? If it does, then God is not omniscient.
The Christians, as a whole, would answer predictably claiming that God is above the product of the human mind. But some of the Christians have earned a Th.D. and they don't have the option to respond this way.
But the most controversial aspect of Kurt's activities is his ontological argument for the existence of God, which he never published. It comes in the form of proof and the implication are not favorable to the Christians and the atheists alike. Here is a very important never-mentioned detail:
Statement: Göd is a God-like word. (A similar word to God)
Kurt's argument (in modal logic) deals with the existence of God-like being - not explicitly with the monotheistic God of Christianity, Judaism and Islam. That means, the argument also supports the existence of Zumba, The Sovereign Master God of the Pancake Galaxy, if he is "more almighty" then God.
Kurt's proof is formally correct beyond any doubt, but heavily relies on definitions. That's where the goodies are . . .
The proof got nothing to do with the material evidence or the absence of evidence of God - that's an entirely separate issue.
It's the history and circumstances of his, Liebnitz's and Anselm's (of Cantenbury) proofs where very suspicious links can be found. But the subject is too difficult to follow. I like some of the details, but the whole construct relies on substantial knowledge of the theorems and the axioms that God (interim name - identity unknown) came up with to secretly point to his existence.
The implication of Kurt's argument sends the philosophy of strict atheism straight to the garbage bin, but that's not a surprise to the agnostics.