Abraham Robinson

Abraham Robinson
Robinson wearing a suit, photographed from the side
Robinson im Jahr 1970
Geboren 6. Oktober 1918
Gestorben 11. April 1974 (55 Jahre)
Alma Mater Hebräische Universität, Universität von London
Bekannt für Nicht standardmäßige Analyse
Wissenschaftliche Karriere
Felder Mathematik
Institutionen Universität von California, Los Angeles, Yale Universität, Universität von Toronto
Doktorand Paul Dienes
Doktorand
Einflüsse

Abraham Robinson (geboren Robinsohn;[1] 6. Oktober 1918 - 11. April 1974) war a Mathematiker Wer ist am weitesten verbreitet für die Entwicklung von Nicht standardmäßige Analyse, ein mathematisch strenges System, bei dem infinitesimal und unendlich Die Zahlen wurden wieder in die moderne Mathematik eingebaut. Fast die Hälfte von Robinsons Papieren war in angewandte Mathematik eher als in reine Mathematik.[2]

Biografie

Er wurde zu einem geboren jüdisch Familie mit stark Zionist Überzeugungen, in Waldenburg, Deutschland, Das ist jetzt Wałbrzych, in Polen. 1933, er ausgewandert zu Britisches Mandat Palästinas, wo er einen ersten Abschluss aus dem verdiente Hebräische Universität. Robinson war in Frankreich wenn der Nazis eingedrungen während Zweiter Weltkrieg, und entkamen von Zug und zu Fuß, wodurch von französischen Soldaten, die sein deutsches Pass misstrauisch sein und von ihnen gebeten wurden, seine Karte zu teilen, die detaillierter war als ihre. Während in London, er schloss sich dem an Freie französische Luftwaffe und trug zur Kriegsanstrengung bei, indem er sich selbst lehrte Aerodynamik und ein Experte für die Tragflächen Wird in den Flügeln von Kampfflugzeugen verwendet.

Nach dem Krieg arbeitete Robinson in London, Toronto, und Jerusalemlandete aber an der Universität von California, Los Angeles 1962.

Arbeit in der Modelltheorie

Er wurde bekannt für seinen Ansatz, die Methoden von zu verwenden Mathematische Logik Probleme angreifen in Analyse und Zusammenfassung Algebra. Er "stellte viele der grundlegenden Vorstellungen von vor Modelltheorie".[3] Mit diesen Methoden fand er eine Art zu verwenden formelle Logik um zu zeigen, dass es selbstkonsistente nicht standardmäßige Modelle der reales Zahlensystem Dazu gehören unendliche und infinitesimale Zahlen. Andere, wie z. Wilhelmus Luxemburg, zeigten, dass die gleichen Ergebnisse mit Verwendung erzielt werden konnten Ultrafilter, was Robinsons Arbeit für Mathematiker zugänglicher machte, denen es fehlte, in der formalen Logik zu trainieren. Robinsons Buch Nicht standardmäßige Analyse wurde 1966 veröffentlicht. Robinson interessierte sich stark für die Geschichte und Philosophie der Mathematik und bemerkte oft, dass er in den Kopf gehen wollte Leibniz, der erste Mathematiker, der versucht, das Konzept von klar zu artikulieren Infinitesimale Zahlen.

Während der UCLA erinnern sich seine Kollegen an ihn als hart, um unterzubringen PhD Studierende aller Fähigkeiten, indem sie Projekte zu den angemessenen Schwierigkeiten finden. Er wurde von ihm umworben Yaleund nach einer anfänglichen Zurückhaltung zog er 1967 dorthin. Im Frühjahr 1973 war er Mitglied der Institut für fortgeschrittenes Studium.[4] Er starb daran Bauchspeicheldrüsenkrebs 1974.

Anmerkungen

  1. ^ O'Connor, John J.; Robertson, Edmund F., "Abraham Robinson", Archiv der Maktorgeschichte des Mathematiks, Universität von St. Andrews
  2. ^ "Robinson -Biographie". www-history.mcs.st-und.ac.uk. Abgerufen 2016-07-10.
  3. ^ Hodges, W: "Eine kürzere Modelltheorie", Seite 182. Cup, 1997
  4. ^ "Abraham Robinson, Institut für fortgeschrittenes Studium". Abgerufen 2017-11-25.

Veröffentlichungen

Siehe auch

Verweise

Externe Links