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

Nam Nguyen wrote:
herbzet wrote:

Nam Nguyen wrote:

So, unlike what Baudouin said, whether 0=1, or 0=/=1,
is true does rely on some notion of truth!

What you've shown is that whether 0=1 (or 0=/=1) is true relies
on the structure in which it is interpreted. This, in itself,
relies on a model theoretic notion of truth.

That's right.

Actually that's not quite right. What I showed is that at best
(when T is consistent) the normal truth is just an alias of
provability. Therefore, in technical sense, the notion of truth
can be discarded!

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

Relevant Pages
Loading