Re: A question about FOL theories and models

Nam Nguyen wrote:
Consider, for example, the possible situation in which ~GC is
arithmetically (interpreted to be) true, while GC is *also provable*
in Shoenfield's 'N' formal system.

That situation is "possible" only in the sense it's "possible" we're mistaken about pretty much anything, being in reality delusional disembodied brains in vats.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.

Relevant Pages