W. Hugh Woodin - W. Hugh Woodin

W. Hugh Woodin
Hugh Woodin.jpg
Hugh Woodin em 1994
(foto de George Bergman)
Nascer ( 23/04/1955 )23 de abril de 1955 (idade 66)
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