Author |
Topic: Of Godel and god and religious beliefs (Read 4279 times) |
|
Benny
Uberpuzzler
Gender:
Posts: 1024
|
|
Of Godel and god and religious beliefs
« on: Apr 30th, 2008, 1:28pm » |
Quote Modify
|
Since Godel's Incompleteness Theorem is valid, we can then demonstrate that it is impossible for the Bible to be both true and complete. Now, we know that Godel's First Incompleteness Theorem applies to any consistent formal system, but the trouble i'm having is whether or not religious texts are formal systems. Your thoughts, please
|
|
IP Logged |
If we want to understand our world or how to change it we must first understand the rational choices that shape it.
|
|
|
ThudnBlunder
wu::riddles Moderator Uberpuzzler
The dewdrop slides into the shining Sea
Gender:
Posts: 4489
|
on Apr 30th, 2008, 1:28pm, BenVitale wrote: Now, we know that Godel's First Incompleteness Theorem applies to any consistent formal system, but the trouble i'm having is whether or not religious texts are formal systems. |
| Don't worry, the Bible saves you the trouble by being Completely Inconsistent. See attachment.
|
« Last Edit: May 5th, 2008, 3:47pm by ThudnBlunder » |
IP Logged |
THE MEEK SHALL INHERIT THE EARTH.....................................................................er, if that's all right with the rest of you.
|
|
|
towr
wu::riddles Moderator Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: Of Godel and god and religious beliefs
« Reply #2 on: Apr 30th, 2008, 2:33pm » |
Quote Modify
|
on Apr 30th, 2008, 1:28pm, BenVitale wrote:Since Godel's Incompleteness Theorem is valid, we can then demonstrate that it is impossible for the Bible to be both true and complete. |
| Godel's incompleteness theory applies to formal systems that prove basic arithmetical truths. The Bible is neither a formal system, nor does it includes arithmetic. As an example, propositional logic is a consistent and complete formal system.
|
« Last Edit: Apr 30th, 2008, 2:37pm by towr » |
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
Benny
Uberpuzzler
Gender:
Posts: 1024
|
|
Re: Of Godel and god and religious beliefs
« Reply #3 on: Apr 30th, 2008, 2:59pm » |
Quote Modify
|
Is it not possible to apply Godel's Incompleteness Theorem in theological discussions? However, the logic used in theological discussions is rarely well defined, so claims that Godel's Incompleteness Theorem demonstrates that it is impossible to prove (or disprove) the existence of God are worthless in isolation.
|
|
IP Logged |
If we want to understand our world or how to change it we must first understand the rational choices that shape it.
|
|
|
towr
wu::riddles Moderator Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: Of Godel and god and religious beliefs
« Reply #4 on: Apr 30th, 2008, 3:15pm » |
Quote Modify
|
on Apr 30th, 2008, 2:59pm, BenVitale wrote:Is it not possible to apply Godel's Incompleteness Theorem in theological discussions? |
| Not unless they include arithmetic among their theological claims. I suppose you could ask them whether God can determine of any arithmetical statement whether it's true or false. Confident in God's omniscience they are likely to say He can; but Godel proved that impossible. Quote:However, the logic used in theological discussions is rarely well defined |
| It's rarely logic in the formal sense. It's colloquial everyday logic. Quote:so claims that Godel's Incompleteness Theorem demonstrates that it is impossible to prove (or disprove) the existence of God are worthless in isolation. |
| Even if there was a formal theological theory of logic that had something to say about basic arithmetic truth; that still wouldn't imply anything about whether or not the existence of God could be proved in said logic. The incompleteness of arithmetic doesn't stop someone from proving 1+1=2. Incompleteness doesn't state nothing can be proven in the theory; just that there are statements that can neither be proven nor disproven.
|
|
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
Benny
Uberpuzzler
Gender:
Posts: 1024
|
|
Re: Of Godel and god and religious beliefs
« Reply #5 on: Apr 30th, 2008, 8:28pm » |
Quote Modify
|
Yes, Godel's First Incompleteness Theorem applies to any consistent formal system which is sufficiently expressive that it can model ordinary arithmetic, and has a decision procedure for determining whether a given string is an axiom within the formal system (i.e. is "recursive"). I'm still trying to figure out whether or not it is possible to build an argument using Godel's theorems to prove or disprove something, take the proposition: god exist. If that proposition is undecidable, the formal system cannot even deduce that it is undecidable. (This is Godel's Second Incompleteness Theorem, which is rather tricky to prove.) Please bear with me, I need help with this thing. If you are asking yourselves, what the heck I'm doing with this. I answer that this is an exercise in reasoning and a chance for me to deepen my understanding of Godel's theorems.
|
|
IP Logged |
If we want to understand our world or how to change it we must first understand the rational choices that shape it.
|
|
|
rmsgrey
Uberpuzzler
Gender:
Posts: 2873
|
|
Re: Of Godel and god and religious beliefs
« Reply #6 on: May 1st, 2008, 4:43am » |
Quote Modify
|
on Apr 30th, 2008, 3:15pm, towr wrote:I suppose you could ask them whether God can determine of any arithmetical statement whether it's true or false. Confident in God's omniscience they are likely to say He can; but Godel proved that impossible. |
| Doesn't Godel's result only apply to the decidability of statements from within the system? A more capable system can prove/disprove the Godel sentence of a less capable system, but will, in turn, have its own Godel sentence. So God may well be able to determine the status of any arithmetical statement - by using something other than arithmetic to do it.
|
|
IP Logged |
|
|
|
towr
wu::riddles Moderator Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: Of Godel and god and religious beliefs
« Reply #7 on: May 1st, 2008, 5:13am » |
Quote Modify
|
on May 1st, 2008, 4:43am, rmsgrey wrote:Doesn't Godel's result only apply to the decidability of statements from within the system? A more capable system can prove/disprove the Godel sentence of a less capable system, but will, in turn, have its own Godel sentence. So God may well be able to determine the status of any arithmetical statement - by using something other than arithmetic to do it. |
| Oh, right; there might be some other (non-arithmetical) undecidable statement instead. But you could ask God for proofs within the system of arithmetic; of course, at that point it's like asking him to make a square circle. He could tell you it's impossible, but only outside the limits you set.
|
|
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
Grimbal
wu::riddles Moderator Uberpuzzler
Gender:
Posts: 7527
|
|
Re: Of Godel and god and religious beliefs
« Reply #8 on: May 6th, 2008, 6:05am » |
Quote Modify
|
And God said: "Let 1 plus 1 equal 2". And so it was. And God saw that it was good. Can you prove God does not exist? The argument could go like this: God by definition is omnipotent. If God can do everything, He* can create an enemy powerful enough to defeat Him. Either He cannot do such a thing, or He can be defeated. In both cases His power is limited. So there is no omnipotent God. It is a like showing that if a system is powerful enough to prove every mathematical truth, it can express a sentence that proves its own inability to prove everything. *or more likely She.
|
« Last Edit: May 6th, 2008, 6:06am by Grimbal » |
IP Logged |
|
|
|
towr
wu::riddles Moderator Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: Of Godel and god and religious beliefs
« Reply #9 on: May 6th, 2008, 6:54am » |
Quote Modify
|
It depends on what you mean by omnipotent. It seems fair enough to say a being is omnipotent if what (s)he can do is only limited by the logically possible. I don't see why it's a problem that God might be able to do something that ends his omnipotence though. Until he does he still has every potential.
|
|
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
Mickey1
Junior Member
Gender:
Posts: 116
|
|
Re: Of Godel and god and religious beliefs
« Reply #10 on: Nov 2nd, 2010, 7:27am » |
Quote Modify
|
A more general question about Godel (non-religious, for which I apologize). Are we sure the whole width of all theorems can pass his proof, that is, is it not possible that some limitaiton might be inferred from the proof, regarding the nature of the statements which must be true but but not provable. Could it be e.g. that it refers only to statements about provabilities, for example? Or can it be proved for example that any statement about provability can be shown to be equivalent to a traditional aritmetic theorem (relation between numbers)?
|
|
IP Logged |
|
|
|
towr
wu::riddles Moderator Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: Of Godel and god and religious beliefs
« Reply #11 on: Nov 2nd, 2010, 7:59am » |
Quote Modify
|
on Nov 2nd, 2010, 7:27am, Mickey1 wrote:Or can it be proved for example that any statement about provability can be shown to be equivalent to a traditional aritmetic theorem (relation between numbers)? |
| Yes, I believe that is exactly what he did; translating an unprovable statement about provability into an arithmetical statement, by using Gφdel numbering. Consequently any logic in which arithmetical statements are possible will contain unprovable statement. (But other logics might not.)
|
|
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
|