FORCING, mathématiques

Articles

• COHEN PAUL JOSEPH (1934-2007)

  • Écrit par Gabriel SABBAGH
  • 155 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...

• CONTINU HYPOTHÈSE DU

  • Écrit par Patrick DEHORNOY
  • 2 222 mots
  La méthode de Cohen consiste à ajouter à M des ensembles contrôlés par un ensemble ordonné de M, dit de forcing. Celui-ci introduit une variabilité essentielle. Étant donné un modèle (M, E) et un énoncé ϕ tel que ni ϕ, ni ¬ϕ ne soit prouvable à partir de ZFC, il est fréquent qu'il existe deux...

• ROBINSON ABRAHAM (1918-1974)

  • Écrit par Daniel ANDLER
  • 1 127 mots

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