Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


Math Forum » Discussions » sci.math.* » sci.math

Topic: What makes a mathematics statement true?
Replies: 16   Last Post: Mar 14, 2013 12:38 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
byron

Posts: 889
Registered: 3/3/09
What makes a mathematics statement true?
Posted: Mar 10, 2013 9:48 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply


What makes a mathematics statement true

godel proved there are true mathematics statement which cant be proven
so what makes these "true mathematics statement which cant be proven" true

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



Australias leading erotic poet colin leslie dean show Godels theorem is meaningless as he cannot tell us what makes a math statement true
http://www.scribd.com/doc/32970323/Godels-incompleteness-theorem-invalid-illegitimate


http://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems#Fir
"Gödel's first incompleteness theorem, perhaps the single most celebrated result in mathematical logic, states that: For any consistent formal, recursively enumerable theory that proves
basic arithmetical truths, an arithmetical statement that is true, but not provable in the theory, can be constructed.1 That is, any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete. "

you see godel referes to true statement
but Godel cant tell us what makes a maths statement true
thus his theorem is meaningless

peter smith the Cambridge expert on Godel admitts Gödel didn't rely on the notion of truth

http://groups.google.com/group/sci.logic/browse_thread/thread/ebde70bc932fc0a7/de566912ee69f0a8?lnk=gst&q=G%C3%B6del+didn%27t+rely+on+the+notion+PETER+smith#de566912ee69f0a8

Quote:
Gödel didn't rely on the notion
of truth"

now because Gödel didn't rely on the notion
of truth he cant tell us whatmakes a maths statements true
thus his theorem is meaningless
it is like me saying there are gibbly statements which cant be proven but not being able to tell you what gibbly statements are, then you all would say my theorem is meaningless

without telling us what makes a maths statement true godels theorem is meaningless as we not know what makes a maths statement true



Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

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