What is "true" in mathematics



we here a lot about "true" and "provable"
so what makes a mathematical state "true"

a statement may be provable but what makes it true

http://en.wikipedia.org/wiki/Truth#Truth_in_mathematics

The term has no single definition about which the majority of
professional philosophers and scholars agree. Various theories of truth
continue to be debated. There are differing claims on such questions as
what constitutes truth; how to define and identify truth;


from at least the time of Hilbert's program at the turn of the twentieth
century to the proof of Gödel's theorem and the development of the
Church-Turing thesis in the early part of that century, true statements in
mathematics were generally assumed to be those statements which are
provable in a formal axiomatic system.

The works of Kurt Gödel, Alan Turing, and others shook this assumption,
with the development of statements that are true but cannot be proven
within the system.[29]


so what makes a mathematical statement true

--
Message posted using http://www.talkaboutscience.com/group/sci.logic/
More information at http://www.talkaboutscience.com/faq.html

.



Relevant Pages

  • Re: X = Z
    ... travel a path and return to its beginning, a goal of mathematics is ... that have otherwise generally canonical meaning. ... Fashion has nothing to do with truth. ... appear on the subject of 'primes' above and below mine, ...
    (sci.math)
  • Re: Simple Question and the philosophy of infinity
    ... concepts in mathematics correspond to sensual experiences. ... It's quite possible that nature would operate in no way ... and is thus immune to evidence, it must be the case that evidence ... isn't about this Truth. ...
    (sci.electronics.basics)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?
    ... Its truth condition is stated as ... analysis of what saying "GC is true" means. ... in science and in mathematics. ... Of course, one can also talk of truth for *uninterpreted formulas*, using ...
    (sci.math)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?
    ... Its truth condition is stated as ... analysis of what saying "GC is true" means. ... in science and in mathematics. ... Of course, one can also talk of truth for *uninterpreted formulas*, using ...
    (sci.logic)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?
    ... Its truth condition is stated as ... analysis of what saying "GC is true" means. ... in science and in mathematics. ... Of course, one can also talk of truth for *uninterpreted formulas*, using ...
    (comp.theory)