Abraham Robinson (1918-1974) lived his youth in the troubled years of nazism and World War II in Europe, being led to work for the Air Forse in the defence of London and developing a deep and longstanding interest in aeronautics (especially supersonic flight) and in general in applied mathematics. With the advent of peace he resumed also his early involvement with logic, studied in Jerusalem with a.a. Fraenkel, and became one of the most influential mathematical logician of the twentieth century. He gave shape to the discipline of model theory, developing the metamathematics of algebra with the introduction of many new concepts, such as model-completeness, techniques for completeness and quantifier elimination, and new structures; in the sixties he invented Nonstandard Analysis and model-theoretic forcing. Robinson was one of the last universal mathematician.
EUT Edizioni Università di Trieste
Gabriele Lolli, "Abraham Robinson", in "APhEx 20", 2019, pp. 39