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