Godel's Incompleteness theorem and god



05012017, 12:17 PM




RE: Godel's Incompleteness theorem and god
(05012017 11:26 AM)Chas Wrote:(04012017 08:02 PM)Paleophyte Wrote: It's more than a little ironic on several levels that theists should be using Godel's proof that absolute knowledge is unobtainable to demonstrate the existence of their god. And not all formal systems. First order logic is complete and consistent. #sigh 

05012017, 02:37 PM




RE: Godel's Incompleteness theorem and god
(05012017 12:17 PM)GirlyMan Wrote:(05012017 11:26 AM)Chas Wrote: It doesn't say that. It says that any system of knowledge of the complexity of arithmetic cannot be complete within that system, that is using only the rules of that system. "any system of knowledge of the complexity of arithmetic cannot be complete" q.v. Skepticism is not a position; it is an approach to claims. Science is not a subject, but a method. 

05012017, 02:40 PM




RE: Godel's Incompleteness theorem and god
(05012017 02:37 PM)Chas Wrote:(05012017 12:17 PM)GirlyMan Wrote: And not all formal systems. First order logic is complete and consistent. Okay. But first order logic does not require the Peano postulates and Godel's completeness theorem ensures it is complete. Am I missing your point? #sigh 

05012017, 02:45 PM




RE: Godel's Incompleteness theorem and god
(05012017 02:40 PM)GirlyMan Wrote:(05012017 02:37 PM)Chas Wrote: "any system of knowledge of the complexity of arithmetic cannot be complete" q.v. Talking past each other? I did specify the system's complexity. Were you just pointing out that first order predicate logic is simple enough to be complete and consistent? Skepticism is not a position; it is an approach to claims. Science is not a subject, but a method. 

05012017, 02:49 PM




RE: Godel's Incompleteness theorem and god
(05012017 02:45 PM)Chas Wrote:(05012017 02:40 PM)GirlyMan Wrote: Okay. But first order logic does not require the Peano postulates and Godel's completeness theorem ensures it is complete. Am I missing your point? and the fact that first order logic is a formal system. #sigh 



« Next Oldest  Next Newest »

User(s) browsing this thread: 1 Guest(s)