![]() ![]() In fact we can show that the undecidable statements presented here always become decidable by adjunction of suitable higher types. Gödel's incompleteness theorem is based on: "The true reason for the incompleteness that is inherent in all formal systems of mathematics lies in the fact that the generation of higher and higher types can be continued into the transfinite whereas every formal system contains at most countably many. I would be very grateful if someone could respond to these questions:Īre there legitimate applications of Gödel's theorems to the existence of God, or theology in general?ĭo any significant philosophers or theologians ever express views of this kind? In fact, I only saw such arguments either in the process of being rebutted, or expressed by people whom I find it very hard to take seriously. Given that nowadays people hold all sorts of irrational views, I can't say I am surprised - but I would be if a serious and respectable person supported such arguments. Personally, I fail to see sense in such reasoning (of course, this does not necessarily say much, because I could be missing something). Arguments against God go like this: "Because of Gödel's Theorem, omniscience is impossible, hence an all-knowing God cannot exist". Arguments for the existence of God run mostly along the lines: "Because of Gödel's Theorem, truth transcends human understanding, and therefore there is God". I have seen it argued that Gödel's Incompleteness Theorems have implications regarding the existence of God. ![]()
0 Comments
Leave a Reply. |