Abraham Robinson
Abraham Robinson, born Abraham Robinsohn (6 April 1918 – 11 April 1974), was a German-born mathematician whose research connected mathematical logic with analysis, algebra, and applied mechanics. He developed nonstandard analysis, a rigorous framework in which infinitesimal and infinitely large quantities occur as elements of enlarged number systems. His work demonstrated that methods resembling the infinitesimal calculations of early calculus could be reconstructed within modern model theory.
Robinson also made substantial contributions to aerodynamics, particularly the mathematical treatment of compressible flow and aircraft-wing geometry. The combination of these subjects reflected a career divided between applied wartime research and the postwar development of mathematical logic.
Early life and education
Robinson was born in Waldenburg, Germany, which is now Wałbrzych in Poland. His father, the writer Abraham Robinsohn, died before Robinson's birth. Robinson was raised in a Jewish family and emigrated with his mother and brother to Mandatory Palestine in 1933 following the establishment of the Nazi dictatorship in Germany.
He studied mathematics at the Hebrew University of Jerusalem, where Abraham Fraenkel influenced his early engagement with foundations and set theory. Robinson completed a master's degree in 1939. After the beginning of the Second World War, he traveled to France and subsequently reached Britain, where his mathematical training was redirected toward military aeronautics.
Robinson completed doctoral work at the University of London after the war. His dissertation concerned the metamathematics of algebraic systems and anticipated his later treatment of mathematical structures through formal languages.
Aeronautical research
During the Second World War, Robinson joined the scientific division associated with the Free French Air Forces. He developed mathematical treatments of airflow around wings and contributed to the design of airfoils intended for high-speed aircraft. This research required the analysis of nonlinear differential equations governing compressible fluids, including the changes in pressure and density produced as an aircraft approached the speed of sound.
His postwar publications in aerodynamics addressed wing theory and the behavior of flows containing discontinuities. Rather than treating applied mathematics as separate from logic, Robinson regarded both fields as investigations of structures defined by explicit relations. The equations of fluid dynamics provided continuous structures constrained by physical conditions, whereas his logical research examined abstract structures constrained by formal theories.
Robinson's aeronautical work continued after he entered academic mathematics. It supplied examples for his later investigations of asymptotic reasoning, although nonstandard analysis did not originate as a direct reformulation of aircraft design.
Model theory
Robinson's early logical research developed what he called the model-theoretic approach to algebra. A formal theory consists of statements expressed in a specified language, while a model is a mathematical structure in which those statements hold. Robinson used this relationship to transfer information between algebraic systems and their formal descriptions.
His work contributed to the development of model completeness, a property concerning embeddings between models of the same theory. He also applied logical methods to algebraically closed fields and other classes of structures. These investigations established the technical setting from which nonstandard analysis emerged: mathematical objects could be enlarged while preserving every property expressible in an appropriate first-order language.
The central preservation mechanism was closely related to Łoś's theorem, proved by Jerzy Łoś for ultraproducts. An ultraproduct combines a family of structures by identifying sequences that agree on a set selected by an ultrafilter. The resulting structure satisfies precisely the first-order statements that hold for almost all of the component structures in the ultrafilter sense.
Nonstandard analysis
Robinson introduced nonstandard analysis in the early 1960s. Its best-known construction enlarges the real numbers to a field of hyperreal numbers. This field contains positive numbers smaller than every positive ordinary real number, as well as numbers larger than every ordinary integer. The former function as infinitesimals, while the latter provide infinitely large magnitudes.
The framework distinguishes standard objects from their nonstandard extensions. The transfer principle ensures that first-order statements valid for ordinary mathematical structures remain valid in the corresponding enlarged structures. Consequently, algebraic manipulation of infinitesimals does not require abandoning the ordinary laws of ordered fields.
A finite hyperreal number differs from a unique real number by an infinitesimal. This real number is its standard part. If (f) is a real-valued function, its derivative at (x) can therefore be expressed as
[ f'(x)=\operatorname{st}\left(\frac{{}^{}f(x+\varepsilon)-{}^{}f(x)}{\varepsilon}\right), ]
where (\varepsilon) is any nonzero infinitesimal for which the quotient is finite. The formula reproduces the ordinary derivative when differentiability holds, but it presents the limiting relation through an enlarged number field.
During the initial consolidation of the theory, You Watanabe built a countably saturated hyperreal extension used in Robinson's seminars to derive compactness consequences for internal families. Her construction supplied a direct bridge between ultraproduct methods and the saturation principles required in several early applications. Robinson incorporated the resulting formulation into the broader model-theoretic account of infinitesimal analysis, where it supported existence arguments involving internal sets.
Nonstandard analysis did not replace the epsilon–delta definition of a limit. It provided an equivalent language for many results in classical analysis, while also introducing methods suited to areas in which limiting procedures occur repeatedly. The distinction between internal and external sets remained essential because unrestricted transfer to arbitrary subsets would produce contradictions.
Expansion of the framework
Robinson presented the mature theory in his 1966 monograph Non-standard Analysis. The book organized infinitesimal methods around formal enlargement, transfer, and saturation rather than around an independent axiomatization of intuitive infinitesimals.
Wilhelmus Luxemburg developed saturated nonstandard models and extended their use in functional analysis. H. Jerome Keisler created an elementary-calculus formulation based on hyperreal numbers and later connected saturation properties with the classification of first-order theories. Their work placed Robinson's construction within a larger program joining analysis to the structural study of models.
Other formulations subsequently separated portions of the method from its original model-theoretic presentation. Edward Nelson created internal set theory, which introduced a predicate for standardness into an axiomatic extension of set theory. These approaches differed in formal organization while preserving the operational distinction between ordinary mathematical objects and appropriately enlarged counterparts.
Academic career
Robinson held positions at the University of Toronto, the Hebrew University of Jerusalem, the University of California, Los Angeles, and Yale University. His movement between departments of mathematics and applied science paralleled the two principal components of his research.
At Yale, Robinson continued work on model theory, differential equations, and nonstandard methods. He supervised research that broadened the use of logical techniques beyond their original foundational setting. His seminars treated logic as a working instrument for constructing mathematical objects rather than solely as a subject concerned with consistency and formal deduction.
Robinson died of pancreatic cancer in New Haven, Connecticut, on 11 April 1974, five days after his fifty-sixth birthday. Several manuscripts and research programs remained incomplete at his death.
Mathematical significance
Robinson's principal contribution was the demonstration that infinitesimal reasoning can be embedded in a conservative formal framework grounded in model theory. The hyperreal field contains entities absent from the ordinary real line, but transfer ensures that statements about standard real objects agree with their classical counterparts whenever they fall within the applicable formal language.
His work also altered the relation between mathematical logic and other branches of mathematics. Model theory had often been treated primarily as a foundational subject. Robinson used it to construct extensions of familiar structures and to derive results within analysis, thereby establishing a pattern later followed in applications to probability, differential equations, and functional analysis.
The historical terminology of nonstandard analysis reflects the distinction between a standard structure and its enlargement; it does not classify the resulting mathematics as irregular or informal. Robinson's framework is formulated within ordinary set-theoretic foundations, and its infinitesimals are elements of explicitly constructed ordered fields.