Re: Is Goedel's formula true?


Aatu Koskensilta wrote:
Newberry wrote:
That is, if I understand it correctly, he is saying that Goedel's
formula is false in the non-standard model.

I missed the "the" when replying earlier.

You correctly filtered it out because it is beside the point.

But perhaps it's not too late
to point out that there is no single non-standard model of PA. The Gödel
sentence of PA is true in some non-standard models and false in others.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, darüber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus

.