Gabriel SABBAGH

• BOOLE ALGÈBRE & ANNEAU DE

  • Écrit par Gabriel SABBAGH
  • 3 338 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 Gabriel SABBAGH
  • 639 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[...]

• COHEN PAUL JOSEPH (1934-2007)

  • Écrit par Gabriel SABBAGH
  • 844 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[...]

• GENTZEN GERHARD (1909-1945)

  • Écrit par Gabriel SABBAGH
  • 727 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 Gabriel SABBAGH
  • 472 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[...]

• MALTSEV ANATOLI IVANOVITCH (1909-1967)

  • Écrit par Gabriel SABBAGH
  • 3 486 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[...]

• MODÈLES THÉORIE DES

  • Écrit par Daniel ANDLER, Daniel LASCAR, Gabriel SABBAGH
  • 42 899 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[...]

• ROBINSON JULIA (1919-1985)

  • Écrit par Gabriel SABBAGH
  • 5 564 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 xx ^e siècle. Épouse d'un mathématicien de grand talent, Raphael M. Robinson, professeur à l'université de Californie à Berkeley, elle vit sa[...]

• SKOLEM ALBERT THORALF (1887-1963)

  • Écrit par Gabriel SABBAGH
  • 2 410 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[...]

• ZERMELO ERNST (1871-1953)

  • Écrit par Gabriel SABBAGH
  • 1 022 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[...]