FOM: Simpson query
Torkel Franzen
torkel at sm.luth.se
Thu Mar 5 07:18:01 EST 1998
Hartry Field says:
>In the case of number theory I am reluctant to believe that sentences
>formally undecidable in the relevant theory (call it M) are objectively
>indeterminate. [Here I suppress a complication about there being no one
>unique relevant theory, which leads to an analog of higher order vagueness.]
But is it possible to specify any relevant theory at all?
---
Torkel Franzen
More information about the FOM
mailing list