Search All of the Math Forum:

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

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Godels theorem end in paradox
Replies: 3   Last Post: Mar 9, 2013 2:17 AM

 Messages: [ Previous | Next ]
 J. Antonio Perez M. Posts: 2,736 Registered: 12/13/04
Re: Godels theorem end in paradox
Posted: Mar 8, 2013 9:41 PM

On Saturday, March 9, 2013 3:59:13 AM UTC+2, sperm...@yahoo.com wrote:

> Australias leading erotic IDIOT colin leslie dean has shown Godels theorem ends in paradoxe
>
>
>
> http://www.scribd.com/doc/32970323/Godels-incompleteness-theorem-invalid-illegitimate
>
>
>
>
> Godels theorem proved that provability is not the same a truth
>
> Ie truth of a maths statement is independent of its proof
>
> or
>
> provability-within-the-theory-T is not the same as truth
>
>
>
> http://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems#Meaning_of_the_first_incompleteness_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)
>
> 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.
>
>
>
> It is shown by colin leslie dean that Godels theorem ends in paradox
>
>
>
> it is said godel PROVED
>
> "there are mathematical true statements which cant be proven"
>
> in other words
>
> truth does not equate with proof.
>
>
>
> as noted in reference
>
> "provability-within-the-theory-T is not the same as truth"
>
> so
>
> if that theorem is true
>
> then his theorem is false
>
>
>
> PROOF
>
> for if the theorem is true-because he has proved it
>
> then truth does equate with proof-
>
> statement
>
> but his theorem says
>
> truth does not equate with proof.
>
>
>
>
> dont just say
>
> godel proved all proven statements are true
>
> but
>
> some true statements cant be proven
>
> for the question then is
>
> what makes those proven statements true
>
> it cant be because they are proven
>
> as the reference states
>
> "provability-within-the-theory-T is not the same as truth"
>
>
>
> thus godels theorem ends in paradox

Date Subject Author
3/8/13 byron
3/8/13 bacle
3/8/13 J. Antonio Perez M.
3/9/13 byron