Paul Joseph Cohen

Mathématicien américain (Long Branch, New Jersey, 1934-Stanford 2007).

À l’aide d’une méthode de son invention, il a élaboré des modèles de la théorie des ensembles dans lesquels ne sont vérifiés ni l’axiome du choix ni l’hypothèse du continu (hypothèse conjecturée par G. Cantor en 1878, selon laquelle tout sous-ensemble des nombres réels est en bijection, soit avec l’ensemble des entiers naturels, soit avec l’ensemble des réels). Il a ainsi démontré que l’axiome du choix et l’hypothèse du continu sont indépendants de la théorie axiomatique des ensembles, qui ne permet ni les démontrer ni de les réfuter. (Médaille Fields 1966.)