www.fmath.info

Présentation

Wikipedia

Il était une famille juive et, bien que les hauts Abraham Robinson a été un sioniste, il n'a jamais été à la Palestine mais il a accepté le poste de chef de la Bibliothèque nationale hébreu à Jérusalem juste avant sa mort. Hedwig Robinson a été un enseignant et elle a mis ses deux fils en Allemagne jusqu'en 1933 quand Abraham a été quatorze ans. Bien que l'on sait peu de choses d'Abraham au cours de ces années, certains blocs-notes dont il a la propriété ont survécu:

... contenant des poèmes et pièces de théâtre, suggérant un enfant sensible attentif avec l'ambition d'écrire.

Il est clair que la famille a toujours été attiré à Jérusalem, mais l'anti-juive législation introduite en Allemagne en 1933 a indiqué très clairement qu'il était temps de partir. Le 30 Janvier 1933 Hitler est arrivé au pouvoir et le 7 avril 1933, le loi sur la fonction publique à condition que les moyens d'éliminer les enseignants juifs des écoles et des universités, et aussi, bien entendu, à supprimer ceux de l'ascendance juive en provenance d'autres rôles. Tous les fonctionnaires qui ne sont pas de descendance aryenne (ayant un grand-parent de la religion juive a fait une non-aryenne) devaient être retirées. Hedwig, Abraham et Saul Robinson éviter les problèmes que les Juifs auraient en Allemagne de 1933 en lançant une nouvelle vie en Palestine.

Il Robinson a terminé sa scolarité et, en 1935, a commencé à étudier les mathématiques sous Levitzki Fraenkel et à l'Université hébraïque de Jérusalem. Robinson a été un étudiant brillant et, après avoir obtenu son diplôme en 1939, il a reçu une bourse pour lui permettre d'étudier à la Sorbonne à Paris. Après seulement quelques mois d'études, il a été forcé de fuir lorsque les Allemands ont envahi la France. Après avoir atteint l'Angleterre sur l'un des derniers petits bateaux de Bordeaux à évacuer les réfugiés, il a changé son nom de Robinsohn.

Comme un étudiant à l'Université hébraïque Robinson a été intéressé dans les deux algèbre et la logique mathématique. Cependant, une fois en Angleterre, il s'engagea dans la France libre et l'armée de l'air, parce qu'il était un mathématicien, il fut envoyé en 1941 au Royal Aircraft Establishment au Salon de Farnborough où il est devenu un agent scientifique. Rapidement, il est devenu un expert en aérodynamique et jusqu'à la fin de la Seconde Guerre mondiale, il a travaillé sur les ailes delta et flux supersonique. Il a été envoyé à l'Allemagne en 1945, toujours dans son rôle d'agent scientifique, puis en 1946, il a été nommé maître de conférences au Collège de l'aéronautique à Cranfield. Young écrit:

À Cranfield ses intérêts dans la théorie de l'aérodynamique des ailes, à la fois dans subsoniques et supersoniques flux, élargi et est devenu de plus en plus globale.

A l'heure actuelle, Robinson a été l'un des leaders mondiaux autorité en aérodynamique mais il a continué avec son intérêt pour la logique mathématique. En 1946, il a obtenu un Master's Degree de l'Université hébraïque de Jérusalem et, à la suite de cela, il a commencé la recherche à l'Université de Londres réception d'un doctorat de Londres en 1949 pour travail de pionnier dans le modèle et la théorie Metamathematics de systèmes algébriques.

Il s'est rendu à l'Université de Toronto en 1951 pour prendre une chaise de mathématiques appliquées, mais à gauche pour Jérusalem en 1957 pour combler Fraenkel l 'chaire à l'Université hébraïque. Il a été président du département de Mathématiques jusqu'en 1962 quand il a accepté le poste de professeur de mathématiques et de philosophie à l'Université de Californie, Los Angeles. En 1967, il déménage à nouveau, mais encore aux États-Unis, il se rendit à l'université de Yale comme professeur de mathématiques. Autres que de changer sa chaise à la Sterling professeur de mathématiques à Yale en 1971, il y demeura jusqu'à sa mort. Il a été diagnostiqué comme ayant le cancer du pancréas en 1973, a subi une opération en Novembre de la même année, mais il est mort quelques mois plus tard. Une collection de documents de théorie des modèles et l'algèbre a été publié en 1975 comme un hommage à la mémoire Robinson. Les éditeurs des États avant:

La soudaine maladie mortelle de Abraham Robinson fut un grand choc pour beaucoup de gens à travers le monde. Pour Robinson a été plus de un excellent mathématicien. Il a également été une personne qui est venu très rapidement comme à beaucoup. Ces rapide triste mois de Novembre 1973-avril 1974 devaient pour ceux à Yale teinté d'un sentiment d'irréalité. Il avait disparu avant que n'importe qui pourrait venir à bout de ce qui se passait. Nous avons cherché une façon d'exprimer notre respect et notre sentiment de perte. Ce volume est la meilleure façon nous savions.

