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

[Torkel Franzen]

  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
  >subject."

  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.