W. Hugh Woodin - W. Hugh Woodin
W. Hugh Woodin | |
---|---|
Nascer |
Tucson, Arizona , EUA
|
23 de abril de 1955
Nacionalidade | americano |
Alma mater | Universidade da California, Berkeley |
Carreira científica | |
Campos | Matemática |
Instituições |
Universidade da Califórnia, Instituto de Tecnologia de Berkeley California Harvard University |
Orientador de doutorado | Robert M. Solovay |
Alunos de doutorado |
Joel David Hamkins Gregory Hjorth |
William Hugh Woodin (nascido em 23 de abril de 1955) é um matemático americano e teórico dos conjuntos na Universidade de Harvard . Ele fez muitas contribuições notáveis para a teoria dos modelos internos e determinação . Uma espécie de grande cardeal , o cardeal Woodin , leva seu nome.
Biografia
Nascido em Tucson , Arizona , Woodin obteve seu Ph.D. da Universidade da Califórnia, Berkeley em 1984 sob Robert M. Solovay . O título de sua dissertação foi Homomorfismos descontínuos de C ( Omega ) e Teoria dos conjuntos . Ele atuou como presidente do departamento de matemática de Berkeley no ano acadêmico de 2002-2003. Woodin é editor-chefe do Journal of Mathematical Logic . Ele foi eleito membro da Academia Americana de Artes e Ciências em 2000.
Ele é bisneto de William Hartman Woodin , ex- secretário do Tesouro .
Trabalhar
Ele fez um trabalho sobre a teoria dos multiversos genéricos e o conceito relacionado de Ω-lógica , que sugeriu um argumento de que a hipótese do continuum é indecidível ou falsa no sentido do platonismo matemático . Woodin critica essa visão argumentando que ela leva a uma redução contra-intuitiva na qual todas as verdades no universo teórico conjunto podem ser decididas a partir de uma pequena parte dele. Ele afirma que esses e os resultados matemáticos relacionados levam (intuitivamente) à conclusão de que a hipótese do contínuo tem um valor de verdade e que a abordagem platônica é razoável.
Woodin agora prevê que deveria haver uma maneira de construir um modelo interno para quase todos os grandes cardeais conhecidos, que ele chama de L final e que teria propriedades semelhantes às do universo construtível de Gödel . Em particular, a hipótese do continuum seria verdadeira neste universo.
Veja também
Referências
links externos
- W. Hugh Woodin no Mathematics Genealogy Project
- Woodin, W. Hugh (2010). O Axioma da Determinação, Axiomas Forçantes e o Ideal Não Estacionário . Walter de Gruyter. ISBN 978-3-11-019702-0. OCLC 605013810 .
- Página inicial da Universidade da Califórnia, Berkeley
- Palestra plenária de Woodin no Congresso Internacional de Matemáticos de 2010
- Teorias Ω-completas incompatíveis (com Peter Koellner ), Journal of Symbolic Logic , Volume 74, Issue 4 (2009), 1155-1170. [1] .