Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.

Topic: All provable mathathematics statements cant be true- from Godel
Replies: 0

 Search Thread: Advanced Search

 byron Posts: 786 Registered: 3/3/09
All provable mathathematics statements cant be true- from Godel
Posted: Sep 26, 2013 12:09 AM
 Plain Text Reply

godel proved that there are true mathematic statements which cant be proven

http://www.scribd.com/doc/32970323/Godels-incompleteness-theorem-invalid-illegitimate

?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)
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.?

this means then Godels theorem means All provable mathematics statements cant be true including his own theorem

godel proved that there are true mathematic statements which cant be proven

so that entails then that what ever a true mathematics statement is a condition on it being true must be that it cant be proven

that means then
that all provable mathematic statements cant be true
as a condition on being true is that it must be non-provable
Thus godel giving a proof of his theorem means his theorem cant be true as a condition on being true is that it must be non-provable

This place godels theorem in a paradox

Godels theorem is considered true but if it is true then it cant be true as he has proved his theorem but his theorem means then his theorem cant be true as a condition on being true is that it must be non-provable

© Drexel University 1994-2013. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.