FOM: infinitesimals, infeasible numbers, f.o.g.

Torkel Franzen torkel at
Wed Nov 12 05:20:13 EST 1997

  Rick Sommer says:

  >So clearly I'm in agreement with Machover in questioning Franzen's
  >claim: "non-standard analysis as it now exists is not a foundational

  Well, actually neither of you has questioned it, as far as I can see.
To quote my earlier comments,

    In the sense of foundations put forward by
    Steve Simpson, it's not foundational, because it is a mathematical
    theory that comes late in the chain of explanation and justification
    in mathematics.

  Nothing you say runs counter to this.

More information about the FOM mailing list