Abraham Robinson (1918-1974) was an applied mathematician, logician, and inventor of nonstandard analysis (NSA). Robinson first introduced NSA in a 1961 article, and then in a 1966 book. In the mid 1970s, an axiomatic/syntactic framework for NSA, called Internal Set Theory (IST), was developed by Edward Nelson. At the same time, Karel Hrbacek developed a different axiomatic/syntactic framework, now called HST. The theory SPOT is a subtheory of both IST and HST.
More on infinitesimals
Return to homepage