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 ensembles et dans la théorie des modèles ; et il a construit des modèles de la théorie des ensembles (supposée consistante) dans lesquels l'axiome du choix et l'hypothèse du continu ne sont pas vérifiés, ce qui, compte tenu de l'œuvre antérieure de Kurt Gödel, établit que l'axiome du choix et l'hypothèse du continu sont indépendants des systèmes usuels de la théorie des ensembles. Ce travail a valu à Cohen, en 1966, la médaille Field de l'Union mathématique internationale. Il est également l'auteur de travaux intéressants en analyse classique.
