W. Hugh Woodin

William Hugh Woodin (né le à Tucson, Arizona) est un mathématicien américain, auteur de travaux importants en logique mathématique et théorie des ensembles.

W. Hugh Woodin
De gauche à droite : les logiciens Sy Friedman, Hugh Woodin, et Menachem Magidor en 2005 à Oberwolfach[1]
Biographie
Naissance
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Membre de
Dir. de thèse
Distinctions

Biographie
Hugh Woodin en 1994 à Berkeley
Copyright[1] : George M. Bergman, Berkeley

Il est le petit-fils de l'homme politique William H. Woodin.

Woodin a reçu son PhD de l'université de Californie à Berkeley en 1984, sous la direction de Robert Solovay [2].

Prix et distinctions

En 1988, il reçoit avec John R. Steel et Donald A. Martin le Prix Karp décerné par l'Association for Symbolic Logic[3].

En 2008, il est Gödel Lecturer avec une conférence intitulée The Continuum Hypothesis, the Ω Conjecture, and the inner model problem of one supercompact cardinal[4].

Il a donné l'une des conférences plénières du congrès international des mathématiciens 2010[5].

En 2013, il reçoit la médaille Hausdorff pour ses articles Suitable extender models I (J. Math. Log. 10 (2010), no. 1-2, pp.101–339) et Suitable extender models II: beyond omega-huge (J. Math. Log. 11 (2011), no. 2, pp.115–436)[6].

Travaux

Il a travaillé sur la Ω-conjecture (en) et l'hypothèse du continu, avec le résultat suivant : « Si la Ω-conjecture est vraie, alors l'hypothèse du continu est essentiellement fausse[7]. ».

Notes et références
  1. Coll. MFO. Autres photos
  2. (en) « W. Hugh Woodin », sur le site du Mathematics Genealogy Project
  3. (en) « Karp Prize Recipients », sur aslonline.org
  4. (en) « Gödel Lecturers », sur aslonline.org
  5. (en) « ICM Plenary and Invited Speakers since 1897 », sur International Mathematical Union
  6. Les congrès de l'ESTS et les lauréats de la médaille Hausdorff
  7. Présentation de Patrick Dehornoy (université de Caen) : L'hypothèse du continu et la Ω-logique de Woodin.

Liens externes
  • Portail des mathématiques
  • Portail de la logique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.