鲁宾逊非阿基米德数学观

鲁宾逊非阿基米德数学观
  说明：本文附件是鲁宾逊个人传记，是一份珍贵的历史文献。
鲁宾逊（1918-1974），从年轻时代开始就关注抽象代数系统与数理逻辑模型理论的研究，发表了多篇具有原创性的研究论文。
鲁宾逊最大的数学贡献是创立非标准分析，其本质特征是非阿基米德数学观的确立，给我们留下宝贵的数学遗产。
有兴趣的读者，请见附件的后半部分文字。
袁萌  陈启清  9月11日 
附件：
Abraham Robinson
Born: 6 October 1918 in Waldenburg, Germany (now Wałbrzych, Poland)
Died: 11 April 1974 in New Haven, Connecticut, USA

Click the picture above
to see four larger pictures 
Show birthplace location
Main Index 
Biographies index 

 

We should note at the outset that in fact Abraham Robinson's family name was Robinsohn rather than Robinson, but we shall refer throughout this article to Robinson, the version which he used after 1940. Abraham Robinson's father was also named Abraham Robinson and his mother was Hedwig Lotte. He was the second child of the family, his older brother Saul Robinson also went on to have an outstanding career; he became an expert on comparative education. Abraham Robinson senior was also a highly talented man. After studying chemistry he became an important writer and philosopher but Abraham junior never knew his father for he died shortly before Abraham junior was born. 
It was a Jewish family and although Abraham Robinson senior was a Zionist he had never been to Palestine but he had accepted the position of head of the Hebrew National Library in Jerusalem just before he died. Hedwig Robinson was a teacher and she brought up her two sons in Germany until 1933 when Abraham was fourteen years old. Although little is known of Abraham during these years, some notebooks which he owned have survived [18]:-
... containing poems and plays, suggesting a sensitive observant child with an ambition to write.
Clearly the family had always been attracted to Jerusalem but the anti-Jewish legislation introduced into Germany in 1933 indicated very clearly that it was time to leave. On 30 January 1933 Hitler came to power and on 7 April 1933 the Civil Service Law provided the means of removing Jewish teachers from the schools and universities, and of course also to remove those of Jewish descent from other roles. All civil servants who were not of Aryan descent (having one grandparent of the Jewish religion made someone non-Aryan) were to be retired. Hedwig, Abraham and Saul Robinson avoided the problems that Jews would have in Germany from 1933 by starting a new life in Palestine. 
There Robinson completed his schooling and, in 1935, began studying mathematics under Fraenkel and Levitzki at the Hebrew University of Jerusalem. Robinson was a brilliant student and, after graduating in 1939, he was awarded a scholarship to allow him to study at the Sorbonne in Paris. After only a few months of study he was forced to flee when the Germans invaded France. After reaching England on one of the last small boats from Bordeaux to evacuate refugees, he changed his name from Robinsohn. 
As an undergraduate at the Hebrew University Robinson has been \interested in both algebra and mathematical logic. However, once in England he enlisted in the Free French Air Force and, because he was a mathematician, he was sent in 1941 to the Royal Aircraft Establishment at Farnborough where he became a Scientific Officer. Rapidly he became an expert in aerodynamics and for the rest of World War II he worked on delta wings and supersonic flow. He was sent to Germany in 1945, still in his role as Scientific Officer, and then in 1946 he was appointed as a senior lecturer at the College of Aeronautics at Cranfield. Young writes in [20]:-
At Cranfield his interests in the aerodynamic theory of wings, both in subsonic and supersonic flow, broadened and became increasingly comprehensive.
By now Robinson was a world leading authority in aerodynamics yet he continued with his interest in mathematical logic. In 1946 he was awarded a Master's Degree from the Hebrew University in Jerusalem and, following this, he began research at London University receiving a Ph.D. from London in 1949 for pioneering work in model theory and the metamathematics of algebraic systems. 
He went to the University of Toronto in 1951 to take up a chair of applied mathematics but left for Jerusalem in 1957 to fill Fraenkel's chair at the Hebrew University. He was Chairman of the Mathematics Department there until 1962 when he accepted the professorship of Mathematics and Philosophy at the University of California, Los Angeles. In 1967 he moved again, but remaining in the United States he went to Yale University as Professor of Mathematics. Other than changing his chair to the Sterling Professor of Mathematics at Yale in 1971 he remained there until his death. He was diagnosed as having cancer of the pancreas in 1973, underwent an operation in November of that year, but died a few months later. A collection of papers Model theory and algebra was published in 1975 as a memorial tribute to Robinson. The editors' foreword states:-
The sudden fatal illness of Abraham Robinson came as a great shock to many people around the world. For Robinson was more than an excellent mathematician. He was also a person whom one came very quickly to like very much. Those swift sad months of November 1973-April 1974 were for those at Yale tinged with a sense of unreality. He was gone before anyone could come to grips with what was happening. We sought a way of expressing our respect and our sense of personal loss. This volume was the best way we knew.
Robinson was a leading expert in remarkably different areas of mathematics. The article [20] lists 130 papers and nine books which he wrote. Let us examine first his contributions to applied mathematics. Only one of his books deals with applied mathematics but it may surprise mathematicians who think of Robinson only as a mathematical logician to realise that almost half his papers are on applied mathematics, particularly on aerodynamics. The one applied mathematics book is Wing theory written jointly with J A Laurmann and published in 1956. Lighthill, reviewing the work, wrote:-
This is an admirable compendium of the mathematical theories of the aerodynamics of aerofoils and wings. Almost all the important results are referred to, even though there can be only a brief reference to literature in connection with the more difficult topics. ... It should be an invaluable introduction to wing aerodynamics for mathematically-minded students, as well as a solid stand-by for purposes of reference for all workers in this and allied fields.
Robinson is best known, however, for his work on mathematical logic. His doctorate from the Hebrew University in 1949 was The metamathematics of algebraic systems and this became his first book published in 1951. He published Complete theories in 1956 which was written to study the properties of model-completeness and bounding transform. He applied these two concepts to the elementary theories of certain mathematical structures. Robinson's contributions to model theory were developed during his time at the University of Toronto. He weaved his many contributions and papers into a treatise Introduction to model theory and to the metamathematics of algebra published in 1963. Engeler wrote:-
This is ... the first attempt to write a connected exposition of the new subject of model theory. The main body of the work consists of rewritten versions of the author's main contributions to the subject, which are brought into a smooth and eminently readable sequence. ... there results as complete a survey as can be expected at this time from any single author.
Robinson's most famous invention was non-standard analysis which he introduced in 1961. Kochen writes in [20]:-
I want to emphasise that non-standard analysis was not a sudden tangential direction in which Robinson moved. Rather, it was the systematic application of the same viewpoint which he earlier applied to algebra to the study of analysis.
Fenyo has explained the ideas behind the theory:-
[Robinson's] theory is based on the metamathematical fact that the system of real numbers is incomplete. Thus, there exist extensions of the field of real numbers that possess all the properties of the system of real numbers that are formulated in the lower predicate calculus in terms of some given set of relations. Proper extensions of noncomplete theories are often referred to as non-standard models. A non-standard model for the system of real numbers has the feature of being a non-Archimedean totally ordered field which contains a copy of the real number system.
In 1966 Robinson published his famous text Non-standard analysis. Kreisel wrote:-
This book, which appeared just 250 years after Leibniz's death, presents a rigorous and efficient theory of infinitesimals obeying, as Leibniz wanted, the same laws as the ordinary numbers. 
We end this biography by giving some comments on Robinson's personality. In [20] this appreciation is given:-
He had the humility and the kindness of the truly great, he was interested in people and he found it easy to like them and he patronised no-one. He was deeply concerned with most forms of human culture and creativity, and on all he could converse with the fascinating combination of logic, insight and knowledge that characterised his mathematics.
Macintyre, in [18], writes:-
Robinson was a gentleman, unfailingly courteous, with inexhaustible enthusiasm. He took modest pleasure in his many honours. He was much respected for his willingness to listen, and for the sincerity of his advice.
Finally let us quote from Korner's tribute to Robinson during the memorial service at Yale University on 15 September 1974:-
When one considers the wealth, profundity and diversity of his interests and the continuous interplay in his thinking of pure mathematics, applied mathematics, logic and philosophy one is constantly reminded of Leibniz to whom he felt a natural affinity and for whom he had the deepest admiration. The one Leibnizian idea in which he could see little merit was Leibniz's 'principe de meilleur' according to which the world is the best of all possible worlds. I remember his asking me more than once in his gently ironic way whether I could make any sense of this principle. Today I should like to offer a partial answer: It cannot be a wholly bad worlds in which an Abraham Robinson could live and think; in which his wife and friends are able to cherish his memory; and in which his life's work will be remembered as long as logic, mathematics and philosophy matter to mankind.
Article by: J J O'Connor and E F Robertson
Click on this link to see a list of the Glossary entries for this page 

List of References (20 books/articles)

A Quotation

A Poster of Abraham Robinson

Mathematicians born in the same country

Additional Material in MacTutor 
Mandelbrot's Foreword to Dauben's Abraham Robinson 
An entry in The Mathematical Gazetteer of the British Isles

Honours awarded to Abraham Robinson
(Click below for those honoured in this way) 
1.
 BMC plenary speaker
 1970 
2.
 Hedrick lecturer
 1971 
3.
 Dutch Mathematical Society Brouwer Medal
 1973 
Cross-references in MacTutor 
History Topics: Infinity 

Other Web sites
Dictionary of Scientific Biography 
Dictionary of National Biography 
G Don Allen 
Mathematical Genealogy Project 
MathSciNet Author profile 
zbMATH entry 

Main Index 
Biographies index 

JOC/EFR © July 2000
Copyright information 
School of Mathematics and Statistics 
University of St Andrews, Scotland 
 
The URL of this page is:
https://www-history.mcs.st-andrews.ac.uk/Biographies/Robinson.html