I read the article, but would like more descriptions of the liar sentence's application to Godel's theorem. The fact that a) it is in english, and b) i have not been seriously involved in maths for more than a decade make it hard for me to understand in the terms it is presented.
However i gather he showed that if it is impossible even for truths of arithmetics, relations between natural numbers, to be all proven in a theory which is consistent, it then follows naturally that the whole proven knowledge one can have will never be complete, since it would not even be completein one small field of math.
I have some time now but am having real trouble attempting to explain all this stuff
One last try:
First some background: A mathematical theorem is composed of a bunch of axioms and all the statements that follow from the axioms.
Gödel's Theorem basically says that no matter what theorem you pick (that is capable of expressing elementary arithmetic) there will be always true statements in the theorem that can't be derived from any of the axioms
His proof uses the Gödel Sentence, which is G = "this G cannot be formally derived under the axioms and rules of inference of T ".
Let's try to prove G is true by contradiction: Assume that G can be derived from the axioms of T. If G can be derived from the axioms of T then it would be false and thus T would be inconsistent. (A consistent theory must only contain true sentences or axioms). Therefore our assumption must be false and G is true and since it is true it must be a part of T.
We've proved the truthness of G without using any of the axioms of T. We've basically proved the truth of G outside of the system T, even though it's impossible to prove its truth inside T. G is a true statement within T that cannot be derived by any of its axioms.
And so Gödel's Theorem is proved.
So ANYWAY, Gödel's sentence is the exact same thing as the sentence in the liar's paradox: "This sentence is false"
And double anyway, I was wrong all along. Gödel's Theorem only implies that there are things that can never be proved, not that there are an infinite number of things that remain to be proved. So it doesn't really apply to anything in this discussion anyway