FOM: infinitesimals, infeasible numbers, f.o.g.
torkel at sm.luth.se
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
Nothing you say runs counter to this.
More information about the FOM