John Robert Steel
| John Robert Steel | |
|---|---|
 John Steel em 2004 (fotografado por George Bergman) | |
| Nascimento | 30 de outubro de 1948 (78 anos) |
| Nacionalidade | Estadunidense |
| Cidadania | Estados Unidos |
| Alma mater | |
| Ocupação | matemático, filósofo, professor universitário, lógico |
| Distinções | Prêmio Karp (1988) |
| Empregador(a) | Universidade da Califórnia em Los Angeles, Universidade da Califórnia em Berkeley |
| Orientador(a)(es/s) | John West Addison e Stephen George Simpson |
| Instituições | Universidade da Califórnia em Los Angeles, Universidade da Califórnia em Berkeley |
| Tese | 1977: Determinateness and Subsystems of Analysis |
| Obras destacadas | Gödel’s program |
John Robert Steel (30 de outubro de 1948) é um matemático estadunidense.
Em 1977 obteve o Ph.D. em lógica e metodologia da ciência na Universidade da Califórnia em Berkeley
Especialista em teoria dos conjuntos, é professor da Universidade da Califórnia em Berkeley. Fez diversas contribuições à teoria de modelos internos e determinância. Juntamente com Donald Anthony Martin, provou o axioma da determinância projetiva, assumindo a existência de suficientemente grandes cardinais.
Foi palestrante convidado do Congresso Internacional de Matemáticos em Quioto (1990: Iteration trees).
Ligações externas
- Página pessoal da Universidade da Califórnia em Berkeley
- John Robert Steel (em inglês) no Mathematics Genealogy Project
