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.

See also

Fermat

Leibniz

Euler

Cauchy

Riemann

Cantor

Skolem

Heyting

Nelson

Hrbacek

Infinitesimal topics

More on infinitesimals

Return to homepage