-sigh-
You have yet to link your sources. I don't like just taking your word on evidence I've yet to come across. You should watch the movie "The God That Wasn't There" or atleast I think that's the title. It's an entire documentary that provides evidence that Jesus didn't exist at all. I'm a little skeptical both ways but I'm pretty sure I have yet to come across evidence that says he had supernatural powers which is why I'm asking you to link a source if possible. If that's not possible.. than all well, just let me know.
-double sigh-
Yes.. but I was speaking hypothetically if you even read all of my post. The only being that would know he/she were all-knowing would be he/she. Just because this hypothetical god thinks he is all-knowing doesn't make it so. If he were all knowing, yes.. he would know he was all-knowing and he truley would be. But if he weren't, he may still think he is all-knowing because he has nothing else to go on. Even a god who thinks themselves as all-knowing may in fact be delusional. That god may be under the control of something even beyond it. And that something may think it is all-knowing and undercontrol of everything but in fact it can't know for certain that it isn't being manipulated by yet another thing beyond itself. This is called the Godel's Incompleteness theroem...
Gödel's First Incompleteness Theorem applies to any consistent formal system which:
Is sufficiently expressive that it can model ordinary arithmetic
Has a decision procedure for determining whether a given string is an axiom within the formal system (i.e. is "recursive")
Gödel showed that in any such system S, it is possible to formulate an expression which says "This statement is unprovable in S".
If such a statement were provable in S, then S would be inconsistent. Hence any such system must either be incomplete or inconsistent. If a formal system is incomplete, then there exist statements within the system which can never be proven to be valid or invalid ('true' or 'false') within the system.
Essentially, Gödel's First Incompleteness Theorem revolves around getting formal systems to formulate a variation on the "Liar Paradox". The classic Liar Paradox sentence in ordinary English is "This sentence is false."
Note that if a proposition is undecidable, the formal system cannot even deduce that it is undecidable. (This is Gödel's Second Incompleteness Theorem, which is rather tricky to prove.)
The logic used in theological discussions is rarely well defined, so claims that Gödel's Incompleteness Theorem demonstrates that it is impossible to prove (or disprove) the existence of God are worthless in isolation.
One can trivially define a formal system in which it is possible to prove the existence of God, simply by having the existence of God stated as an axiom. (This is unlikely to be viewed by atheists as a convincing proof, however.)
It may be possible to succeed in producing a formal system built on axioms that both atheists and theists agree with. It may then be possible to show that Gödel's Incompleteness Theorem holds for that system. However, that would still not demonstrate that it is impossible to prove that God exists within the system. Furthermore, it certainly wouldn't tell us anything about whether it is possible to prove the existence of God generally.
Note also that all of these hypothetical formal systems tell us nothing about the actual existence of God; the formal systems are just abstractions.
Another frequent claim is that Gödel's Incompleteness Theorem demonstrates that a religious text (the Bible, the Book of Mormon or whatever) cannot be both consistent and universally applicable. Religious texts are not formal systems, so such claims are nonsense.
There are a number of books which talk specifically about Gödel's Incompleteness Theorem, and explain concepts such as axiomatic systems, consistency and completeness:
http://www.amazon.com/exec/obidos/AS...ernetInfidels/ Gödel's Proof by Ernest Nagel and James R. Newman.
A thorough discussion of the argument in Godel's proof, as well as its limitations; plus an overview of its historical context.
http://www.amazon.com/exec/obidos/AS...ernetInfidels/ Forever Undecided: A Puzzle Guide to Godel by Raymond Smullyan.
http://www.amazon.com/exec/obidos/AS...ernetInfidels/ Gödel's Incompleteness Theorems, also by Raymond Smullyan.
A more formal, but still very readable, overview of the theorems.
Bookmarks