W. Hugh Woodin - W. Hugh Woodin
W. Hugh Woodin | |
|---|---|
 Hugh Woodin en 1994
(photo de George Bergman) | |
| Née |
23 avril 1955
Tucson, Arizona , États-Unis
|
| Nationalité | américain |
| mère nourricière | Université de Californie, Berkeley |
| Carrière scientifique | |
| Des champs | Mathématiques |
| Établissements |
Université de Californie, Berkeley California Institute of Technology Université Harvard |
| Conseiller de doctorat | Robert M. Solovay |
| Doctorants |
Joel David Hamkins Gregory Hjorth |
William Hugh Woodin (né le 23 avril 1955) est un mathématicien et théoricien américain de l'université Harvard . Il a apporté de nombreuses contributions notables à la théorie des modèles internes et de la détermination . Un type de grand cardinal , le cardinal Woodin , porte son nom.
Biographie
Né à Tucson , en Arizona , Woodin a obtenu son doctorat. de l'Université de Californie, Berkeley en 1984 sous Robert M. Solovay . Son titre de thèse était Homomorphismes discontinus de C ( Oméga ) et Théorie des ensembles . Il a été président du département de mathématiques de Berkeley pour l'année universitaire 2002-2003. Woodin est rédacteur en chef du Journal of Mathematical Logic . Il a été élu membre de l' Académie américaine des arts et des sciences en 2000.
Il est l'arrière-petit-fils de William Hartman Woodin , ancien secrétaire au Trésor .
Travail
Il a fait des travaux sur la théorie des multivers génériques et le concept connexe de Ω-logique , qui a suggéré un argument selon lequel l' hypothèse du continu est soit indécidable, soit fausse au sens du platonisme mathématique . Woodin critique ce point de vue en faisant valoir qu'il conduit à une réduction contre-intuitive dans laquelle toutes les vérités de l'univers théorique des ensembles peuvent être décidées à partir d'une petite partie de celui-ci. Il prétend que ces résultats et les résultats mathématiques connexes conduisent (intuitivement) à la conclusion que l'hypothèse du continu a une valeur de vérité et que l'approche platonicienne est raisonnable.
Woodin prédit maintenant qu'il devrait y avoir un moyen de construire un modèle interne pour presque tous les grands cardinaux connus, qu'il appelle l'Ultime L et qui aurait des propriétés similaires à celles de l'univers constructible de Gödel . En particulier, l'hypothèse du continu serait vraie dans cet univers.
Voir également
Les références
Liens externes
- W. Hugh Woodin au projet de généalogie mathématique
- Woodin, W. Hugh (2010). L'axiome de la détermination, les axiomes de forçage et l'idéal non stationnaire . Walter de Gruyter. ISBN 978-3-11-019702-0. OCLC 605013810 .
- Page d'accueil à l'Université de Californie, Berkeley
- Conférence plénière de Woodin au Congrès international des mathématiciens 2010
- Incompatible -Complete Theories (avec Peter Koellner ), Journal of Symbolic Logic , Volume 74, Numéro 4 (2009), 1155-1170. [1] .
