Re: Godel cant tell us what makes a mathematical statement true

Baudouin Le Charlier wrote:


A statement is true just because it is true not because somebody
'relies on the notion of truth'.

Could you think of any circumstance in which 0=1 is true?


To think that something is true only because
it has been proven is the wrongest idea you can conceive.

Suppose for a given formal system T, we define true sentences
as the following:

- T(F) = true iff T |- F.
- T(F) = false otherwise.

What would you think as "wrong" with this definition?


Baudouin


--
"To discover the proper approach to mathematical logic,
we must therefore examine the methods of the mathematician."
(Shoenfield, "Mathematical Logic")
.

Relevant Pages

  • Re: Godel cant tell us what makes a mathematical statement true
    ... 'relies on the notion of truth'. ... it has been proven is the wrongest idea you can conceive. ... T= true iff T |- F. ... we must therefore examine the methods of the mathematician." ...
    (sci.logic)
  • Re: An schizophrenic called Musatov wants destroy Sci-math
    ... is not consistent with the mathematician. ... An attempt to purvey a sense of truth does come at this problem from ... individual pursuit. ... Here is a medium that accomodates this pursuit without ...
    (sci.math)
  • Re: Godels Theorem and Variations
    ... Many of these "Biggest and Best" sites contain not wonderful and lucid ... of the mind and all the mind’s claims to ultimate truth. ... embracing the philosophies of Wittgenstein and the ... One mathematician recently pointed out what Kurt proved was that if you ...
    (sci.math)
  • Re: Looking for Undecidable Propositions in Systems without a certainamountofarthimetic.
    ... compare them for strengths and weakness, in a way that wold help us to better ... he used (viz-a-viz the canonical arithmetic truth system) and my syntactical ... we must therefore examine the methods of the mathematician." ...
    (sci.logic)
  • Re: practical application of Godels Incompleteness Theorem
    ... For exactly the same reason, I don't know what is meant by ... the statements about Obama's toenail and US economy aren't bound by ... and one is free to assign any truth value ... we must therefore examine the methods of the mathematician." ...
    (sci.logic)