W. Hugh Woodin — Wikipédia
Naissance | |
---|---|
Nationalité | |
Formation | |
Activités |
A travaillé pour | |
---|---|
Membre de | |
Directeur de thèse | |
Distinctions |
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.
Biographie
[modifier | modifier le code]![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/88/Hugh_Woodin.jpg/220px-Hugh_Woodin.jpg)
Copyright[1] : George M. Bergman, Berkeley
Il est le petit-fils de l'homme politique William H. Woodin.
Woodin a reçu son doctorat de l'université de Californie à Berkeley en 1984, sous la direction de Robert Solovay [2].
Prix et distinctions
[modifier | modifier le code]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
[modifier | modifier le code]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
[modifier | modifier le code]- Coll. MFO. Autres photos
- (en) « W. Hugh Woodin », sur le site du Mathematics Genealogy Project
- (en) « Karp Prize Recipients », sur aslonline.org
- (en) « Gödel Lecturers », sur aslonline.org
- (en) « ICM Plenary and Invited Speakers since 1897 », sur International Mathematical Union
- Les congrès de l'ESTS et les lauréats de la médaille Hausdorff
- Présentation de Patrick Dehornoy (université de Caen) : L'hypothèse du continu et la Ω-logique de Woodin.