Abonnez-vous à Universalis pour 1 euro

Gabriel SABBAGH

Docteur ès sciences, professeur de mathématiques à l'université de Paris-VII

Articles

  • BOOLE ALGÈBRE & ANNEAU DE

    • Écrit par
    • 608 mots
    • 1 média

    La notion d'algèbre de Boole, introduite par G. Boole (1847) et par A. De Morgan afin d'algébriser les opérations propositionnelles de la logique, joue un rôle très utile dans plusieurs branches des mathématiques (algèbre, théorie des ensembles ordonnés, calcul des probabilités)...

  • BROUWER LUITZEN (1881-1966)

    • Écrit par
    • 117 mots

    Logicien et mathématicien hollandais, né à Amsterdam, Brouwer est l'un des fondateurs de la topologie algébrique. Il en a démontré l'un des plus beaux théorèmes, le théorème du point fixe, dont les applications et généralisations, de la théorie des jeux aux équations différentielles, se sont révélées...

  • COHEN PAUL JOSEPH (1934-2007)

    • Écrit par
    • 154 mots

    Mathématicien et logicien américain, Paul Joseph Cohen est né le 2 avril 1934 à Long Branch (New Jersey) et mort le 23 mars 2007 à Stanford (Californie). En 1963, Cohen a découvert une nouvelle construction de modèles, appelée forcing, qui joue désormais un rôle fondamental dans la théorie des...

  • GENTZEN GERHARD (1909-1945)

    • Écrit par
    • 133 mots

    Logicien allemand, né à Greifswald et mort à Prague lors de son emprisonnement par les Soviétiques. Gentzen a développé l'étude des systèmes de déduction naturelle et établi un théorème d'élimination des coupures. Gerhard Gentzen a également donné une démonstration de consistance de l'arithmétique...

  • HERBRAND JACQUES (1908-1931)

    • Écrit par
    • 87 mots

    Logicien et mathématicien français né à Paris et mort à Saint-Christophe-en-Oisans dans un accident de montagne. La brève carrière de Jacques Herbrand est marquée par sa démonstration, essentiellement correcte, d'un théorème central du calcul des prédicats du premier ordre, qui a...

  • MALTSEV ANATOLI IVANOVITCH (1909-1967)

    • Écrit par
    • 635 mots

    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...

  • MODÈLES THÉORIE DES

    • Écrit par , et
    • 7 801 mots

    « Modèle » est un terme qui appartient au vocabulaire de la plupart des sciences et qui a des significations multiples. Ainsi, dans les sciences humaines, on entend généralement par modèle une théorie conçue pour expliquer un ensemble de phénomènes, alors qu'en logique mathématique on parle des modèles...

  • ROBINSON JULIA (1919-1985)

    • Écrit par
    • 1 013 mots

    Née le 8 décembre 1919 à Saint. Louis, dans le Missouri, Julia Robinson fut une logicienne éminente et la mathématicienne américaine la plus connue du xxe siècle. Épouse d'un mathématicien de grand talent, Raphael M. Robinson, professeur à l'université de Californie à Berkeley, elle vit sa carrière...

  • SKOLEM ALBERT THORALF (1887-1963)

    • Écrit par
    • 439 mots

    Logicien et mathématicien norvégien né à Sandsvaer et mort à Oslo. Ses travaux en algèbre (théorème de Skolem-Noether pour les algèbres associatives) et en théorie des nombres (introduction des méthodes p-adiques dans la théorie des équations diophantiennes), qui lui vaudraient,...

  • ZERMELO ERNST (1871-1953)

    • Écrit par
    • 187 mots

    Mathématicien et logicien allemand, né à Berlin et mort à Fribourg-en-Brisgau, fondateur de la théorie axiomatique des ensembles. En 1904, Ernst Zermelo explicite l'axiome du choix et en déduit que tout ensemble peut être bien ordonné, résultat déjà conjecturé par Moritz Cantor et permettant...