Robinson a été l'un des principaux experts dans remarquablement différents domaines des mathématiques. L'article 130 listes et documents de neuf livres qu'il a écrit. Laissez-nous examiner, en premier lieu à ses contributions en mathématiques appliquées. Seulement un de ses livres traite des mathématiques appliquées, mais il mai surprise mathématiciens qui pense de Robinson seulement comme un logicien mathématique de se rendre compte que près de la moitié de ses papiers sont en mathématiques appliquées, en particulier sur l'aérodynamique. L'un des mathématiques appliquées livre est écrit Wing théorie conjointement avec JA Laurmann et publié en 1956. Lighthill, passant en revue les travaux, a écrit:

C'est un admirable recueil des théories mathématiques de l'aérodynamique des ailes et aerofoils. Presque tous les résultats importants sont mentionnés, même si il peut y avoir seulement une brève référence à la littérature en rapport avec les sujets plus difficiles. ... Il devrait être une précieuse introduction à l'aérodynamique de l'aile mathématiquement d'esprit des étudiants, ainsi qu'une solide stand-by à des fins de référence pour tous les travailleurs dans ce domaine et alliés.

Robinson est plus connu, cependant, pour ses travaux sur la logique mathématique. Son doctorat de l'Université hébraïque de Jérusalem en 1949 était la Metamathematics de systèmes algébriques et ce fut son premier livre publié en 1951. Il a publié des théories complet en 1956 qui a été écrit pour étudier les propriétés du modèle-l'exhaustivité et de délimitation transformer. Il a appliqué ces deux notions élémentaires de la théorie de certaines structures mathématiques. Robinson contributions à la théorie du modèle ont été développés au cours de son temps à l'Université de Toronto. Il a tissé ses nombreuses contributions et des documents dans un traité Introduction à la théorie du modèle et à la Metamathematics de l'algèbre publié en 1963. Engeler a écrit:

This is ... la première tentative d'écrire une exposition connectés du nouveau modèle objet de la théorie. Le corps principal du travail consiste à réécrire les versions de l'auteur Parmi les principales contributions à ce sujet, qui sont introduits dans un bon et éminemment lisible séquence. ... il résultats d'une enquête complète que l'on peut s'attendre à ce moment et depuis n'importe quel auteur.

Robinson le plus célèbre invention a été non-analyse standard qui il a présenté en 1961. Kochen écrit:

Je tiens à souligner que la non-analyse standard n'a pas été une soudaine tangentiel direction dans laquelle Robinson déplacé. Au contraire, il a été l'application systématique du même point de vue dont il a précédemment appliqué à l'algèbre à l'étude d'analyse.

Fenyo a expliqué les idées derrière la théorie:

[Robinson] théorie est basée sur la metamathematical fait que le système des nombres réels est incomplète. Ainsi, il existe des extensions du champ des nombres réels qui possèdent toutes les propriétés du système des nombres réels qui sont formulées dans le calcul des prédicats du moins en termes de certaines ensemble des relations. Propres extensions de noncomplete théories sont souvent désignés comme non-modèles standard. Un non-modèle standard pour le système des nombres réels a la caractéristique d'être un non-archimédiens classés totalement domaine qui contient une copie du nombre réel.

En 1966, Robinson a publié son célèbre texte non-analyse standard. Kreisel a écrit:

Ce livre, qui semble juste 250 ans après Leibniz 's la mort, présente une rigoureuse et efficace infinitesimals théorie de l'obéissance, comme le voulait Leibniz, les mêmes lois que les numéros ordinaires.

Nous terminons cette biographie en donnant quelques commentaires sur la personnalité de Robinson. Dans cette appréciation est donnée:

Il avait l'humilité et la gentillesse des très grands, il a été intéressés par des gens et il a trouvé qu'il était facile d'aimer les patronised et il ne l'est. Il est profondément préoccupé par la plupart des formes de la culture humaine et la créativité, et sur tout ce qu'il pouvait converser avec la fascinante combinaison de la logique, de connaissance et des connaissances qui caractérise son mathématiques.

Macintyre, dans, écrit:

Robinson a été un gentleman, toujours courtois, avec enthousiasme inépuisable. Il a pris plaisir modeste dans ses nombreuses distinctions. Il était très respecté pour sa disponibilité à écouter, et pour la sincérité de ses conseils.

Enfin permettez-nous de citer l'hommage de Korner à Robinson au cours de la cérémonie commémorative à l'université de Yale le 15 Septembre 1974:

Si l'on considère la richesse, la profondeur et la diversité de ses intérêts et l'interaction continue entre dans sa pensée de mathématiques pures, mathématiques appliquées, la logique et une philosophie est constamment rappelé de Leibniz à qui il a ressenti une affinité naturelle et dont il avait la plus profonde admiration . Le leibnizienne une idée dans laquelle il a pu voir peu de mérite a été Leibniz 's' principe de meilleur "selon lesquelles le monde est le meilleur des mondes possibles. Je me souviens de son me demande plus d'une fois dans sa façon légèrement ironique si je pouvais faire tout sens de ce principe. Aujourd'hui, je tiens à offrir une réponse partielle: elle ne peut être entièrement une mauvaise mondes dans lequel un Abraham Robinson pourrait vivre et de penser, où sa femme et ses amis sont en mesure de prendre soin de sa mémoire et dans lequel l'œuvre de sa vie restera dans les mémoires comme longtemps que la logique, les mathématiques et la philosophie question à l'humanité.

Source:School of Mathematics and Statistics University of St Andrews, Scotland