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



Nam Nguyen wrote:
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?

Sure. Let "0" be my dad. Let "1" be me. Let "=" be the
relation "father of".

Not sure where you're going with this.

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?

Well, if T |/- F and T |/- ~F then both F and ~F are false.
Is that problematic for you?

--
hz
.

Relevant Pages