Herbert Enderton - Herbert Enderton
Herbert B. Enderton | |
|---|---|
| Nascer |
Herbert Bruce Enderton
15 de abril de 1936 |
| Faleceu | 20 de outubro de 2010 (com 74 anos)
Santa Monica, Califórnia , EUA
|
| Nacionalidade | americano |
| Alma mater | Universidade de Harvard |
| Carreira científica | |
| Campos | Lógica Matemática |
| Instituições | UCLA |
Herbert Bruce Enderton (15 de abril de 1936 - 20 de outubro de 2010) foi um matemático americano. Ele foi Professor Emérito de Matemática na UCLA e ex-membro do corpo docente de Matemática e de Lógica e Metodologia da Ciência na Universidade da Califórnia, Berkeley .
Enderton também contribuiu para a teoria da recursão , a teoria da definibilidade, modelos de análise, complexidade computacional e a história da lógica .
Ele obteve seu Ph.D. em Harvard em 1962. Ele foi membro da American Mathematical Society de 1961 até sua morte.
Vida pessoal
Ele morava em Santa Monica . Ele se casou com sua esposa, Cathy, em 1961 e eles tiveram dois filhos; Eric e Bert.
Anos depois
De 1980 a 2002 foi coordenar editor da seção de comentários da Association for Symbolic Logic 's Journal of Symbolic Logic .
Morte
Ele morreu de leucemia em 2010.
Publicações selecionadas
- Elementos da teoria dos conjuntos . Academic Press . 1977. ISBN 978-0-12-238440-0 .
- Uma introdução matemática à lógica . Academic Press . 1972. ISBN 978-0-12-238452-3 .
- Teoria da Computabilidade: Uma Introdução à Teoria da Recursão . Academic Press . 2011. ISBN 978-0-12-384958-8 .