person1918-1974

Abraham Robinson

Disciplines:

Summary

German-Israeli mathematician who developed nonstandard analysis — making rigorous the use of infinitesimals in calculus through model theory — rehabilitating the intuitive approach of Leibniz and Newton.

Core Contribution

Nonstandard analysis: using the compactness theorem and the Löwenheim-Skolem theorem, one can construct a model of arithmetic containing actual infinitesimals and infinite numbers; this gives rigorous foundations to Leibniz's original calculus approach.

Key Spikes & Highlights

Erhard Schmiedler worked with him at UCLA to show that the standard and nonstandard approaches are not rivals but equivalent — giving mathematicians genuine freedom to work in whichever framework they prefer.
Leibniz's infinitesimals were dismissed as 'ghosts of departed quantities' by Berkeley — Robinson's work vindicated Leibniz 300 years later by showing the infinitesimals can be made rigorous.

Notable Works & Achievements

Non-standard Analysis

Introduction to Model Theory

Historical Influences

Gottfried Leibniz Kurt Gödel Alfred Tarski

Intellectual Lineage

Mathematical Logic Model Theory

Contemporaries & Peers

Alfred Tarski Kurt Gödel

Minds Influenced

Nonstandard Analysis Model Theory Applications

Intellectual Posterity

Nonstandard Analysis Infinitesimal Calculus

Discussing