Re: What is "true" in mathematics

On Mar 28, 5:28 am, "elsiemelsi" <cyprin...@xxxxxxxxxxxxxxx> wrote:
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 usinghttp://www.talkaboutscience.com/group/sci.logic/
More information athttp://www.talkaboutscience.com/faq.html

A first order theory allows a subject as abstract to cause a truth.
Convention allows first order logic to relate and a class of truth was
applied abstract subject.

It is completed as a science because foundationally all functional
cause was an abstracted set. A third abstract set caused existance of
function.


F(x,y) = x/y Frege's functional representation was allowed.

Debate stem's from misunderstanding. A third function, Frege's,
caused self existance was found a valid relation.

Some people uninformed hardly believe in higher ordered theory. But it
was always necessary in a complete meaning of cause to set also. All
set them becomes a first order theory allowing any to exist as an
entity of itself.
.

Relevant Pages

  • 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 ...
    (comp.theory)
  • 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: Cerberus and Quine
    ... >> to conform to common sense, ... >> The true philosophy of mathematics ... is not true as it stands, but there is indeed some objective truth to ...
    (comp.theory)