This work proves Godels theorem is invalid for 5 reasons
scribd.com/doc/32970323/God … legitimate
here are 4
“Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete. In particular, for any consistent, effectively generated formal theory that proves certain basic arithmetic truths, there is an arithmetical statement that is true,[1] but not provable in the theory (Kleene 1967, p. 250).”
Godel cant tell us what makes a mathematics statement true thus his theorem is meaningless -as the theorem is about there being true mathematic statements which cant be proven
-
the axiom of the system he uses ie axiom of reducibility outlaws/bans his G statement -it is this G statement which Godel uses to prove his theorem
-
a consequence of Godels theorem is that all provable mathematic statements cant be true-thus placing his proof in paradox
Godels theorem is about
en.wikipedia.org/wiki/G%C3%B6del … ss_theorem
“Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete. In particular, for any consistent, effectively generated formal theory that proves certain basic arithmetic truths, there is an arithmetical statement that is true,[1] but not provable in the theory (Kleene 1967, p. 250).”
thus a condition of truth of a maths statement must be its unprovablity
thus all provable mathematics statements cant be true-including Godels theorem
4)http://en.wikipedia.org/wiki/Gödel%...ss_theorem
“…For each consistent formal theory T having the required small amount of number theory
… provability-within-the-theory-T is not the same as truth; the theory T is incomplete…”
Now it is said godel PROVED
“there are true mathematical statements which cant be proven”
in other words
truth does not equate with proof.- note the wiki quote provability-within-the-theory-T is not the same as truth;
thus
if that theorem is true
then his theorem is false
PROOF
for if the theorem is true-because he proved it
then truth does equate with proof- as it is implied that his proof makes the theorem true
but his theorem says
truth does not equate with proof.
thus a paradox