Abraham Robinson ( eng. Abraham Robinson , October 6, 1918 - April 11, 1974 ) - American mathematician , creator of "non-standard analysis . " Robinson proved that the field of real numbers can be expanded to a set containing infinitesimal and infinitely large quantities in the sense that Leibniz and other mathematicians of the eighteenth century put into these concepts.
| Abraham Robinson | |
|---|---|
| Abraham robinson | |
 | |
| Date of Birth | October 6, 1918 |
| Place of Birth | Walbrzych |
| Date of death | April 11, 1974 (55 years old) |
| Place of death | New Haven (Connecticut) |
| A country | |
| Scientific field | mathematical logic |
| Place of work | |
| Alma mater | Hebrew University |
| supervisor | |
| Known as | custom analysis developer |
| Awards and prizes | Brauer Medal (1973) |
Content
Biography
Abraham Robinson was born in the German city of Waldenburg (today Walbrzych , Poland ), into a Jewish family. Initially, his surname was Robinson ( German: Robinsohn ), after the outbreak of World War II, he switched to English spelling of the surname.
Abraham's father, a writer (chemist by education), died shortly after the birth of his son.
When the Nazis came to power in Germany ( 1933 ), Abraham was 15 years old. The family (mother and two sons) left for Palestine .
In 1935, Robinson entered the Hebrew University of Jerusalem , who graduated with honors and was sent to Paris ( 1939 ) to continue his education at the Sorbonne . Therefore, the beginning of World War II caught him in France.
On one of the last ships, Robinson escaped from advancing Nazi troops to England, where he was enlisted in the Fighting France movement as an expert in aerodynamics and flying at supersonic speeds. Towards the end of the war, he became an outstanding specialist in this field, but continued research on mathematical logic , which he was fond of at university.
After the war, Robinson worked for some time in London . In 1946, he received a diploma from Hebrew University, and in 1949 he defended his dissertation in London on the topic: “Metamathematics of Algebraic Systems”.
In 1951-1957 occupies the Department of Applied Mathematics in Toronto ( Canada ), then teaches 5 years at Hebrew University.
In 1962, Robinson finally relocated to the United States . The first 5 years he taught at the University of California ( Los Angeles ).
In 1967, Robinson moved to Yale .
Died of cancer in 1974 .
Works
World fame came to Robinson after the publication (since 1961 ) of several articles substantiating "non-standard analysis" , which were then expanded into a monograph ( Non-standard Analysis , 1966 ). It turned out that there is a consistent analysis model in which the infinitesimal are correctly defined numbers, and with them arithmetic can be performed in the spirit of Leibniz , without involving the concept of limit . Thus, the old problem was solved: why mathematicians of the 18th century, performing actions that are illegal from the point of view of the classical theory, nevertheless received the correct results.
Major works
Abraham Robinson is the author of 9 books and about 130 articles in various fields of fundamental and applied mathematics.
- ( 1951 ): The metamathematics of algebraic systems. North-Holland, Amsterdam (dissertation).
- ( 1956 ): Complete theories. North-Holland, Amsterdam.
- ( 1956 ): Wing theory (with JL Laurmann). Cambridge Univ. Press
- ( 1963 ): Introduction to model theory and to the metamathematics of algebra. North-Holland, Amsterdam.
- ( 1966 ): Non-standard analysis. North-Holland, Amsterdam.
- ( 1979 ): Selected papers, Yale University Press.
- Vol. 1 Theory of models.
- Vol. 2 Philosophy and non-standard analysis.
- Vol. 3 Aerodynamics.
Translations into Russian
- Robinson A. Introduction to the theory of models and meta-mathematics of algebra. Series "Mathematical logic and foundations of mathematics." M .: Nauka, 1967, 378 p.
Links
- Kutateladze S.S. Abraham Robinson - creator of non-standard analysis (2013).
- John J. O'Connor and Edmund F. Robertson . Robinson, Abraham (eng.) - biography in the MacTutor archive.