Paul Joseph Cohen (1934 - 2007) est un mathématicien américain.
Il est connu principalement pour avoir démontré en 1963 que l'hypothèse du continu et l'axiome du choix sont indépendants des axiomes de la théorie des ensembles de Zermelo-Fraenkel, travaux qui lui valent la médaille Fields en 1966. Il a utilisé pour cela une méthode originale, le forcing, technique qu'il avait lui-même inventée.
Contributions Paul Cohen développe la méthode mathématique appelée forcing, qu'il utilise pour démontrer que ni l'hypothèse du continu, ni l'axiome du choix ne peuvent être prouvés à partir des axiomes de la théorie des ensembles de Zermelo-Fraenkel. En conjonction avec les précédents travaux de Gödel, cela montre que ces deux énoncés sont logiquement indépendants des axiomes de Zermelo-Fraenkel : ces énoncés ne peuvent être ni prouvés ni invalidés à partir de ces axiomes. En ce sens, l'hypothèse du continu est indécidable, et c'est l'exemple le plus connu d'un énoncé naturel qui est indépendant des axiomes de la théorie des ensembles de Zermelo-Fraenkel.
Pour ce résultat sur l'hypothèse du continu, Cohen reçoit la médaille Fields en 1966, ainsi que la en 1967..
Notes et références
Liens externes
Catégorie:Logicien américain Catégorie:Mathématicien américain du XXe siècle Catégorie:Personnalité en théorie des ensembles Catégorie:Boursier Guggenheim Catégorie:Élève de la Stuyvesant High School Catégorie:Docteur de l'université de Chicago Catégorie:Étudiant du Brooklyn College Catégorie:Lauréat de la médaille Fields Catégorie:Lauréat du prix Bôcher Catégorie:Récipiendaire de la National Medal of Science Catégorie:Membre de l'Académie nationale des sciences Catégorie:Naissance en avril 1934 Catégorie:Naissance à Long Branch (New Jersey) Catégorie:Décès en mars 2007 Catégorie:Décès à Stanford (Californie) Catégorie:Décès à 72 ans