FOM: Simpson query

Torkel Franzen torkel at
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