Abraham Robinson (1918-1974) was an applied mathematician, logician,
and inventor of *nonstandard analysis* (NSA). Building upon
earlier work by
Skolem (1933), Edwin Hewitt (1948),
Łoś (1955) and others, 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

Kanovei

Infinitesimal topics

More on infinitesimals

Return to homepage