Accueil - Boutique - Contact - Assistance
Zone de recherche

Altas Auteurs Recherche thématique Dictionnaire
 

ROBINSON ABRAHAM (1918-1974)

Mathématicien et logicien américain d'origine allemande.

Né à Waldenburg, en Allemagne (l'actuelle Walbrzych polonaise), dans une famille intellectuelle sioniste, Abraham Robinson émigre en Palestine avec sa famille en 1933. Tout en gagnant sa vie et en suivant l'entraînement militaire de la Haganah, il étudie les mathématiques à l'université hébraïque de Jérusalem ; il y manifeste un talent si éclatant que, dès 1938, son maître, le grand logicien Abraham Fraenkel, peut déclarer qu'il n'a plus rien à lui apprendre. En 1939, Robinson obtient une bourse pour étudier à la Sorbonne, mais après quelques mois il doit se réfugier en Angleterre. Brièvement engagé dans les Forces françaises libres, il est bientôt versé au centre de recherches de la Royal Air Force de Farnborough. En très peu de temps, il s'initie à l'aérodynamique et devient d'emblée un spécialiste hors pair d'aérodynamique supersonique. La guerre terminée, après un an de service en tant qu'expert dans l'Allemagne occupée, il est nommé au collège d'aéronautique de Cranfield, où il acquiert une renommée mondiale dans la théorie des ailes en delta.

Tout en poursuivant une fructueuse carrière en mathématiques appliquées (qu'il n'abandonnera jamais complètement, puisque la trentaine d'articles qu'il consacrera aux applications s'échelonneront jusqu'en 1968), Robinson renoue, à partir de 1946, avec la logique mathématique. Avec sa thèse, qu'il soutient en 1949, il s'affirme comme l'un des fondateurs de ce qu'on nommera bientôt la théorie des modèles. Dès lors, l'essentiel de son énergie est consacré à la logique. Son œuvre, qui comprend huit traités et plus de cent articles originaux, le désigne comme l'un des grands logiciens de l'époque moderne. Professeur de mathématiques appliquées à l'université de Toronto (1951-1957), il est professeur de mathématiques et de logique à l'université de Jérusalem (1957-1962), à l'université de Californie, Los Angeles (1962-1967), à Yale enfin où il enseigne jusqu'à sa mort prématurée,  […]

… pour nos abonnés, l'article se prolonge sur 2 pages… Offre essai 7 jours

Thématique

Classification thématique de cet article :

Retour en haut

Autres références

« ROBINSON ABRAHAM (1918-1974) » est également traité dans :

ANALYSE NON STANDARD

Écrit par :  Jean-Michel SALANSKIS

Au* milieu du xxe siècle, le mathématicien et logicien Abraham Robinson (1918-1974) est parvenu à refonder la notion d'infinitésimale – de grandeur infiniment petite – dont Georg Cantor (1845-1918) et Richard Dedekind (1831-1916) étaient supposés avoir délivré la communauté… Lire la suite
HILBERT DAVID (1862-1943)

Écrit par :  Rüdiger INHETVEENJean-Michel KANTORChristian THIEL

Dans le chapitre "Problème 17 : fonctions rationnelles positives sur Rn"  : …  montré aussi le résultat correspondant en remplaçant R par Q. Plus tard, Abraham *Robinson a donné une démonstration qui utilise la logique mathématique (calcul des prédicats). Après Artin, le résultat le plus substantiel a été obtenu par Pfister qui a montré que, dans le problème à coefficients réels, la fonction positive fLire la suite
MALTSEV ANATOLI IVANOVITCH (1909-1967)

Écrit par :  Gabriel SABBAGH

… *Mathématicien soviétique, célèbre pour ses travaux en logique et en algèbre. Les premiers écrits de Maltsev contiennent les idées essentielles d'une bonne partie de son œuvre. Dans son premier et plus célèbre article, Untersuchungen aus dem Gebiete der Mathematischen Logik, 1936, Maltsev démontre la version la plus générale (aucune… Lire la suite
MODÈLES THÉORIE DES

Écrit par :  Daniel ANDLERDaniel LASCARGabriel SABBAGH

Dans le chapitre "Extensions, diagrammes, chaînes"  : …  T équivaut à un ensemble d'énoncés ∀∃. (La réciproque est immédiate.) Théorème de cohérence de *Robinson. Soit L1 et L2 deux langages, L leur intersection (c'est-à-dire l'ensemble des [formules écrites à l'aide des] symboles figurant dans L1 et dans L2). Soit T une théorie complète de L, et TLire la suite

Retour en haut

Voir aussi

Retour en haut

Accueil - Contact - À propos
Consulter les articles d'Encyclopædia Universalis : 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Consulter les articles d'Encyclopædia Britannica.
© 2012, Encyclopædia Universalis France S.A. Tous droits de propriété industrielle et intellectuelle réservés.

chargement du média